JVM动态方法栈内存分配

 

目录

运行时动态计算栈大小

Java类型实例访问方式

参数在方法栈中的存在方式

生成机器指令

统计栈空间大小

---

      上一篇日志最后写了JVM在函数内部调用其它函数时栈空间的分配方式，也就是调用者函数和被调用者函数两者的方法栈模型，是一种对接的方式，即被调用者分配的方法栈空间，会对接在调用者方法栈栈顶处，这样被调用者函数可以通过ebp寄存器很方便找到调用者函数中压栈的参数，这是方法栈分配方式问题，不过还有一个问题是，JVM怎么知道要为函数方法栈分配多大的空间呢？你可能会想，像C那样，编译器在编译程序时期，通过对函数的入参，和局部变量的声明来计算出需要分配的栈空间大小，然后为其分配栈空间，这是一种方法。得益于C语言可以被编译器直接编译成机器码，让机器运行，所以计算机可以知道该程序中有多少个变量，它们都是什么类型，一共需要多大的空间，但Java不同，前面日志说过，Java程序因为跨平台性，运行时需要翻译成一种中间语言-字节码，再有JVM来决定哪些部分是解释执行，哪些部分是编译执行（JVM里的JIT即时编译器）。也就是说Java的变量类型不能直接被编译成机器码，Java面向对象编程语言有些自己独特的类型，例如类，对象，所以无法像C那样方便地直接编译成机器能读懂的机器码，从而在运行前计算出调用函数所需要的栈空间大小。

 

运行时动态计算栈大小

      JVM运行时将Java程序加载进来，但是由于计算机并不能读懂Java代码，无法执行方法（或者说函数），所以，JVM通过call_stub（）函数，其返回的CallStub函数指针，来执行Java方法，并将函数传递进去，前面也说过，Java主函数就必须通过call_stub（）来执行，call_stub（）函数的执行链中最后调用generate_call_stub（）函数来初始化，得到需要执行函数的首地址，返回给_call_stub_entry变量。主函数需要的参数String[ ] args就是放在了generate_call_stub（）函数的方法栈中。举一个简单的例子来说明，假设main（）函数里调用了run（）函数，run（）函数需要两个参数a和b，那么该两个参数在main（）函数中就需要完成压栈，保存在了main（）函数的方法栈内，而不是run（）函数的方法栈里，其实也很好理解，run（）函数需要的参数在其运行前就要被保存好，因为运行前JVM不会为run（）函数分配栈空间，只有当函数被调用后，被调用函数才会得到空间分配，然后从调用者函数的压栈中获得需要的参数。

JVM执行最开