深入理解JVM个人笔记----java运行时内存区域

JVM（Java虚拟机)

1 Java相关知识

1.1 Java的技术体系

• Java程序设计语言
• Java类库API
• Class文件格式
• 不同硬件平台上的Java虚拟机实现
• 第三方Java类库

1.2 JDK、JRE、JVM之间的关系

• JDK是Java程序开发的最小环境，包括JRE和JVM。（Java Development Kit）
• JRE是支持java程序运行的最小环境，包括JVM。（Java Runtime Environment）
• JVM是Java的虚拟机。（Java Virtual Machines）

2 Java内存区域与内存溢出异常

2.1 Java运行时内存区域

• Java所有线程共享的区域

  • 方法区 （Method Area）别名叫作非堆(Non-Heap)，目的是为了和Java堆区区分
    • 运行时常量池
  • 堆（heap）

• Java非线程共享的区域

  • Java虚拟机栈

    • 虚拟机栈
    • 本地方法栈
    • #（HotSpot虚拟机中虚拟机栈和本地方法栈合二为一）

  • 程序计数器(Program Counter Register)

2.1.1 程序计数器

• 程序计数器是一块比较小的内存，它可以看作是当前线程所执行的字节码的指示器，字节码解释器通过改变计数器的值来选取下一条需要执行的字节码指令。
• 程序计数器是程序控制流的指示器，分支，循环，跳转，异常处理，线程恢复等基础功能都需要依赖这个计数器。
• 如果线程正在执行的是一个java方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址；如果执行的是本地方法，则这个计数器值应该为空。
• 程序计数器时唯一没有规定任何的OutOfMemoryError情况的内存区域。

2.1.2 Java虚拟机栈

• java虚拟机栈是线程私有的，它的生命周期与线程相同，每个方法被执行时java虚拟机都会同步创建一个栈帧。
• 栈帧用于存储局部变量表，操作数栈，动态连接，方法出口等信息，每一个方法被调用直至执行完毕的过程就对应着一个栈帧在虚拟机栈中从出栈到进栈的过程。
• 局部变量表存放了编译器可知的各种java虚拟机基本数据类型，对象引用(reference类型，并不等同于对象本身，可能是指向对象其实地址的引用指针也可能是指向一个代表对象的句柄或者其他于此相关的位置)和returnAddress类型(指向了一条字节码的地址)。局部变量表所需的大小，也就是所需的局部变量槽的数量在编译期间就确定了，javac编译器会根据变量的作用域来分配变量槽给各个变量使用，根据同时生存的最大局部变量数量和类型计算出max_local是(变量槽数量)的大小。
• 线程请求的栈深度大于虚拟机所允许的深度，抛出StackOverflowError异常。当java虚拟机栈容量可以动态扩展，当栈扩展时无法申请到足够的内存会抛出OutOfMemoryError异常。HotSpot栈容量无法动态扩展，但是如果申请时就失败，仍然会发生OutOfMemoryError异常。

2.1.3 Java堆

• Java堆内存是虚拟机所管理的内存中最大的一块，所有线程共享该内存区域，在虚拟机启动时创建，几乎所有的对象都在堆中存放。
• 如果没有足够的内存完成实例分配，并且无法扩展时，java虚拟机将会抛出OutOfMemoryError异常。

2.1.4 方法区

• 方法区与java堆一样是线程共享的区域，它用于存储被虚拟机加载的类型信息，常量，静态变量，即时编译器编译后的代码缓存等数据。
• 方法区无法满足新的内存分配需求时会抛出OutOfMemoryError异常。

2.1.5 运行时常量池

• 运行时常量池是方法区的一部分，Class文件中的常量池表在类加载后存放到方法区的运行时常量池。
• 运行时常量池具有动态性，并非预置如Class文件中常量池表中的内容才能进入方法区运行时常量池，运行期间也可以将新的常量放入池中。
• 当常量池无法申请到内存时会抛出OutOfMemoryError异常。

2.1.6 直接内存（堆外内存）

