一、机器码是什么？

机器码（Machine Code）是CPU 能直接识别并执行的最底层二进制指令序列，由 0 和 1 组成，完全对应硬件的指令集与操作逻辑。

1.1 核心特点

• 硬件绑定：不同 CPU 架构（如 x86、ARM、RISC-V）的机器码指令集互不兼容，只能在对应硬件上运行，这也是“一次编写，到处运行”的Java需要依赖JVM的核心原因。
• 无抽象性：直接描述硬件操作（如寄存器读写、内存加载、算术运算等），没有任何高级语言的封装，是最贴近硬件的指令形式。
• 执行效率最高：CPU 拿到后无需任何翻译/编译，可立即执行，是计算机性能最优的指令形式。

1.2 Java代码到机器码的流转

从Java源码到CPU执行，会经历以下关键步骤：

Java 源代码 → 字节码（JVM指令） → 机器码 → CPU执行

- Java 源代码：我们编写的 .java 文件，是人类可读的高级语言。
- 字节码：通过 javac 编译生成的 .class 文件，包含 getstatic、invokevirtual 等JVM专属指令，与硬件无关。
- 机器码：JVM 通过解释器或JIT编译器将字节码翻译为当前平台（如Windows x86、Linux ARM）的机器码，最终由CPU执行。

二、程序计数器：线程中断后的执行逻辑

程序计数器（PC寄存器）是JVM规范中定义的线程私有内存区域，它的核心作用是：记录当前线程下一条要执行的字节码指令地址。

针对两个典型场景，我们来分析它的行为：

场景1：当前指令未执行完，CPU时间片被分给其他线程

线程调度是操作系统的核心能力，当一个线程的CPU时间片耗尽时，操作系统会挂起该线程，并将执行权交给其他线程。此时：

1. 上下文保存：操作系统会保存当前线程的CPU上下文（包括硬件级程序计数器，即当前未完成的机器码地址），将线程状态标记为挂起。
2. 线程恢复：当线程再次获得CPU时间片时，操作系统会恢复之前保存的上下文，从上次中断的机器码位置继续执行。
3. 指令完整性：JVM的一条字节码会被翻译为多条机器码，只有当整条字节码对应的所有机器码都执行完毕后，JVM的程序计数器才会更新为「下一条字节码指令」的地址，保证字节码指令的原子性。

结论：时间片耗尽后恢复，线程会继续执行当前未完成的字节码指令，不会直接跳到下一条。

场景2：当前运行指令报错（抛出异常）

当指令执行过程中抛出异常时，程序计数器的行为会根据异常类型有所不同：

• JVM层业务异常（如NullPointerException、IndexOutOfBoundsException）：
  JVM会触发异常处理流程，程序计数器不会指向原指令的下一条，而是跳转到异常处理器对应的字节码位置（如catch或finally块的入口），线程从异常处理逻辑处继续执行。
• 底层硬件/系统错误（如非法指令、内存越界）：
  操作系统会直接终止线程或整个进程，程序计数器不再推进，程序终止运行。

结论：指令报错后，线程会跳转到异常处理的字节码位置，而非原指令的下一条。

三、总结

• 机器码是CPU直接执行的二进制指令，是Java代码最终落地硬件的形式，JVM负责将平台无关的字节码翻译为平台相关的机器码。
• 程序计数器是线程私有的，记录下一条字节码指令地址，保证多线程环境下指令执行的连续性。
• 时间片耗尽：线程恢复后继续执行当前未完成的字节码指令，保证指令执行的完整性。
• 指令报错：根据异常类型，跳转到异常处理逻辑或终止程序，不会继续执行原指令的下一条。