虚拟机栈异常类型分析

两种异常

• 如果线程请求的栈深度大于虚拟机所允许的最大深度，将抛出StackOverflowError异常。

• 如果虚拟机在扩展栈时无法申请到足够的内存空间，则抛出OutofMemoryError异常（OOM异常）。

---

StackOverflowError（例子）

（1）先设置一下栈大小为128K。

（2）跑代码，无限递归。

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;
        }
    }
}

（3）运行结果

（4）结论

• 在单个线程下，无论是由于栈帧太大，还是虚拟机栈容量太小，当内存无法分配的时候，虚拟机抛出的异常都是StackOverflowError异常。

• 如果测试时不限于单线程，通过不断地建立线程的方式倒是可以产生内存溢出异常，下个例子就是如此。但是，这样产生的内存溢出异常与栈空间是否足够大并不存在任何联系，或者准确地说，在这种情况下，给每个线程的栈分配的内存越大，反而越容易产生内存溢出。

• 原因其实不难理解，操作系统分配给每个进程的内存是有限制的，譬如32位的Windows限制为2GB。虚拟机提供了参数控制Java堆和方法区的这两部分内存的最大值。剩余的内存为2GB（操作系统限制）减去Xmx（最大堆容量），再减去MaxPermSize（最大方法区容量），程序计数器消耗内存很小，可以忽略掉。如果虚拟机进程本身耗费的内存不计算在内，剩下的内存就由虚拟机栈和本地方法栈“瓜分”了。每个线程分配到的栈容量越大，可以建立的线程数量自然越少，建立线程时就越容易把剩下的内存耗尽。

---

OutofMemoryError（例子）

（1）把内存设置为2M，-Xss2M方法和上面是相同的。

（2）跑代码，不断的建立线程。

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();
    }
}

（3）运行结果

抛出OutOfMemoryError异常。

（4）注意事项

Java的线程是映射到操作系统的内核线程上的，所以上面的代码执行有较大风险，可能会导致操作系统假死。这边顺带说下线程的实现方式有三种，（1）使用内核线程实现，（2）使用用户线程实现，（3）使用用户线程+轻量级线程混合实现。

由于是基于内核线程实现的，所以各种线程操作，如创建、析构及同步，都需要进行系统调用。其次，每个线程都需要一个内核线程的支持，因此线程需要消耗一定的内核资源，而一个系统支持线程的数量是有限的。

---

总结

• 在单线程下，设置了栈内存为128k。无限递归下，导致了栈深度太大，抛出了StackOverflowError异常。

• 在多线程下，设置了栈内存为2M，别忘记了虚拟机栈是线程独占的，就是说每个线程都有自己的虚拟机栈，那么假设有10000个线程，那么内存占用应该是2M*10000，约为20G，而可用的总内存大小是有限的，那么总有线程的虚拟机栈分配不到足够的内存，报出OOM异常就不出奇了。