不幸的是，您描述的CPU架构受到的限制太大，无法通过所有中间步骤真正清楚地说明这一点。相反，我将编写伪 C 和伪 x86 汇编程序，希望以一种清晰的方式编写，而不必非常熟悉 C 或 x86。
编译后的 JVM 字节码可能如下所示：
ldc 0 # push first first constant (== 1)
ldc 1 # push the second constant (== 2)
iadd # pop two integers and push their sum
istore_0 # pop result and store in local variable
解释器在数组中具有（二进制编码）这些指令，以及引用当前指令的索引。它还具有一个常量数组，以及一个用作堆栈的内存区域和一个用于局部变量的内存区域。然后解释器循环如下所示：
while (true) {
switch(instructions[pc]) {
case LDC:
sp += 1; // make space for constant
stack[sp] = constants[instructions[pc+1]];
pc += 2; // two-byte instruction
case IADD:
stack[sp-1] += stack[sp]; // add to first operand
sp -= 1; // pop other operand
pc += 1; // one-byte instruction
case ISTORE_0:
locals[0] = stack[sp];
sp -= 1; // pop
pc += 1; // one-byte instruction
// ... other cases ...
}
}
这C代码被编译成机器代码并运行。如您所见，它是高度动态的：每次执行该指令时，它都会检查每个字节码指令，并且所有值都通过堆栈（即RAM）。
虽然实际的加法本身可能发生在寄存器中，但围绕加法的代码与Java到机器代码编译器发出的代码完全不同。以下是C编译器可能将上述内容转换为（伪x86）的摘录：
.ldc:
incl %esi # increment the variable pc, first half of pc += 2;
movb %ecx, program(%esi) # load byte after instruction
movl %eax, constants(,%ebx,4) # load constant from pool
incl %edi # increment sp
movl %eax, stack(,%edi,4) # write constant onto stack
incl %esi # other half of pc += 2
jmp .EndOfSwitch
.addi
movl %eax, stack(,%edi,4) # load first operand
decl %edi # sp -= 1;
addl stack(,%edi,4), %eax # add
incl %esi # pc += 1;
jmp .EndOfSwitch
您可以看到，用于添加的操作数来自内存而不是硬编码，即使对于Java程序而言，它们是常量。这是因为对于口译员来说，它们不是恒定的。解释器编译一次，然后必须能够执行各种程序，而无需生成专用代码。
JIT 编译器的目的是：生成专用代码。JIT 可以分析堆栈用于传输数据的方式、程序中各种常量的实际值以及执行的计算顺序，以生成能够更有效地执行相同操作的代码。在我们的示例程序中，它将局部变量 0 分配给寄存器，将常量表的访问替换为将常量移动到寄存器 （），并将堆栈访问重定向到正确的机器寄存器。忽略通常可以完成的一些优化（复制传播，不断折叠和死代码消除），它最终可能会得到这样的代码：movl %eax, $1
movl %ebx, $1 # ldc 0
movl %ecx, $2 # ldc 1
movl %eax, %ebx # (1/2) addi
addl %eax, %ecx # (2/2) addi
# no istore_0, local variable 0 == %eax, so we're done