• 在JDK 1.4中新加入了NIO(New Input/Output)类，引入了一种基于通道(Chanel)与缓冲区(Buffer)的I/O方式，它可以使用Native函数库直接分配堆外内存，然后通过一个存储在java堆里面的DirectByteBuffer对象作为这块内存的引用进行操作。
• 动态扩展时无法申请到足够的内存时会抛出OutOfMemoryError异常。

2.1.7 内存分配参数

配置	说明
-Xms	设置堆内存的最小值
-Xmx	设置堆内存的最大值
-Xss	设置栈内存的大小
-Xmn	设置新生代内存的大小
-XX:NewSize	设置新生代的最小内存值
-XX:NewMaxSize	设置新生代的最大内存值
-XX:SurviorRatio	设置Eden区和Survior区的比例（默认为8：1，即该值默认为8）
-XX:NewRatio	设置老年代和新生代之间的比例（默认老年代 : 新生代 = 2 : 1,即该值为2）
-XX:TargetSurvivorRatio	设置survivor区的可使用率
-XX:PermSize	设置永久代的最小值
-XX:MaxPermSize	设置永久代的最大值

2.2 虚拟机堆内存中的对象

2.2.1 对象的创建

• 类加载完成后才能为对象分配内存，对象所需内存的大小在类加载完成后便可以确定。

• 内存分配的两种方式：

  • 当堆中的内存是绝对规整的，使用的内存在一边空闲的内存在另一边，中间的指针作为分界点的指示器，分配内存时将指针向空闲方向移动一段距离即可。这种方式称为指针碰撞(Bump The Pointer)。
  • 当堆中的内存不规整时，需要维护一个列表记录下哪些内存是可用的，分配的时候找到足够大的内存给对象实例，然后更新列表的记录，这种方式称为空闲列表(Free List)。
  • java堆内存是否规整取决于所采用的垃圾收集器是否拥有空间压缩整理(Compact)的能力。

• 指针修改的线程安全问题，解决方案：

  • 使用CAS配上失败重试的方式保证更新操作的原子性
  • 每个线程在java堆中预先分配一小块内存，称为本地线程分配缓冲，本地缓冲用完之后分配新的缓冲区时才需要同步锁定。

• 内存分配完毕之后，虚拟机将分配到的内存空间(不包括对象头)都初始化为零值。这一步骤保证了对象的实例字段在java代码中可以不赋初值就可以直接使用，使程序能够访问到这些字段的零值。

2.2.2 对象的内存布局

• 在HotSpot虚拟机中，对象在堆中的存储布局可以分为如下的三部分：
  • 对象头(Header)：包括两类信息
    • 第一类用于存储对象自身的运行时数据，如哈希码，GC分代年龄，锁状态标志，线程池有的锁，偏向线程ID，偏向时间戳等。这部分数据存放在被称为“Mark Word”的动态数据结构中，以便在极小的空间中存储更多的数据，根据对象的状态复用自己的存储空间。
    • 第二类是类型指针，即对象指向它的类型元数据的指针
    • 如果对象是一个java数组，则对象头中还要有一块用于记录数组长度的数据
  • 实例数据(Instance Data)
    • 用于存储代码中定义的各种类型的字段内容，包括父类继承的。
    • 存储顺序受虚拟机分配策略参数(-XX:FieldsAllocationStyle)和字段在Java源码中的定义顺序影响。HotSpot虚拟机默认的存储顺序是：longs/doubles,ints.shorts,chars,bytes/booleans,oops。父类中定义的变量出现在子类中定义的变量之前。
  • 对齐填充(Padding)：并不是必然存在的，仅仅起着占位符的作用。

2.2.3 对象的访问定位

• 对象的访问方式是由虚拟机实现而定的，主流的访问方式有如下两种：
  • 句柄访问：堆中划分出一块内存用作句柄池,reference中存储的是对象的句柄地址，句柄中包含了对象实例数据与实例类型的地址信息，好处是对象移动时只会改变句柄中的实例数据指针，而reference本身不用修改。
  • 直接指针访问：reference中存储的直接就是对象的内存地址，只访问对象本身的话不需要间接访问的开销，好处是速度更快，HotSpot主要使用该方式进行对象访问。