JVM中栈的frames详解

2024-02-24 16:32
文章标签 java jvm 详解 中栈 frames

本文主要是介绍JVM中栈的frames详解,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

  • 简介
  • JVM中的栈
  • Frame
  • Local Variables本地变量
  • Operand Stacks
  • Dynamic Linking动态链接
  • 方法执行完毕

简介

我们知道JVM运行时数据区域专门有一个叫做Stack Area的区域,专门用来负责线程的执行调用。那么JVM中的栈到底是怎么工作的呢?快来一起看看吧。

JVM中的栈

小师妹:F师兄,JVM为每个线程的运行都分配了一个栈,这个栈到底是怎么工作的呢?

小师妹,我们先看下JVM的整体运行架构图:

我们可以看到运行时数据区域分为5大部分。

堆区是存储共享对象的地方,而栈区是存储线程私有对象的地方。

因为是栈的结构,所以这个区域总是LIFO(Last in first out)。我们考虑一个方法的执行,当方法执行的时候,就会在Stack Area中创建一个block,这个block中持有对本地对象和其他对象的引用。一旦方法执行完毕,则这个block就会出栈,供其他方法访问。

Frame

JVM中的stack area是由一个个的Frame组成的。

Frame主要用来存储数据和部分结果,以及执行动态链接,方法的返回值和调度异常。

每次调用方法时都会创建一个新Frame。当Frame的方法调用完成时,无论该方法是正常结束还是异常结束(它引发未捕获的异常),这个frame都会被销毁。

Frame是从JVM中的stack area中分配的。

每个frame都由三部分组成,分别是自己的local variables数组,自己的operand stack,以及对当前方法的run-time constant pool的引用。

在线程的执行过程中,任何一个时刻都只有一个frame处于活动状态。这个frame被称为current frame,它的方法被称为current 方法,定义当前方法的类是当前类。

如果frame中的方法调用另一个方法或该frame的方法结束,那么这个frame将不再是current frame。

每次调用新的方法,都会创建一个新的frame,并将控制权转移到调用新的方法生成的框架。

在方法返回时,当前frame将其方法调用的结果(如果有的话)传回上一个frame,并结束当前frame。

请注意,由线程创建的frame只能有该线程访问,并且不能被任何其他线程引用。

Local Variables本地变量

每个frame都包含一个称为其本地局部变量的变量数组。frame的局部变量数组的长度是在编译的时候确定的。

单个局部变量可以保存以下类型的值:boolean, byte, char, short, int, float, reference, 或者 returnAddress。

如果对于long或double类型的值需要使用一对局部变量来存储。

局部变量因为存储在数组中,所以直接通过数字的索引来定位和访问。

注意,这个数组的索引值是从0开始,到数组长度-1结束。

单个局部变量直接通过索引来访问就够了,那么对于占用两个连续局部变量的long或者double类型来说,怎么访问呢?

比如说一个long类型占用数组中的n和n+1两个变量,那么我们可以通过索引n值来访问这个long类型,而不是通过n+1来访问。

注意,在JVM中,并不一定要求这个n是偶数。

那么这些局部变量有什么用呢?

Java虚拟机使用局部变量在方法调用时传递参数。

我们知道在java中有两种方法,一种是类方法,一种是实例方法。

在类方法调用中,所有参数都从局部变量0开始在连续的局部变量中传递。

在实例方法调用中,局部变量0始终指向的是该实例对象,也就是this。也就是说真实的参数是从局部变量1开始存储的。

Operand Stacks

在每个frame内部,又包含了一个LIFO的栈,这个栈叫做Operand Stack。

刚开始创建的时候,这个Operand Stack是空的。然后JVM将local variables中的常量或者值加载到Operand Stack中去。

然后Java虚拟机指令从操作数堆栈中获取操作数,对其进行操作,然后将结果压回操作数堆栈。

比如说,现在的Operand Stack中已经有两个值,1和2。

这个时候JVM要执行一个iadd指令,将1和2相加。那么就会先将stack中的1和2两个数取出,相加后,将结果3再压入stack。

最终stack中保存的是iadd的结果3。

注意,在Local Variables本地变量中我们提到,如果是long或者double类型的话,需要两个本地变量来存储。而在Operand Stack中,一个值可以表示任何Java虚拟机类型的值。也就是说long和double在Operand Stack中,使用一个值就可以表示了。

Operand Stack中的任何操作都必须要确保其类型匹配。像之前提到的iadd指令是对两个int进行相加,如果这个时候你的Operand Stacks中存储的是long值,那么iadd指令是会失败的。

在任何时间点,操作数堆栈都具有关联的深度,其中long或double类型的值对该深度贡献两个单位,而任何其他类型的值则贡献一个单位深度。

Dynamic Linking动态链接

什么是动态链接呢?

我们知道在class文件中除了包含类的版本、字段、方法、接口
等描述信息外,还有一项信息就是常量池(constant pool table),用于存放编译器生成的各种字面量(Literal)和符号引用(Symbolic References)。

