为何基于寄存器的Dalvik虚拟机仍使用栈？二者区别是什么？

首先明确核心结论：Dalvik 是「基于寄存器的虚拟机」和它为线程分配调用栈的设计没有任何冲突，二者属于不同层级的概念，负责完全不同的功能。 #

1. 两个核心概念的层级区别 #

• 物理CPU层面：无论X86还是ARM架构的物理处理器，本身就同时配备通用寄存器和栈内存。寄存器负责暂存运算时的操作数、结果，栈负责存储函数调用的上下文、返回地址，二者是互补关系，从来不是非此即彼的选择。
• 虚拟机层面的「基于寄存器」是对字节码指令集设计的描述：和传统JVM基于栈的字节码不同，Dalvik的dex字节码指令会直接指定操作数所在的虚拟寄存器位置，不需要每次运算都做入栈、出栈的冗余操作，是专门针对移动设备低算力场景做的效率优化。

2. Dalvik线程栈的存储内容 #

Dalvik为每个独立线程分配的栈空间，存储的是该线程所有未执行完成的方法对应的栈帧，每个栈帧里就包含了当前方法可用的所有虚拟寄存器的存储空间：

• 每个方法被调用时，Dalvik会预先计算该方法需要的虚拟寄存器总数，在线程栈上开辟对应大小的空间来承载这些虚拟寄存器
• 方法的入参、局部变量都会直接映射到栈帧的虚拟寄存器上，运算操作直接通过字节码指定的寄存器编号读写数据
• 方法执行完毕后，对应的栈帧直接出栈，该方法的所有虚拟寄存器占用的空间会被一并回收，不需要额外GC处理

3. 存储逻辑与运算逻辑的对应关系 #

• 类元数据、静态变量：全局存储在Dalvik堆内存的方法区，所有线程共享，需要参与运算时会被加载到虚拟寄存器中
• 类的成员变量：属于实例对象，存储在堆内存的实例空间，调用时加载到虚拟寄存器参与运算
• 局部变量、方法参数：直接映射到当前方法栈帧的虚拟寄存器，运算时可以直接读写
• 底层执行逻辑：Dalvik的解释器、JIT/AOT编译器会把字节码层面的虚拟寄存器操作，映射到物理CPU的真实寄存器或者物理栈上执行，虚拟寄存器只是字节码层面的抽象，和硬件实现完全解耦

补充说明：Android官方定义Dalvik的每个虚拟寄存器为32位，long、double类型的64位数据会占用两个连续的虚拟寄存器，所有虚拟寄存器的存储空间全部从当前线程的调用栈分配。

内容的提问来源于stack exchange，提问作者Stanislav Kireev