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

1.在虚拟机的自动内存管理机制帮助下，不需要为每一个new操作去编写配对的delete/free代码，不容易出现内存泄露和内存溢出问题。
2.运行时数据区域

2.1程序计数器
是一块较小的内存空间。
字节码解释器工作时就是通过改变计数器的值选取下一条需要执行的字节码指令。
Java虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的，在任何确定时刻，一个处理器（多核处理器中的一个核）只能执行一条线程中的指令。 —— 为了线程切换后能恢复到正确执行位置，每个线程都有其独立的程序计数器，称这类内存区域为“线程私有的内存“。
如果线程正在执行一个Java方法，这个计数器记录的是正在执行的虚拟机字节码指令地址；若执行Native方法，计数器值为空（Undefined）。
它是唯一没有规定任何OutOfMemoryError情况的区域。
2.2Java虚拟机栈
与程序计数器一样，Java虚拟机栈也是线程私有的，生命周期与线程相同。
虚拟机栈描述Java方法执行的内存模型：
每个方法被执行时都会同时创建一个栈帧用于存储局部变量表、操作栈、动态链接、方法出口等信息。
（方法被调用—>栈帧入栈，方法执行完成—>栈帧出栈）
局部变量表存放编译期可知的各种基本数据类型、对象引用（reference类型，不等于对象本身）和returnAddress类型（指向一条字节码指令地址）
局部变量表所需内存空间在编译期间完成分配。
此区域有两种异常：
1）：若线程请求的栈深度大于虚拟机所允许的深度，抛出StackOverflowError异常；
2）：若虚拟机栈可以动态扩展，当无法申请到足够内存时，抛出OutOfMemoryError异常。
2.3本地方法栈
虚拟机栈为虚拟机执行Java方法（字节码）服务；本地方法栈为虚拟机使用到的Native方法服务。
也会抛出StackOverflowError和OutOfMemoryError异常。
2.4Java堆
对大多应用来说，是虚拟机管理的内存中最大的一块。
Java堆是被所有线程共享的一块内存区域，在虚拟机启动时创建。
此内存区域的唯一目的是存放对象实例，几乎所有的对象实例都在此分配内存。（虚拟机规范中描述：所有对象实例及数组都要在堆上分配。—现在不那么绝对了）
Java堆是垃圾收集器管理的主要区域，也被称作”GC堆”（Garbage Collected Heap）。
Java堆可以处于物理上不连续的内存空间中，逻辑上连续即可。
如果在堆中没有内存完成实例分配，且堆无法再扩展时，抛出OutOfMemoryError异常。
2.5方法区
是各个线程共享的内存区域，用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。
垃圾收集行为在此区域出现较少。此区域内存回收主要针对常量池的回收和对类型的卸载。
方法区无法满足内存分配需求时，抛出OutOfMemoryError异常。
2.6运行时常量池
方法区中的一部分。
Class文件中除有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池（用于存放编译期生成的各种字面量和符号引用），这部分内容将在类加载后存放到方法区中运行时常量池中。
运行时常量池相对于Class文件常量池具备动态性，并非只有预置入Class文件常量池中的内容才能进入方法区运行时常量池。这种特性被用的比较多的是String类的intern( )方法。
2.7直接内存
不是虚拟机运行时数据区的一部分，但也被频繁使用。
JDK1.4中引入了NIO类，引入一种基于通道与缓冲区的I/O方式。可使用Native函数库直接分配堆外内存，然后通过存储在Java堆里的DirectByteBuffer对象作为这块内存的引用进行操作。避免了在Java堆和Native堆中来回复制数据，在一些场景中提高了性能。
3.对象访问

Object obj = new Object();
/*假设这句代码在方法体中
"Object obj"这部分语义将作为reference类型数据反映到Java栈的本地变量表中，
"new Object()"这部分语义将反映到Java堆中，形成一块存储了Object类型所有实例数据值（Instance Data,对象中各个实例字段的数据）的结构化内存，内存长度不固定。
Java堆中必须包含能查到此对象类型数据（对象类型、父类、实现接口、方法等）的地址信息，这些类型信息存放在方法区中.
reference类型在虚拟机规范里只规定了一个指向对象的引用，并没有定义引用应通过哪种方式去定位，及访问到Java堆中对象的具体位置。主流访问方式：使用句柄和直接指针。
*/

句柄访问：reference中存储的是稳定句柄地址，对象被移动（垃圾收集时移动对象很普遍）时只会改变句柄中实例数据指针，而reference本身不需要被修改。
直接指针访问：速度更快，节省一次指针定位时间开销。（对Sun HotSpot而言，使用直接指针访问）
4.实战:OutOfMemoryError异常
4.1Java堆溢出

