运行时数据区域
Java 虚拟机在执行 Java 程序的过程中会把它所管理的内存划分为若干个不同的数据区域。
程序计数器
程序计数器是一块较小的内存空间,可以看做是当前线程所执行的字节码的行号指示器。
为了线程切换后能恢复到正确的执行位置,每条线程都需要有一个独立的程序计数器,各条线程之间计数器互不影响,独立存储。我们称这类区域为*“线程私有”的内存*。
- 如果线程正在执行 Java 方法,计数器记录的是正在执行的虚拟机字节码指令的地址
- 如果正在执行本地(Native)方法,计数器记值为空(Undefined)
虚拟机栈
虚拟机栈描述的是 Java 方法执行的线程内存模型:每个方法被执行的时候,Java虚拟机都会同步创建一个帧栈用于存储局部变量表、操作数栈、动态连接、方法出口等信息。
每一个方法被调用直至完毕的过程,就对应着一个帧栈在虚拟机栈中从入栈到出栈的过程。
局部变量表存放了编译期可知的各种Java虚拟机基本数据类型、对象引用 和 returnAddress类型。这些数据类型在局部变量表中的存储空间以 局部变量槽(slot) 来表示,局部变量表所需的内存空间在编译器间完成分配。
本地方法栈
本地方法栈与虚拟机栈所发挥的作用非常相似,区别在于虚拟机栈为虚拟机执行 Java 方法服务,而本地方法栈则是为虚拟机使用到的本地方法服务。
Java 堆
Java 堆是被所有线程共享的一块内存区域,在虚拟机启动时创建。是虚拟机所管理的内存中最大的一块。唯一目的是存放对象实例。
Java 世界里“几乎”所有的对象实例都在堆中分配内存。
Java 堆是垃圾收集器管理的内存区域,也被称为“GC堆”。
从分配内存的角度看,所有线程共享的 Java堆 中可以划分出多个线程私有的分配缓冲区,以提升对象分配时的效率。(不管从什么角度、如何划分,都不会改变Java堆中存储内容的共性——不管是在哪个区域,存储都只能是对象的实例。)
方法区
方法区与Java堆一样,是各个线程共享的内存区域,它用于存储已被虚拟机加载的类型信息、常量、静态常量、即时编译器编译后的代码缓存 等数据。
运行时常量池
Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是 常量池表,用于存放编译期生成的各种字面量与符号引用,这部分内容将在类加载后存放到方法区的运行时常量池中。
运行时常量池是方法区的一部分。
运行时常量池相对于Class文件常量池的另外一个重要特征是具备 动态性,运行期间也可以将新的常量放入池中。
Java堆和方法区的不确定性
一个接口的多个实现类需要的内存可能会不一样,一个方法所执行的不同条件分支所需要的内存也可能不太一样,只有处于运行期间,我们才能知道程序究竟会创建哪些对象,创建多少个对象,这部分内存的分配和回收是动态的。
HotSpot 虚拟机对象
对象的创建
-
检查字节码
new
指令的参数–> 符号引用 --> 类是否被加载、解析和初始化 -
否则,执行
类加载
过程 -
然后,为新生对象
分配内存
-
然后,将分配的内存空间(但不包括对象头)都
初始化零
-
然后,对对象进行必要的
设置
,这些设置的信息存放在对象的对象头中从虚拟机视角来看,一个新的对象已经产生了。 但是从Java程序的视角来看,对象创建才刚刚开始 —— 构造函数。一般来说,`new`指令之后才会接着执行`<init>()`方法,按照程序员意愿对对象进行初始化,这样一个真正可用的对象才算完全被构造出来。
内存分配即是将一块确定大小的内存块从Java 堆中划分出来。
- 指针碰撞 —— 简单高效(需要垃圾收集器带空间压缩整理的能力)
- 空闲列表 —— 实现较复杂
==问题== 对象创建在虚拟机中是非常频繁的行为,即使仅仅修改一个指针所指向的位置,在并发情况下也并不是线程安全的。可能出现正在给对象A分配内存,指针还没来得及修改,对象B又同时使用了原来的指针进行分配内存的情况。
==解决==
* 堆分配内存空间的动作进行同步处理
[or] * 把内存分配的动作按照线程划分在不同的空间之间运行(本地线程分配缓冲)
对象的内存布局
在 Hotspot 虚拟机里,对象在堆内存中的存储布局可以划分为三个部分:对象头、实例数据、对齐填充
对象头
包括两类信息:
- 用于存储对象自身的运行时数据
- 类型指针,即对象指向它类型元数据的指针
实例数据
该部分是对象真正存储的有效信息
对齐填充
并不是必然存在,也没有特殊含义,仅仅起到占位符的作用。
对象的访问定位
对象的访问方式由虚拟机实现而定,主流的访问方式主要有 使用句柄 和 直接指针
- 使用句柄时,reference 中存储的是稳定句柄地址,在对象被移动(垃圾收集时移动对象是非常普遍的行为)时只会改变句柄中的实例数据指针,而 reference 本身不需要修改
- 使用直接指针时,速度更快,节省了一次指针定位的时间开销。由于对象访问在 Java 中非常频繁,因此这类开销也是一种较为客观的执行成本