JVM内存结构划分

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堆中对象分配、布局和访问的过程

对象的创建

  1. new字节码指令
    虚拟机遇到new字节码指令时,首先检查能否在常量池中定位到一个类的符号引用,并检查该符号引用的来是否已被加载、解析和初始化。如果没有,则执行相应的类加载过程。
    类加载检查后,虚拟机为新生对象分配内存

  2. 内存分配
    对象所需的内存大小在类加载过程中可以确定,在Java虚拟机中为对象划分内存时有两种方式:指针碰撞空闲列表
    指针碰撞: 利用一个指针作为已用内存未用内存的分界点的指示器,内存分配就仅仅是指针的移动。优点在于不会造成内存碎片化,但是速度较慢
    空闲列表:虚拟机维护一个内存使用记录表,使用时,从空闲的内存区域直接划分一块足够大的空间给对象实例。

  3. 内存分配的线程安全问题
    划分可用空间后仍要考虑并发情况下对内存的使用,有两种方式解决内存冲突的问题: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使用直接指针的方式

你可能感兴趣的:(JVM内存结构划分)