JVM内存模型

Posted 2020-11-19 xiashiwendao

JVM为什么要区分为栈和堆？

栈代表的操作逻辑存储，堆代表的是数据逻辑存储，这样来划分更加清晰；

JVM的内存在宏观上面来讲分为私有内存和共享内存；所谓共享内存（堆）寓意就是各个私有的栈（每个线程私有）可以通过引用来共享堆中的对象。这样的设计可以让各个线程共享一个对象；节省空间，另外可以实现逻辑语义中对一个公共数据的并行操作；

那么为什么原生类型（primary type）没有放在堆里面呢？因为primary type里面本身都是比较小，而且不会动态增长；存到“栈”（作为轻量级存储）就可以了，那么为什么对象不能放在栈里面？因为对象的大小是不可以预知的，这个是“堆”空间划分的物理意义（逻辑意义是操作和数据分离）；

到此，堆和栈的涵义多少有点清晰了，轻量级的存储空间“栈”主要负责运算逻辑，包括方法参数，变量的引用地址（堆地址）等信息；重量级的存储空间“堆”主要负责“对象”的存储，对于对象数据的动态扩展给予了很好的支持。

所以要明白JVM核心是栈，而不是堆，因为如果没有堆，但是有栈，程序是可以运行（只要操作的不是对象）；反过来JVM就没有运行逻辑可以存放了。所以堆其实是为了栈服务的。

这样，一个线程被拉起来执行代码，计数器能够只是当前代码行数，从内存中取出代码，然后线程执行类中方法，在方法去获取类以及常量信息，然后在线程的栈（JVM stack）中存放要执行函数的入口参数信息（即使是对象，参数信息也是“值”，只不过是“引用值”；如果代码体执行过程中发现需要创建类，则在堆中创建，在读取“值”的时候如果是原始类型，直接操作”值“即可，如果是“引用值”，则需要到堆中去进行处理。

 

最后，对于参数和对象的理解，在Java里面其实传递都是值（并没有传引用），要么是真”值“，要么是“引用值”，对于入口参数的处理两者是一样的，但是在真正处理参数的时候，程序将会知道这个“值”是“引用值”，那么就会到对应的”堆“空间中找到对应对象，然后进行后续操作；对象本质上其实是一棵“值”树，对象的叶子节点都是值类型。

 

参考：

JVM基础：深入学习JVM堆与JVM栈（这是我见过的行文最流畅的介绍JVM的文章）

http://developer.51cto.com/art/201009/227812_all.htm