Java内存区域和内存溢出异常

运行时存储区域

Java虚拟机管理的的内存会包括以下几个运行时内存区域：

• 程序计数器
  程序计数器是一块较小的内存空间，可以看成当前线程所执行的字节码行号指示器。由于Java虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式实现的，在一个确定的时刻，一个处理器都会执行一条线程当中的指令。因此，为了线程切换后能后恢复到正确执行的位置，每个线程都需要一个独立的线程计数器，各条线程之间的计数器互不影响，
  独立存储，我们称这块内存区域为“线程私有”的内存。

• Java虚拟机栈
  与程序计数器一样，Java虚拟机栈也是线程私有的，他的生命周期和线程相同。虚拟机栈描述的是Java方法执行的内存模型：每个方法在执行的同时都会创建一个栈帧用于存储局部变量表、操作数栈、动态链表、方法出口等信息。每个方法从调用到执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。
  局部变量表存放了编译期可知的各种基本数据类型（ boolean、byte、char、short、int、float、long、double）、对象引用（reference类型，他不等于对象本身，可能是一个指向对象起始地址的引用指针，也可能是指向一个代表对象的句柄或其他与此对象 相关的位置）和returnAddress类型（指向一条字节码指令的地址）。
  Java虚拟机规范中，对这个区域规定了两种异常状况：如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverFlowError；如果虚拟机栈可以动态扩展，如果扩展时无法申请到足够的内存，就会抛出OutOfMemoryError错误。

• 本地方法栈
  本地方法栈与虚拟机方法栈所发挥的作用非常类似，他们之间的区别不过是虚拟机栈为虚拟机执行Java方法（也就是字节码）服务，而本地方法栈则是为虚拟机使用到的native方法服务，本地方法栈区也会抛出StackOverFlowError和OutOfMemoryError异常。

• Java堆
  对于大多数应用来说，Java堆是Java虚拟机所管理的内存中最大的一块。Java堆是被所有线程共享的，在虚拟机启动时创建。此内存区域的唯一目的就是存放Java对象实例，几乎所有的对象实例都在这里分配内存。Java虚拟机规范中描述是：所有对象实例以及数组都要在堆上分配。
  Java堆是垃圾收集器管理的主要区域，Java堆可以处在物理上不连续的内存空间中，只要逻辑上连续即可。如果无法再扩展时，会抛出OutOfMemoryError异常。
• 方法区
  方法区和Java堆一样，也是各个线程共享的内存区域，它用于存储虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。这个区域回收的目标是针对常量池的回收和对类型的卸载，当方法区无法满足内存分配的需要时，会抛出OutOfMemoryError异常。
• 运行时常量池
  运行时常量池是方法区的一部分。Class文件中除了有类的版本信息、字段、方法、接口等描述信息外，还有一项信息是常量池，用于存放编译期生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量池中存放。
  一般来说，除了保存class文件中描述的符号引用外，还会把翻译出来的直接饮用也存放到运行时常量池。
  运行时常量池相对于Class文件常量池的另外一个重要的特征就是具备动态性，Java语言并不要求常量一定只有编译期才能产生，也就是并非预置入Class文件的常量池的内容才能进入方法区的运行时常量池，运行期间也可能将新的常量放入到池中，这种特性被开发人员利用的比较多的便是String类的intern()方法。当常量池无法满足内存分配的需要时，会抛出OutOfMemoryError异常。
• 直接内存
  直接内存并不是虚拟机运行时数据区域的一部分，也不是Java虚拟机规范中定义的内存区域，但这部分内存被频繁地使用，也有可能导致OutOfMemoryError异常出现。
  在jdk1.4中新加入NIO（new input/output）类，引入一种基于通道（channel）与缓冲区（buffer）的I/O方式，他可以使用Native函数库直接分配堆外内存，然后通过一个存储在Java堆中的DirectByteBuffer对象作为这块内存的引用进行操作。这样能在一些场景中显著提高性能，因为避免了在Java堆和native堆来回复制数据。

HotSpot虚拟机对象

• 对象的创建
  虚拟机遇到一条new指令时，首先将去检查这个指令的参数是否能后在常量池中定位到一个类的符号引用，并检查这个符号引用是否已被加载、解析和初始化过。如果没有，就必须先执行该类的加载过程（详见前几篇博客内容）。
  类加载检查通过之后，虚拟机会给新生的对象分配内存空间，空间的大小在类的加载后便可完全定下来。分配方式有两种：（1）假如Java堆中内存是绝对规整的（所有用过的内存放到一边，空闲的内存放在一边），此时分配空间将作为分界点的指针移动和对象大小相等的距离，这种分配方式称为“指针碰撞”；（2）如果Java堆不是规整的，虚拟机就需要维护一张表，记录哪些内存是可用的，分配的时候在列表中找到一块足够大的空间划给实例，并改变列表，这种分配方式称为“空闲列表”。采用何种分配方式是由Java堆是否规整决定的，而Java堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定的。
  Java虚拟机创建对象是非常频繁的，因此存在线程安全问题。解决这个问题有两种方案解决方案：一是对分配内存的动作进行同步处理——实际上虚拟机采用CAS配上失败重试保证更新操作的原子性；另一种是把内存分配的动作按照线程划分在不同的空间之中进行，即每个线程在Java堆中预先分配一块内存，称为本地线程分配缓冲（Thread Local Allocation Buffer，TLAB）。哪个线程要分配内存，就在哪个线程的TLAB上分配，只有TLAB用完并分配新的TLAB时，才需要同步锁定。
  内存分配 完成后，虚拟机需要将分配到的内存空间初始化零值（不包括对象头），这一步操作保证了对象实例字段在Java代码中可以不赋初值就直接使用。此时，执行了new指令之后会接着执行方法，把对象按照程序员的意愿进行初始化，这样一个真正可用的对象才算完全产生出来。
• 对象的内存布局
  在HotSpot虚拟机中，对象在内存中存储的布局分为三个3块区域：对象头（Header）、实例数据（Instance Data）和对齐填充（Padding）。
  HotSpot虚拟机的对象头包括两部分信息，第一部分用于存储对象自身的运行时数据，如哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向地址ID、偏向时间戳等。另一部分是类型指针，即对象指向他的类元数据的指针，虚拟机通过这个指针来确定这个对象是哪个类的实例。
  实例数据部分是对象真正存储的有效信息，也是在程序代码中所定义的类型的字段内容，无论从父类继承下来的，还是子类中定义的，都需要记录起来。
  第三部分填充定义并不是必然存在的，仅仅起着占位符的作用。
• 对象的访问定位
  建立对象是为了使用对象，Java程序需要通过栈上的reference数据来操作堆上的具体对象。目前主流的访问方式有使用句柄和直接指针两种。
  （1）如果使用句柄访问的话，Java堆中将会划分出一块内存作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自的具体地址信息。
  （2）如果使用直接指针访问，那么Java堆对象的布局中就必须考虑如何
  放置访问类型数据的相关信息，而reference中存储的直接就是对象地址。

Java内存区域的知识就看到这里，明天开始看GC！

本文内容主要是本人学习周志明老师的《深入理解Java虚拟机》一书的学习笔记，仅作学习巩固整理知识点使用，不作他用，在此感谢周老师。