JVM 栈

栈：先进后出

Java虚拟机栈的概念

英文全称是Java virtual machine stacks。比如，Java中每个线程运行的时候，需要给每个线程划分一个内存空间。虚拟机栈其实是线程运行时需要的内存空间。一个线程，就需要一个栈，如果是多个线程，就需要多个虚拟机栈。

栈内由什么组成

一个栈内，可以看做是由多个栈帧组成，比如，一些元素要放入栈的话，这些元素都称之为栈帧。

什么是栈贞

一个栈帧对应着一次方法的调用。因为线程最终是为了要执行代码的，这些代码又是由一个个的方法组成的，所以线程运行的时候，每个方法需要的内存称之为一个栈帧。所以栈帧就是每个方法运行时需要的内存。

比如方法内的参数、局部变量啥的都需要内存，如果方法有返回值的话，
就要有返回地址，这个也是需要占用内存的。所以每个方法执行时，要
预先给他分配好内存。

栈帧和栈是怎么联系起来的

比如我调用第一个方法时，他就会给第一个方法分配一个栈帧空间，并且把他压入栈内。当这个方法执行完了，就会把对应的栈帧出栈，就是释放这个方法所占用的内存。一个栈内是可以有多个栈贞的，比如调用方法1，那么这个栈帧就干入到栈里，然后这个方法1又调用了方法2，那么方法2也会产生一个新的栈帧，然后干入到栈中，方法2假设又调用了方法3，那么就会让方法3也会产生栈帧内存，放入栈内。等方法3调用结束，就会把栈帧3的内存释放掉，然后回到方法2，方法2调用结束后，他就会把方法2占用的栈帧内存释放掉并出栈，最后方法1执行完毕后也把方法1占用的栈帧内存释放并出栈。

整理为三句

• 每个线程运行时所需要的内存，称为虚拟机栈。
• 每个栈由多个栈帧（frame）组成，对应着每次方法调用时所占用的内存。
• 每个线程只能有一个活动栈帧，对应着当前正在执行的那个方法。活动栈帧就是在栈的顶部的正在执行的方法。

代码示例

// 演示栈帧
public class Deme {
   
	public static void main(String[] args) throws InterruptedException {
   
		method1();
	}
	private static void method1() {
   
		method2(1,2);
	}
	private static int method2(int a, int b) {
   
		int c = a + b;
		return c;
	}
}

先调用主方法，主方法对应一个栈帧，被放入栈内。然后主方法调用method1()，那么method1()也会有自己的内存空间，所以method1也被分配一块儿栈帧内存，并且把这个新的栈帧压入到栈内。接着method1又调用了method2，那么给method2又分配了一块儿栈帧，让这个栈帧也入栈。在method2里面，参数a和b以及局部变量c都会占用内存空间，当然调用结束还得记录返回地址，让他知道执行完method2后要到哪去。方法2执行结束后，他占用的内存，随着这个栈帧出栈被释放掉，在idea的下面Frames部分也能看出方法2的栈帧出栈了，以此类推。

问题辨析

垃圾回收是否涉及栈内存？

不需要。因为栈内存无非就是一次次的方法调用所产生的栈帧内存，而栈帧内存在每一次方法调用结束后，都会被弹出栈，也就是会被自动的回收掉，所以根本不需要垃圾回收来管理栈内存。

栈内存分配越大越好吗？

栈内存可以在运行代码时通过虚拟机参数指定，即“-Xss”这个参数，他是给我们栈内存指定大小，如果不指定，Linux、macOS、Solaris等系统默认每个栈的大小都是1024KB（一兆），Windows比较特殊，他是Windows的虚拟内存影响栈的大小。栈内存设置的越大，反而会让线程数变得更少，因为物理内存的大小是一定的，比如说我一个线程使用的是一个栈内存，那一个线程假如用了一兆内存，假如总共的物理内存假设有500兆，那理论上可以有五百个线程同时运行，但假如把每个线程的栈内存设置了2M内存，那么理论上只能同时运行250个线程。所以栈内存并不是划分的越大越好。把他设置大了，通常只是能够进行更多次的方法递归调用，而不会增强运行的效率，反而会影响到线程数目的变少。所以不建议设置为太大，一般采用系统默认的即可。

方法内的局部变量是否线程安全？

看一个变量是不是线程安全，要看多个线程对这个变量是共享的还是这个变量被每个线程是私有的。比如代码示例如下：

// 局部变量的线程安全问题
public class Demo {
   
	// 多个线程同时执行此方法
	static void m1() {
   
		int x = 0;
		for(int i = 0; i < 5000; i ++) {
   
			x ++;
		}
		print(x);
	}
}

这个方法内有局部变量x，循环5000次自增，然后打印。当多个线程同时执行这个方法时，比如有两个线程都来调这个方法，那么会不会造成最后x值的混乱呢？答案是不会。因为x是方法内的局部变量，一个线程对应一个栈，线程内每一次方法调用都会产生一个新的栈帧，比如线程1调用这个方法，那么他就会在栈1里开栈帧1，里面有局部变量x，初始值是0，接下来线程2也调用m1方法，那么会在栈2里再产生一个栈帧2，在栈帧2里也有自己的局部变量x，x的初始值也是0，相当于每个线程都有自己私有的x这个局部变量，所以他们各自加5000，互不干扰，最后每个线程内都会得出x结果是5000。所以，在这个例子里是不会有线程安全问题。

当然，如果这个变量改成static变量，结果就会大不一样了。
因为这样的话就相当于共享了。所以要考虑的问题是，如果是共享的，
就要考虑线程安全问题，不是共享的而是每个线程私有的，就算了。

再看看下面的代码示例：

public class Demo <