转载：原文连接：http://www.javashuo.com/article/p-oraotmci-bu.htmljava

一、运行时数据区

JVM所管理的内存包括如下几个运行时数据区域，如图所示数组
方法区和堆为线程共享区，虚拟机栈、本地方法栈及程序计数器为线程独占区。安全

程序计数器

程序计数器是一块较小的空间，它能够看做是当前线程所执行的字节码的行号指示器。多线程
若是线程执行的是java方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址（能够理解为上图所示的行号），若是正在执行的是native方法，这个计数器的值为undefined。oop
JVM的多线程是经过线程轮流切换并分配CPU执行时间片的方式来实现的，任何一个时刻，一个CPU都只会执行一条线程中的指令。为了保证线程切换后能恢复到正确的执行位置，每条线程都须要有一个独立的程序计数器，各线程间的程序计数器独立存储，互不影响。布局
此区域是惟一一个在java虚拟机规范中没有规定任何OutOfMemoryError状况的区域，由于程序计数器是由虚拟机内部维护的，不须要开发者进行操做。spa

虚拟机栈

每一个线程有一个私有的栈，随着线程的建立而建立，生命周期与线程相同。.net
虚拟机栈里面存着的是一种叫“栈帧”的东西，每一个方法会建立一个栈帧，栈帧中存放了局部变量表、操做数栈、动态连接、方法出口等信息。线程
- 局部变量表存放了编译期可知的各类基本数据类型和对象引用类型。一般咱们所说的“栈内存”指的就是局部变量表这一部分。
- 64位的long和double类型的数据会占用2个局部变量空间，其他的数据类型只占用1个。
- 局部变量表所需的内存空间在编译期间完成分配，当进入一个方法时，这个方法须要在帧分配多少内存是固定的，运行期间不会改变局部变量表的大小。
方法的调用到执行完毕，对应的就是栈帧的入栈和出栈的过程。指针
栈的大小能够固定也能够动态扩展。
在固定大小的状况下，当栈调用深度大于JVM所容许的范围，会抛出StackOverflowError异常。
在动态扩展的状况下，若扩展时没法申请到足够的内存，就会抛出OutOfMemoryError异常。
栈内存溢出模拟

public class MainTest {

      public static void main(String[] args){
      	new MainTest().test();
      }

      private void test() {
      	System.out.println("run...");
      	test();
      }
  }

报错以下

Exception in thread "main" java.lang.StackOverflowError
	at sun.nio.cs.UTF_8$Encoder.encodeLoop(UTF_8.java:691)
	at java.nio.charset.CharsetEncoder.encode(CharsetEncoder.java:579)

图例：

本地方法栈

和虚拟机栈相似，二者的区别就是虚拟机栈是为虚拟机执行java方法服务，本地方法栈为虚拟机执行native方法服务。

HotSpot虚拟机不区分虚拟机栈和本地方法栈，二者是一块的。

与虚拟机栈同样，本地方法栈也会抛StackOverflowError和OutOfMemoryError异常。

堆

JVM管理的最大的一块内存区域，存放着对象的实例，是线程共享区。

堆是垃圾收集器管理的主要区域，所以也被称为“GC堆”

JAVA堆的分类：

从内存回收的角度上看，可分为新生代（Eden空间，From Survivor空间、To Survivor空间）及老年代（Tenured Gen）
从内存分配的角度上看，为了解决分配内存时的线程安全性问题，线程共享的JAVA堆中可能划分出多个线程私有的分配缓冲区（TLAB）

JAVA堆能够处于物理上不连续的内存空间中，只要逻辑上是连续的便可。

可经过参数 -Xmx -Xms 来指定运行时堆内存的大小，堆内存空间不足也会抛OutOfMemoryError异常

方法区

方法区也是线程共享区，用于存储【虚拟机加载的类信息（类的版本、字段、方法、接口），常量，静态变量，即时编译器编译后的代码等数据】

方法区逻辑上属于堆的一部分，可是为了与堆进行区分，一般又叫“非堆”。

HotSpot虚拟机使用永久代来实现方法区，使得HotSpot虚拟机的垃圾收集器能够像管理堆内存同样来管理这部份内存，能省去专门为方法区编写内存管理代码工做。因此开发者喜欢将方法区称为永久代，本质上二者并不等价，对于其余虚拟机来讲不存在永久代的概念。

