JVM内存结构划分
- JVM内存结构划分
- 数据区域划分
- 程序计数器
- 虚拟机栈
- 本地方法栈
- 堆
- 方法区
- 运行时常量池
- StringTable
- 直接内存
- 创建新对象说明
- 对象的创建
- 对象的内存布局
- 对象头
- 实例数据
- 对齐填充
- 对象的访问定位
- 数据区域划分
数据区域划分
运行时内存区域划分:程序计数器、虚拟机栈、本地方法栈、堆、方法区
程序计数器
存储内容:
当前线程所执行的行号指示器,记住下一条JVM指令的执行地址
- 线程私有
- 通过寄存器实现
- 不存在运行时内存溢出
虚拟机栈
存储内容:
虚拟机栈更多情况下就是指局部变量表部分,局部变量表中存放了编译期可知的各种Java虚拟机基本数据类型、对象引用(reference类型)、returnAddress类型(指向一条字节码指令的地址)
- 垃圾回收不涉及栈内存
- 栈内存是线程私有的,可以理解为线程运行需要的内存空间
- 栈由栈帧组成,每个栈帧代表一个方法执行时需要的内存(参数,局部变量,返回地址)
- 每个线程只能有一个活动栈帧,对应着当前正在执行的那个方法
PS.
栈内存分配过大只能支撑一定的递归调用,并不会影响运行速度,还可能减少线程数量(因为物理内存是一定的)
本地方法栈
为运行本地方法时分配的内存(HotSpot把虚拟机栈和本地方法栈合二为一了)
堆
存储内容
存放对象实例
- 有垃圾回收机制
- 线程共享,需要考虑线程安全问题
- 从内存分配的角度来说:堆中可以划分出多个线程私有的分配缓冲区(TLAB),以提升对象分配时的效率
- Java堆可以处于物理上不连续的内存空间,但在逻辑上应该视为连续的(但是对于比如数组这种大对象,可能会要求连续的内存空间)
方法区
存储内容:
被虚拟机加载的类型信息、常量、静态变量、即时编译器后的代码缓存等
- 线程共享区
- 在虚拟机启动时被创建,逻辑上属于堆的一部分(不同JVM实现的方式不同)
- JDK1.6使用永久代(PerGen)作为方法区的实现
- JDK1.8使用元空间(Metaspace)对方法区进行实现(包含Class ClassLoader 常量池三个部分,放在直接内存中)StringTable放在堆中(有助于垃圾回收管理)
使用场景:如Spring Mybatis使用的动态加载
运行时常量池
存储内容:
存放编译器生成的各种字面量与符号引用
- 运行时常量池是方法区的一部分
- 二进制字节码内容:类基本信息、常量池表、类方法定义,包含了虚拟机指令
PS.
其中,常量池表中存放编译期间生成的各种字面量(比如各种基本数据类型)与符号引用(比如,类名\方法名\参数类型),这部分内容将在类加载后存放到方法区的运行时常量池中,并把符号地址变为真实地址
StringTable
类似于hashTable结构,不能自动扩容
常量池中的字符串只是符号,第一次使用时才变为对象
利用串池机制,避免重复创建字符对象
- 案例
字符串拼接的原理是编译期优化
字符串拼接原理是StringBuilder(JDK1.8)
使用intern()方法,主动将串池中还没有的字符串对象放入串池
// StringTable [ "a", "b" ,"ab" ] hashtable 结构,不能扩容
public class Demo1_22 {
// 常量池中的信息,都会被加载到运行时常量池中, 这时 a b ab 都是常量池中的符号,还没有变为 java 字符串对象
// ldc #2 会把 a 符号变为 "a" 字符串对象
// ldc #3 会把 b 符号变为 "b" 字符串对象
// ldc #4 会把 ab 符号变为 "ab" 字符串对象
public static void main(String[] args) {
String s1 = "a"; // 懒惰的
String s2 = "b";
String s3 = "ab";
String s4 = s1 + s2; // new StringBuilder().append("a").append("b").toString() new String("ab")
String s5 = "a" + "b"; // javac 在编译期间的优化,结果已经在编译期确定为ab
System.out.println(s3 == s5);
}
}
JDK1.7以后,利用intern()方法,会将字符串对象尝试放入串池,如果有则并不会放入,如果没有则放入串池, 会把串池中的对象返回;而JDK1.6调用intern()方法,是将对象拷贝一份到串池中,指向堆中的对象本身引用并不不改变
public class Demo1_23 {
// ["ab", "a", "b"]
public static void main(String[] args) {
demo1();
demo2();
}
static void demo1() {
// 串池中事前没有"ab",intern()之后,s返回的是串池中的对象
String s = new String("a") + new String("b");
String s1 = s.intern();
System.out.println(s == "ab"); // true
System.out.println(s1 == "ab"); //true
}
static void demo2() {
// 串池中事前已有"ab",s返回的仍是堆中的对象
String x = "ab";
String s = new String("a") + new String("b");
// 堆 new String("a") new String("b") new String("ab")
String s2 = s.intern(); // 将这个字符串对象尝试放入串池,如果有则并不会放入,如果没有则放入串池, 会把串池中的对象返回
System.out.println( s2 == x); // true
System.out.println( s == x ); //false
}
}
- 位置
JDK1.6时,StringTable放在元空间内,属于永久代的位置,但是StringTable占用内存容易触发full gc耗时较久;JDK1.7以后将StringTable放在堆内存中,随着内存占用增大首先触发minor gc,耗时较短.
直接内存
使用Native函数直接分配堆外内存,然后通过Java堆里的DirectByteBuffer对象作为引用对这块内存的引用进行操作。避免了在Java堆和Native堆之间来回复制数据
原理说明:
使用Unsafe对象完成直接内存的分配和回收,回收时需要主动调用freeMemory方法
ByteBuffer的实现类内部使用了Cleaner(虚引用)来监测ByteBuffer(BB)对象,一旦BB对象被垃圾回收,会有ReferenceHandler线程通过Cleaner方法调用freeMemory来释放内存
创建新对象说明
HotSpot虚拟机在Java堆中对象分配、布局和访问的过程
对象的创建
new字节码指令
虚拟机遇到new字节码指令时,首先检查能否在常量池中定位到一个类的符号引用,并检查该符号引用的来是否已被加载、解析和初始化。如果没有,则执行相应的类加载过程。
类加载检查后,虚拟机为新生对象分配内存内存分配
对象所需的内存大小在类加载过程中可以确定,在Java虚拟机中为对象划分内存时有两种方式:指针碰撞、空闲列表
指针碰撞: 利用一个指针作为已用内存和未用内存的分界点的指示器,内存分配就仅仅是指针的移动。优点在于不会造成内存碎片化,但是速度较慢
空闲列表:虚拟机维护一个内存使用记录表,使用时,从空闲的内存区域直接划分一块足够大的空间给对象实例。内存分配的线程安全问题
划分可用空间后仍要考虑并发情况下对内存的使用,有两种方式解决内存冲突的问题:CAS配上失败重试、TLAB本地线程分配缓冲
TLAB:把内存分配的动作按照线程划分在不同的空间之中进行,即每个线程在Java堆中预先分配了一小块内存空间
对象的内存布局
对象在堆内存中的布局可以划分为三个部分:对象头、实例数据、对齐填充
对象头
对象头中包含两类信息:Mark Word、类型指针
Mark Word
存储对象自身运行时数据,考虑到虚拟机的空间效率,被设计成一个动态定义的数据结构,即根据对象的状态复用自己的存储空间(数据长度在32位和64位虚拟机上分别为32个比特和64个比特)类型指针
对象中指向它类型元数据的指针,Java虚拟机通过这个指针来确定该对象是哪个类的实例(不是所有虚拟机都必须在对象数据上保留类型指针)此外,如果对象是一个数组,对象头中还必须拥有一块记录数据长度的数据
实例数据
即程序代码里定义的各种类型的字段内容,包括从父类继承的或子类中定义的字段。各类数据存储是按照一定顺序的(long/double、ints...),而宽度相同的字段总是被分配到一起存放,所以父类中定义的变量可能会出现在子类之前。
对齐填充
占位符,无特殊意义
HotSpot虚拟机的自动内存管理系统要求对象的起始地址必须是8字节的整倍数,若有些对象的对象头和示例数据内存设计不是8的倍数,则需要利用占位符来进行填充。
对象的访问定位
Java程序通过reference数据操作对上的具体对象,主流的访问方式有两种:句柄、直接指针
句柄
Java堆中可能划分出一块内存作为句柄池。reference中存储对象的句柄地址,句柄中包含对象的实例数据和类型数据的具体地址信息。直接指针
Java堆中对象的布局需要考虑如何放置类型数据的相关信息(如访问信息)。reference中存储的直接就是对象地址,如果只访问对象本身,就不要多一次间接访问的开销
优缺点
使用句柄访问, reference数据只需关乎句柄地址,当对象被回收或移动后只需改变句柄中的实例数据指针,而reference本身不用修改
使用直接指针省去了一次指针定位的时间开销,速度更快,由于Java中对象的访问相当频繁,所以效果可观。
HotSpot使用直接指针的方式