Java内存区域

Java运行时数据区

JVM在执行Java代码时都会把内存分为几个部分，即数据区来使用，这些区域都拥有自己的用途，并随着JVM进程的启动或者用户线程的启动和结束建立和销毁。

线程私有数据区

• 程序计数器

  • 作用
    程序计数器是一块较小的内存空间，它可以看成是当前线程所执行字节码的行号指示器。在虚拟机的概念模型里，字节码解释器就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等功能都需要以来这个计数器来实现。
  • 意义
    Java虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式实现的。在任何一个确定的时刻，处理器都会只执行一个线程中的指令。因此为了线程切换后能够恢复到正确的执行位置，每条线程都需要一个独立的程序计数器。
  • 功能
    如果线程执行的是Java方法，程序计数器存储的是正在执行的虚拟机字节码的地址。
    如果线程执行的是Native方法，程序计数器则为空（Undefined）。
  • 注意
    此内存区域是唯一一个Java虚拟机规范中没有规定OutOfMemoryError情况得到区域。为什么？需要继续探究。。。。

• Java虚拟机栈

  • 作用
    描述Java方法执行的内存模型。
  • 功能
    每个方法执行的同时都会创建一个栈帧，用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每方法从调用直至执行完成，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。
  • 关键技术
    局部变量表：存放编译期可知的各种数据类型（基本数据类型、对象引用、returnAddress类型）。其中64位长度的long和double类型的数据会占用2个局部变量空间（slot）,其余数据类型只占用一个。并且，局部变量表的大小在编译期间确，在程序运行时，不会改变。
  • 异常
    
    1. 如果线程请求的深度大于虚拟机所允许的最大深度，将抛出StackOverFlowError异常。
    2. 如果虚拟机栈可以动态扩展，在扩展时无法申请到足够的内存，就会抛出OutOfMemoryError异常。

• 本地方法栈

  • 作用
    与Java虚拟机栈类似，描述本地方法执行的内存模型。
  • 实现
    HotSpot虚拟机直接把本地方法栈与虚拟机栈合二为一。
  • 异常
    如果线程请求的深度大于虚拟机所允许的最大深度，将抛出StackOverFlowError异常。
    如果虚拟机栈可以动态扩展，在扩展时无法申请到足够的内存，就会抛出OutOfMemoryError异常。

线程共享数据区

• Java堆

  • 作用
    存放对象实例，几乎所有的对象实例都在这里分配内存。
  • 特点
    Java虚拟机所管理的内存中最大的一块。
    被所有线程共享。
    在虚拟机启动时创建。
    垃圾回收的主要区域。
    可以处于物理上不连续的内存空间，只要逻辑上连续即可。既可以是现成固定大小的，也可以是可扩展的（通过-Xmx和-Xms控制）。
  • 详细划分
    新生代
    老年代
  • 异常
    在堆中没有内存完成实例分配，并且堆也无法再扩展时，会抛出OutOfMemoryErrory异常。

• 方法区

  • 作用
    存储已被虚机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。
  • 问题
    内存回收目标主要针对常量池的回收和对类型的卸载。回收效果不好，但是必要。如果不回收，有可能导致严重的内存泄漏。
  • 异常
    当方法区无法满足内存分配需求时抛出OutOfMemeryError异常。

• 运行时常量池

  • 作用
    存放编译期生成的各种字面量和符号引用，这些信息在类加载后进入方法区的常量池中存放。
  • 意义
    运行时常量池相对于Class文件常量池的另外一个重要特征是具备动态性。Java语言并不要求常量一定只在编译期才能产生，运行时也能将新的常量放入池中。例如String的intern()方法。
  • 异常
    当常量池无法再申请到内存时会抛出OutOfMemoryError异常。

直接内存

• 概念
  JDK1.4新加入了NIO(New Input/Output)类，引入了一种基于缓冲区（Buffer）的I/O方式，可以使用Native函数库直接分配堆外内存。通过存储在Java堆中的DirectByteBuffer对象直接作为这块内存的引用进行操作。

• 特性
  本机直接内存不会受到Java堆的大小的限制，还是会受到本机总内存大小的限制。

• 异常
  当主机内存被消耗殆尽时，会产生OutOfMemoryError异常。

HotSpot虚拟机对象探秘

主要研究HotSpot虚拟机在Java堆中对象分配、布局和访问的过程。

• 对象创建
  
  • 范围
    限于普通Java对象，不包括数组和Class对象等。
  • 流程
    1.虚拟机遇到new指令时，首先检查这个指令的参数是否能在常量池中定位到一个类的符号引用。
    2.检查符号引用所代表的类是否已被加载、解析与初始化过。如果没有，先执行相应的类加载过程。
    3.为新生对象分配内存（对象所需的内存大小在类加载完成后便可完全确定）。
    4.将分配到的内存空间初始化为零值（不包括对象头）。这个操作，保证了对象的实例字段在Java代码中可以不赋初始值，直接使用。
    5.对对象进行必要的设置：对象是哪个类的实例，如何找到类的元数据信息，对象的hash码，对象的GC分代年龄等信息。这些信息保存在对象头中，
    6.执行<init>方法。对对象的字段属性进行初始化。

• 对象内存布局
  对象在内存中存储的布局可以分为3块区域：对象头（Header）、实例数据（Instance Data）和对齐填充（Padding）。

  • 对象头
    对象头包括两部分信息：第一部分用于存储对象自身的运行时数据（哈希码、GC分代年龄、锁状态标识、线程池持有的锁、偏向线程ID、偏向时间戳等），这部分数据在32bit和64bit的虚拟机中分别为32bit和64bit。官方称之为”Mark Word”。
    对象头的另一部分是类型指针，即对象指向它的类元数据的指针。虚拟机通过这个指针类确定对象是哪个类的实例。
  • 实例数据
    程序代码中定义的各种类型的字段内容。
  • 对齐填充
    对象的大小必须是8字节的整倍数。对象头部分正好是8字节整倍数，对象实例数据没有对齐时就需要对齐填充。当然，这部分并不是必然存在的。

• 对象访问
  Java程序需要通过栈上的reference数据来操作堆上的具体对象。reference类型在Java虚拟机规范中只规定了一个指向对象的引用，并没有定义这个引用以何种方式去定位、访问堆中对象的具体位置。主流的访问方式有使用句柄和直接指针两种。

  • 句柄访问
    Java堆会划分出一块内存作为句柄池，reference存储的就是对象的句柄地址，而句柄中包含了对象实例数据和类型数据具体地址信息。
    
    优点：reference存储的是稳定的句柄，当对象被移动时只会改变句柄中实例数据的地址，reference本身不需要修改。
  • 直接指针访问
    Java堆对象的布局中需要考虑如何放置访问类型数据的相关信息，reference中存储的直接是对象的地址。
    
    优点：速度快，节省了一次指针定位的开销。