/**
 * 使用控制台命令时：VM Args: -Xms20m -Xmx20m -XX:+HeapDumpOnOutOfMemoryError
 * 避免堆自动扩展:最小值-Xms与最大值-Xmx参数值设置为一样
 * 内存溢出时异常时，Dump出当前的"内存堆转储快照"，便于事后分析
 * 使用IDE环境时：-verbose:gc -Xms20M -Xmx20M -Xmn10M -XX:+PrintGCDetails -XX:SurvivorRatio=8
 * @author yulong
 */
public class HeapOOM {
    static class OOMObject{ 
    }
    public static void main(String[] args) {
        // TODO Auto-generated method stub
        List<OOMObject> list = new ArrayList<OOMObject>();
        while(true){
            list.add(new OOMObject());
        }
    }
}

4.2虚拟机栈和本地方法栈溢出
在HotSpot虚拟机中不区分虚拟机栈和本地方法栈。-Xoss参数（设置本地方法栈大小）虽然存在，但实际上无效，栈容量只由-Xss参数设定。

/**
 * VM Args: -Xss128k
 * @author yulong
 */
public class JavaVMStackSOF {
    private int stackLength = 1;
    public void stackLeak(){
        stackLength++;
        stackLeak();
    }
    public static void main(String[] args) throws Throwable{
        JavaVMStackSOF oom = new JavaVMStackSOF();
        try{
            oom.stackLeak();
        }catch(Throwable e){
            System.out.println("stack length:"+oom.stackLength);
            throw e;
        }
    }
}

单个线程下，无论是由于栈帧太大还是虚拟机栈容量太小，内存无法分配时，虚拟机抛出StackOverflowError异常。
操作系统分配给每个进程的内存是有限制的（32位的Windows限制为2GB）。虚拟机提供了参数控制Java堆和方法区两部分内存的最大值。剩余内存为2GB（操作系统限制）减去Xmx（最大堆容量），再减去MaxPermSize（最大方法区容量），程序计数器内存消耗很小，可以忽略掉。 若虚拟机本身消耗内存不计，剩下内存则由虚拟机栈和本地方法栈“瓜分”。每个线程分配到的栈容量越大，可建立的线程数量就越少。
如果是建立过多线程导致内存溢出，在不能减少线程数或更换64位虚拟机时，只能通过减少最大堆和栈容量来换取更多线程（通过“减少内存”手段解决内存溢出）。

/**
 * VM Args: -Xss2M
 * @author yulong
 * Windows平台的虚拟机中，Java线程映射到操作系统的内核线程上，此代码可能会导致操作系统假死。
 */
public class JavaVMStackOOM {
    private void dontStop(){
        while(true){        
        }
    }
    public void stackLeakByThread(){
        while(true){
            Thread thread = new Thread(new Runnable(){
                @Override
                public void run(){
                    dontStop();
                }
            });
            thread.start();
        }
    }
    public static void main(String[] args) throws Throwable{
        JavaVMStackOOM oom = new JavaVMStackOOM();
        oom.stackLeakByThread();
    }
}

4.3运行时常量池溢出
向运行时常量池中添加内容，最简单做法是 使用String.intern()这个Native方法。 该方法作用： 若池中已经包含等于此String对象的字符串，则返回此String对象的引用；否则，将此String对象包含的字符串添加到常量池中，并返回此String对象的引用。
由于常量池分配在方法区内，我们可通过-XX:PermSize和-XX:MaxPermSize限制方法区大小，间接限制其中常量池的容量。

/**
 * VM Args: -XX:PermSize=10M -XX:MaxPermSize=10M
 * @author yulong
 */
public class RuntimeConstantPoolOOM {
    public static void main(String[] args) {
        //使用List保持常量池引用，避免Full GC回收常量池行为
        List<String> list = new ArrayList<String>();
        //10M的PermSize在integer范围内足够产生OOM
        int i = 0;
        while(true){
            list.add(String.valueOf(i++).intern());
        }
    }
}

4.4方法区溢出
方法区用于存放Class相关信息，如类名、访问修饰符、常量池、字段描述、方法描述等。
在经常动态生成大量Class的应用中，需特别注意类的回收状况。如：大量JSP或动态产生JSP文件的应用（JSP第一次运行时需编译为Java类）。
4.5本机直接内存溢出
DirectMemory容量可通过 -XX:MaxDirectMemorySize 指定，若不指定，则默认与Java堆的最大值（-Xmx指定）一样。