字节码执行引擎

向右看齐 2022-04-03 04:30 229阅读 0赞

栈帧：  
**局部变量表**：编译时确定大小，slot（一般32bit，可存放reference用于找到对象和类型数据）  
连续2slot（64bit，long，double，可以非原子操作，反正这是线程私有的）  
实例方法this，参数，局部变量  
static方法参数，局部变量  
slot可重用，局部变量必须先赋值后使用

**操作数栈**：编译时确定大小，基于栈（即操作栈）的解释执行引擎

**动态连接**：指向方法的引用（运行时常量池（含字面量，符号引用（对类，Field，Method等的引用），直接引用））

**返回地址**：正常退出（可带返回值），异常退出，返回值压入调用者的操作数栈，pc后移。

invokestatic 静态方法,非虚  
invokespecial init，private，父类方法，非虚  
invokevirtual final（非虚），其他虚  
invokeinterface 虚  
invokedynamic  
方法调用：指确定方法版本  
**解析调用**：编译期确定好，类加载时符号引用转直接引用，非虚。

**分派（dispatch）调用** ：编译和运行期共同确定版本  
静态分派：编译期，根据（调用者静态类型，参数静态类型，参数个数，多分派）确定方法重载版本  
静态分派不确定性，'a’作为参数，可以依次调用char，int，long，Character，Serializable，Object，char…的 重载版本  
动态分派：运行期，根据 调用者实际类型（单分派）确定方法重写版本  
找到实际类型后不断向上找，并需进行访问权限校验  
实现：虚方法表（每个类都有虚方法表，包含所有方法的地址（Object方法也在内），重写方法指向自己类型数据（方法实现的入口地址），未重写指向父类类型数据）

基于栈的指令集，多为零地址指令，依赖操作数栈工作  
可移植，不受硬件（寄存器）约束，虚拟机可将hot的数据放于寄存器，代码紧凑（如一个byte对应一个指令）  
但是执行慢：  
1 指令数量多，大量出入栈  
2 栈在内存中，频繁访存也慢  
1+1 (iconst\_1 iconst\_1 iadd istore\_0 ) ( mov eax, 1 add eax, 1)

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2tvYmV4emY_size_16_color_FFFFFF_t_70]

上图显示执行**偏移为2**的指令执行情况。

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2tvYmV4emY_size_16_color_FFFFFF_t_70]: /images/20220403/18c9accda2f242cdb08f4ca86bee09d8.png