Java内存分配

1、java内存区域的划分

java内存区域可分为堆、栈、寄存器和方法区。其中方法区内又包含常量池，栈可分为本地方法栈和虚拟机方法栈（根据虚拟机的不同，存在差别）。其中堆和方法区是所有线程共享的，栈和寄存器是各线程独有的。

2、各区域所存储的内容

• 程序计数器

  一块较小的内存空间，可以看作是当前线程所执行的字节码的行号指示器。此内存区域是唯一一个在Java 虚拟机规范中没有规定任何OutOfMemoryError情况的区域。

• 栈

  用于存储局部变量表、操作栈、动态链接、方法出口等信息。用于存放方法参数和方法内部定义的局部变量，对于基本类型存储变量的值，对于对象存储的是对象引用。局部变量表的容量以变量槽（Slot）为最小单位，32位虚拟机中一个Slot可以存放一个32位以内的数据类型（boolean、byte、char、short、int、float、reference和returnAddress八种）。用-Xss指定大小。
  如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError 异常；当扩展时无法申请到足够的内存时会抛出OutOfMemoryError 异常。

• 堆

  存放对象实例，堆是垃圾收集器管理的主要区域。分为新生代和老生代。堆的大小可以通过-Xms(最小值)和-Xmx(最大值)参数设置。如果在堆中没有内存完成实例分配，并且堆也无法再扩展时，将会抛出OutOfMemoryError 异常。

• 方法区

  存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。不使用连续的内存地址。可以通过-XX:PermSize 和 -XX:MaxPermSize 参数限制方法区的大小。当方法区无法满足内存分配需求时，将抛出OutOfMemoryError异常。
  方法区中又包含常量池，包括实际的常量(string,integer,和floating point常量)和对类型，域和方法的符号引用。

3、内存溢出和内存泄漏

内存溢出 out of memory，是指程序在申请内存时，没有足够的内存空间供其使用，出现out of memory（申请的内存大于可使用内存）；
内存泄漏 memory leak，是指程序在申请内存后，无法释放已申请的内存空间。

4、内存分配过程

JVM 会试图为相关Java对象在Eden Space中初始化一块内存区域。
当Eden空间足够时，内存申请结束；否则到下一步。
JVM 试图释放在Eden中所有不活跃的对象（这属于1或更高级的垃圾回收）。释放后若Eden空间仍然不足以放入新对象，则试图将部分Eden中活跃对象放入Survivor区。
Survivor区被用来作为Eden及Old的中间交换区域，当Old区空间足够时，Survivor区的对象会被移到Old区，否则会被保留在Survivor区。
当Old区空间不够时，JVM 会在Old区进行完全的垃圾收集（0级）。
完全垃圾收集后，若Survivor及Old区仍然无法存放从Eden复制过来的部分对象，导致JVM无法在Eden区为新对象创建内存区域，则出现“outofmemory”错误。

5、对象访问

对象访问在Java 语言中无处不在，是最普通的程序行为，但即使是最简单的访问，也会却涉及Java 栈、Java 堆、方法区这三个最重要内存区域之间的关联关系，如下面的这句代码：

Object obj = newObject();

假设这句代码出现在方法体中，那“Object obj”这部分的语义将会反映到Java 栈的本地变量表中，作为一个reference 类型数据出现。而“new Object()”这部分的语义将会反映到Java 堆中，形成一块存储了Object 类型所有实例数据值（Instance Data，对象中各个实例字段的数据）的结构化内存，根据具体类型以及虚拟机实现的对象内存布局（Object Memory Layout）的不同，这块内存的长度是不固定的。另外，在Java 堆中还必须包含能查找到此对象类型数据（如对象类型、父类、实现的接口、方法等）的地址信息，这些类型数据则存储在方法区中。
由于reference 类型在Java 虚拟机规范里面只规定了一个指向对象的引用，并没有定义这个引用应该通过哪种方式去定位，以及访问到Java 堆中的对象的具体位置，因此不同虚拟机实现的对象访问方式会有所不同，主流的访问方式有两种：使用句柄和直接指针。
如果使用句柄访问方式，Java 堆中将会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据和类型数据各自的具体地址信息。

注：局部变量存储在栈上、成员变量随着对象的创建存储在堆上、类变量存储在方法区上。