目录
上一篇日志最后写了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(&#x