深入理解Java虚拟机-自动内存管理机制

深入理解Java虚拟机-自动内存管理机制

首先看下面的Java虚拟机运行时的数据区图，运行时数据区包含方法区、堆、虚拟机栈，本地方法栈，程序计数器。灰色区域是所有线程共享的数据区，是线程不安全的。另外三个模块是是线程安全的。

程序计数器

是一块较小的内存空间。字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行得字节码指令。如果线程正在执行的是一个java内部方法，这个计数器记录的是正在执行得虚拟字节码指令的地址。如果正在执行得是native方法，这个计数器值则为空。此内存区域是唯一一个在java虚拟机规范中没有规定任何OutofMemoryError情况的区域。

java虚拟机栈

和程序计数器一样，java虚拟栈也是线程私有的，它的生命周期与线程相同。为虚拟机执行的java内部方法服务。每个方法在执行的同时都会创建一个栈帧(Stack Frame)用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行完成的过程，就对应一个栈帧在虚拟机中入栈到出栈的过程。

对java虚拟栈规定两种异常。第一，如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError异常；第二，如果虚拟机栈可动态扩展，如果扩展时无法申请到足够的内存，就会抛出OutOfMemoryError异常。

本地方法栈

本地方法栈为虚拟机使用到的Native方法服务。其他基本与java虚拟机栈一样。

Java堆

对于大多数应用来说，java堆是java虚拟机所管理的内存中最大的一块。Java堆是被所有线程共享的一块内存区域，在虚拟机启动时创建。此内存的唯一目的就是存放对象实例，几乎所有的对象实例都在这里分配内存。

java堆是垃圾收集器管理的主要区域，有时也被称做GC堆。由于现在收集器基本都是采用分代收集算法，所以java堆中还可以细分为：新生代和老年代；在细致一点有Eden空间，From Survivor空间，To Survivor空间等。

方法区

方法区与java堆一样，是各个线程共享的内存区域，它用于存储已被虚拟机加载的类信息，常量，静态变量，即时编译器编译后的代码等数据。

• 运行时常量池

是方法区的一部分，用于存放编译期生成的各种字面量和符号引用。

举个优化的例子

    将下面的代码
    String name = "大美妞";
    UserInfo userInfo = new UserInfo();
    userInfo.setName(name);
    改成
    String name = "大美妞";
    UserInfo userInfo = new UserInfo();
    userInfo.setName(name.intern());
    会发现内存占用变小，因为name这个常量只存了一份

直接内存

JDK1.4中新加入了NIO（new input/output)类引入了一种基于通道与缓冲区的I/O方式，它可以使用native函数直接分配堆外内存，然后通过一个存储在java堆中的DirectByteBuffer对象作为这块内存的引用进行操作。这样能在一些场景中显著提高性能，因为避免了在java堆和native堆中来回复制数据。

对象的创建

对象的创建并不是线程安全的，可能出现正在给对象A分配内存，指针还没来得及修改，对象B又同时使用了原来的指针来分配内存的情况。解决这一问题有两种方案

• 对内存分配空间的动作进行同步处理
• 另一种是把内存分配的动作按照线程划分在不同的空间之中进行，即每个线程在java堆中预先分配一小块内存，称之为本地线程分配缓存(TLAB, Thread Local Allocation Buffer)。那个线程要分配内存，就要在那个线程的TLAB上分配，只有TLAB用完并分配新的TLAB时，才需要同步锁定。虚拟机是否使用TLAB，可以通过-XX:+/-UseTLAB参数来设定。

对象的内存布局

• 对象头(Header)

包括两部分信息

第一部分(Mark Word)用于存储对象自身的运行时数据，如哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等

第二部分是类型指针。虚拟机通过这个指针来确定这个对象时那个类的实例。如果对象时一个java数组，那在对象头中还必须有一块用于记录数据长度的数据，因为虚拟机可以通过普通java对象的元数据信息确定java对象的大小，但是从数组的元数据中却无法确定数组的大小。

• 实例数据(Instance Data)
• 对齐填充(Padding)

对象的访问定位

我们的java程序需要通过栈上的reference数据来操作堆上的具体对象。目前主流的访问方式有使用句柄和直接指针两种。

• 如果使用句柄访问的话，那么java堆中将会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自的具体地址信息。
  

• 如果使用直接指针访问，那么java堆对象的布局中就必须考虑如果放置访问类型数据的相关信息，而reference中存储的直接就是对象地址

是用句柄访问好处：

reference中存储的是稳定的句柄地址，在对象被移动（垃圾收集时移动对象时常有的事）时只会改变句柄中的实例数据指针，而reference本身不需要修改。

直接指针访问的好处：

速度更快，节省了依次指针定位的时间开销

Java堆溢出

-XX:+HeadDumpOnOutOfMemoryError

堆最小值:-Xms参数

堆最大值:-Xmx参数

使用eclipse memory analyzer插件来查看内存溢出

虚拟机栈和本地方法栈溢出

对于HotSpot来说，虽然-Xoss参数存在，实际上是无效的，栈容量只由-Xss参数设定。