所谓字面量就是常说的常量,可以有三种方式,分别是:文本字符串,八种基本类型和final类型的常量。

而符号引用是指用符号来描述所引用的目标。

符号引用和直接引用有什么区别呢? 我们举个例子。

比如我们定义了String name=“jack”, 其中jack是一个字面量,会在字符串常量池(String Pool)中保存一份。

如果我们存储的时候,存的是name,那么这个就是符号引用。

如果我们存储的是jack在字符串常量池中地址,那么这个就是直接引用。

从上面的介绍我们可以知道,为了实现最终的程序正常运行,所有的符号引用都需要转换成为直接引用才能正常执行。

而这个转换的过程,就叫做动态链接。

动态链接将这些符号方法引用转换为具体的方法引用,根据需要加载类以解析尚未定义的符号,并将变量访问转换为与这些变量的运行时位置关联的存储结构中的适当偏移量。

方法执行完毕

方法执行完毕有两种形式,一种是正常执行完毕,一种是执行过程中抛出了异常。

正常执行完毕的方法可以值返回给调用方。

这种情况下frame的作用就是恢复调用程序的状态,包括其局部变量和操作数堆栈,并适当增加调用程序的程序计数器以跳过方法调用指令。

如果方法中抛出了异常,那么该方法将不会有值返回给调用方。

本文已收录于:http://www.flydean.com/jvm-thread-stack-frames/

最通俗的解读,最深刻的干货,最简洁的教程,众多你不知道的小技巧等你来发现!

欢迎关注我的公众号:「程序那些事」,懂技术,更懂你!

这篇关于JVM中栈的frames详解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/742692

相关文章

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

Spring Security 基于表达式的权限控制

前言 spring security 3.0已经可以使用spring el表达式来控制授权,允许在表达式中使用复杂的布尔逻辑来控制访问的权限。 常见的表达式 Spring Security可用表达式对象的基类是SecurityExpressionRoot。 表达式描述hasRole([role])用户拥有制定的角色时返回true (Spring security默认会带有ROLE_前缀),去

浅析Spring Security认证过程

类图 为了方便理解Spring Security认证流程,特意画了如下的类图,包含相关的核心认证类 概述 核心验证器 AuthenticationManager 该对象提供了认证方法的入口,接收一个Authentiaton对象作为参数; public interface AuthenticationManager {Authentication authenticate(Authenti

Spring Security--Architecture Overview

1 核心组件 这一节主要介绍一些在Spring Security中常见且核心的Java类,它们之间的依赖,构建起了整个框架。想要理解整个架构,最起码得对这些类眼熟。 1.1 SecurityContextHolder SecurityContextHolder用于存储安全上下文(security context)的信息。当前操作的用户是谁,该用户是否已经被认证,他拥有哪些角色权限…这些都被保

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

Spring Security 从入门到进阶系列教程

Spring Security 入门系列 《保护 Web 应用的安全》 《Spring-Security-入门(一):登录与退出》 《Spring-Security-入门(二):基于数据库验证》 《Spring-Security-入门(三):密码加密》 《Spring-Security-入门(四):自定义-Filter》 《Spring-Security-入门(五):在 Sprin

Java架构师知识体认识

源码分析 常用设计模式 Proxy代理模式Factory工厂模式Singleton单例模式Delegate委派模式Strategy策略模式Prototype原型模式Template模板模式 Spring5 beans 接口实例化代理Bean操作 Context Ioc容器设计原理及高级特性Aop设计原理Factorybean与Beanfactory Transaction 声明式事物

Java进阶13讲__第12讲_1/2

多线程、线程池 1.  线程概念 1.1  什么是线程 1.2  线程的好处 2.   创建线程的三种方式 注意事项 2.1  继承Thread类 2.1.1 认识  2.1.2  编码实现  package cn.hdc.oop10.Thread;import org.slf4j.Logger;import org.slf4j.LoggerFactory

OpenHarmony鸿蒙开发( Beta5.0)无感配网详解

1、简介 无感配网是指在设备联网过程中无需输入热点相关账号信息,即可快速实现设备配网,是一种兼顾高效性、可靠性和安全性的配网方式。 2、配网原理 2.1 通信原理 手机和智能设备之间的信息传递,利用特有的NAN协议实现。利用手机和智能设备之间的WiFi 感知订阅、发布能力,实现了数字管家应用和设备之间的发现。在完成设备间的认证和响应后,即可发送相关配网数据。同时还支持与常规Sof

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来,一站式有声阅读平台听书系统 🌟 开篇:遇见未来,从“智听”开始 在这个快节奏的时代,你是否渴望在忙碌的间隙,找到一片属于自己的宁静角落?是否梦想着能随时随地,沉浸在知识的海洋,或是故事的奇幻世界里?今天,就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统,它正悄悄改变着我们的阅读方式,让未来触手可及! 📚 第一站:海量资源,应有尽有 走进“智听