方法区可选择不实现垃圾收集，通常来讲，这个区域对内存回收的条件较为苛刻，可是这部分区域的回收确实是必要的。

当方法区没法知足内存分配需求时，将会抛OutOfMemoryError异常

运行时常量池

运行时常量池是方法区的一部分。
class文件除了有类的版本、字段、方法、接口等描述信息外，还有一项信息就是常量池，用于存放编译期生成的各类字面量和符号引用，这部份内容将在类加载后加入方法区的运行时常量池中存放。
运行时常量池相于class文件中的常量池所不一样的是其具有了动态性。class文件中常量池中的常量在编译期间就已经定义好了，而运行时常量池在程序运行期间也能够将常量放入该常量池中，最多见的作法就是调用String类的intern()方法。

二、对象的建立

一个对象的建立主要包括了一下几大流程

在JVM在堆中为对象分配内存阶段，一般有如下两种分配方式，虚拟机选择哪一种分配方式是由JAVA堆是否规整决定的，而JAVA堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定。

1）指针碰撞：要求堆中内存绝对规整，全部用过的内存都放一边，空闲的内存放在另外一边，中间放着一个指针做为分界点的指示器，分配内存就仅仅只是将该指针向空闲空间那边挪动一段与对象大小相等的距离。
2）空闲列表：针对的是堆中内存不规整的状况，虚拟机维护着一个列表，记录哪些内存块是可用的，在分配时从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录。

在为对象分配内存时，还须要考虑的一点就是线程安全性问题。可能出现正在给对象A分配内存，指针还没来得及修改，对象B又同时使用了原来的指针来分配内存的状况。针对这种问题，有如下两种解决方案。

1）对分配内存空间的动做进行同步处理，保证更新操做的原子性（采用CAS + 失败重试机制保障原原子性），但效率较低。
2）使用本地线程分配缓冲（TLAB），哪一个线程须要分配内存，就在哪一个线程的TLAB上分配，只有TLAB用完并须要分配新的TLAB时，才须要同步锁定（可经过-XX:+/-UseTLAB参数来设定虚拟机启用TLAB）。

三、对象的内存布局

在HotSpot虚拟机中，对象在内存中存储的布局可分为3块区域：对象头、实例数据和对齐填充。

1）对象头，由 Mark Word 和类型指针所组成。

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

Mark Word在32位的JVM中对应的长度是32bit，在64位的JVM中长度是64bit。
因为对象须要存储的运行数据不少，其实已经超出了32位和64位的限制，为了在极小的空间内存储尽可能更多的信息，Mark Word 会根据对象状态的不一样来存储不一样的信息。如在32位的HotSpot虚拟机中，如对象处于未被锁定的状态，那么 Mark Word 将使用25bit用于存储对象的哈希码，4bit用于存储对象分代年龄，2bit用于存储锁标志位，1bit固定为0，其余状态以下表所示：

类型指针，虚拟机经过这个指针来肯定对象是哪一个类的实例，该指针指向对象的类元数据。（因为查找对象的元数据信息并不必定要通过对象自己，因此并非全部的虚拟机实现都必须在对象数据上保留类型指针）

若是对象是一个JAVA数组，那么在对象头中还必须有一块用于记录数组长度的数据，由于普通对象的大小可经过元数据信息来获取，而数组不行。

2）实例数据，对象真正存储的有效信息，也就是在代码中所定义+的各类类型的字段内容。
- 不管是从父类继承下来的，仍是在子类中定义的，都须要记录起来。
- 存储顺序收虚拟机分配策略参数（FieldsAllocationStyle）和字段在java源码中定义顺序的影响。
- HotSpot虚拟机默认的分配策略为longs/doubles、ints、shorts/chars、bytes/booleans、oops(Ordinary Object Pointers)，相同带宽的字段老是被分配到一块儿，在此以后，父类中定义的变量会出如今子类以前。
- 若是CompactFields参数的值为true（默认为true），那么子类中较窄的变量也可能会插入到父类变量的空隙中。
3）对齐填充，无特殊含义，仅仅起到占位符的做用。HotSpot虚拟机要求起始地址必须是8字节的整数倍，所以当对象实例数据部分没有对齐时，就须要经过对齐填充来补全。

JAVA的内存结构