程序计数器

NOTE

程序计数器，全称 Program Counter Register，通常称之为 PC 寄存器。它的命名源于计算机体系结构中的 CPU 寄存器，在硬件层面，PC 寄存器用于存放下一条待执行机器指令的内存地址。JVM 中的 PC 寄存器是对这一物理概念的抽象模拟。它是一块极小的内存空间，其作用可以形象的理解为 当前线程所执行的字节码的"行号指示器"或"指令指针" 也是 运行速度最快的内存区域。 每个线程都拥有自己的程序计数器，其生命周期与线程的生命周期保持一致。程序计数器会存储当前线程正在执行的 Java 方法的 JVM 指令地址，如果在执行 Native 方法，则是 undefined。分之、循环、跳转、异常处理、线程恢复等基础功能都需要依赖程序计数器来完成。

Program Counter Register

JVM PC 寄存器 VS 硬件 PC 寄存器

特性	JVM PC 寄存器	硬件 PC 寄存器
物理性	逻辑概念，由 JVM 规范定义并在内存中实现	物理存在的 CPU 核心组件
存储内容	字节码指令地址（或执行 Native 方法时的 `undefined` ）	机器指令（二进制码）的内存地址
作用范围	线程级别，每个 Java 线程独立拥有	CPU 核心级别，在操作系统进行线程/进程切换时，需要将当前 PC 值保存到线程上下文，并恢复下一个线程的 PC 值
开发者可见	完全透明，开发者无法直接操作或感知	可通过汇编语言指令直接进行读写操作

关键特性

线程私有： 每个 Java 线程在创建时，都会拥有一个 PC 寄存器。 各线程之间的 PC 寄存器互不影响，其生命周期与所属线程完全相同
占用小，速度快： 程序计数器仅用于存储一个指向下一条指令的地址，内存占用几乎可以忽略不及，同时也是运行时数据区中访问速度最快的区域
执行 Native 方法时值位 undefined： 当前线程执行的是 Native 方法（即本地代码，如 C/C++ 实现的方法）时，PC 寄存器的值是不确定的。这是因为 Native 方法的代码不在 JVM 字节码中，其执行由本地代码控制，脱离了字节码解释器的管辖范围
唯一不会发送 OOM 的区域： 程序计数器是唯一一个没有定义任何内存溢出情况的内存区域。前面提到它只存储一个固定大小的指令地址，不存在因为对象创建或数组扩容导致内存不足的问题，最极端的情况也只是让它的值在有限范围内跳动（死循环）
不受垃圾回收管理： PC 寄存器不存储任何对象引用或实例数据，仅存储数字地址，因此不属于垃圾回收器的管理范围

原理

当一个线程开始执行时，程序计数器指向该线程要执行的第一条字节码指令，随着指令的执行，程序计数器不断的更新值，指向下一条要执行的字节码指令。当遇到 分支、循环、跳转、异常处理等情况，程序计数器会根据新的指令地址进行调整 ，以确保线程按照正确的顺序指向。

举例说明

Java 代码

java

public int compute() {
    int a = 2;
    int b = 3;
    int c = (a + b) * 10;
    return c;
}

字节码:

java

0: iconst_2     // 将整型常量 2 压入操作数栈
1: istore_1     // 将栈顶的 2 弹出，存入局部变量表索引 1 的位置 （变量 a）
2: iconst_3     // 将整型常量 3 压入操作数栈
3: istore_2     // 将栈顶的3弹出，存入局部变量表索引2的位置（变量 b）
4: iload_1      // 从局部变量表索引 1 加载变量 a 的值到操作数栈
5: iload_2      // 从局部变量表索引 2 加载变量 b 的值到操作数栈
6: iadd         // 将操作数栈顶两个 int 值 （a 和 b） 弹出相加，结果押回栈顶
7: bipush 10    // 将单字节常量 10 压入操作数栈
9: imul         // 将操作数栈顶的两个 int 值 ((a + b) * 10) 弹出想乘，结果压回栈顶
10: istore_3    // 将栈顶结果弹出，存入局部变量表索引 3 的位置 （变量 c）
11: iload_3     // 从局部变量表索引 3 加载变量 c 的值到操作数栈
12: ireturn     // 返回操作数栈顶的 int 值 （c）

字节码左侧的 0:、1:...12: 就是 指令地址（偏移量），这正是程序计数器在 执行 Java 方法时存储的内容

流程追踪

假设一个线程开始执行 compute() 方法，程序计数器的初始值位 0 。执行引擎会 根据 PC 寄存器的值，去方法区（或元空间）中找到对应的字节码指令并执行 ，执行完成后程序计数器的值会自动更新，指向下一条指令。

初始状态： PC = 0。执行引擎读取并执行地址 0 的指令 iconst_2 （将常量 2 入栈）。执行完成后，PC 自动更新为下一条指令的地址 1
顺序执行： PC = 1。执行 istore_1 （将 2 存入变量 a）。执行后 PC 更新为 2
- 随后，PC 依次变为 3，4，5...，指令按顺序执行 iconst_3，istore_3，iload_1，iload_2
**遇到运算指令： ** PC = 6。执行 iadd （依次加法 a + b）。执行后，PC 更新为 7
遇到带操作数的命令： PC = 7。执行 bipush 10 （将常量 10 入栈）。注意， bipush 指令本身占用一个字节，其操作数 10 也占用一个字节，所以 下一条指令的地址是 9。 执行后 PC 更新为9，这体现了 PC 会根据不同指令的长度进行「跳跃式」更新
继续执行与返回： PC = 9 。执行 imul （执行乘法 (a + b ) * 10）。执行后 PC 更新为 10
- 后续依次执行 istore_3，iload_3，ireturn
方法返回： 当执行完 ireturn 之后，方法栈帧出栈。如果该线程继续执行其他方法，PC 会被重置为新方法的启示指令地址；如果这是线程的最后一条指令，线程结束，PC 寄存器也会随之销毁

整个过程中，程序计数器就像读书时的手指，始终精准地指着当前读到的哪一行，并随着阅读的进行而移动。

关键特性的体现

线程私有： 假设线程 A （后面简称 A）和线程 B （后面简称 B）同时执行 compute() 方法
- 线程 A 执行到 PC = 4 （刚加载完变量 a）时，CPU 时间片用完，被挂起。
- 线操作系统切换到线程 B 执行。线程 B 拥有自己独立的 PC 寄存器，它可能从 PC = 0 开始执行自己的 compute() 方法。
- 当 CPU 再次切换回线程 A 时，JVM 只需要查看线程 A 的 PC 寄存器（值仍为 4），就能立刻知道应该从字节码地址 4 （即 iload_2）继续执行，保证了线程恢复的准确性。如果 PC 是线程共享的，这个值就会被线程 B 覆盖，导致线程 A 无法恢复。
执行 Native 方法时值为 undefined： 如果我们的方法中调用了 native 方法（如 System.currentTimeMillis()），那么在执行该 Native 方法期间，PC 寄存器的值是未定义的(undefined)。因为 Native 方法的代码由本地（如 C/C++）库实现，其执行流程不由 JVM 字节码解释器控制，PC 自然也就无法记录其内部指令地址。此时，线程的执行现场由其他机制（如本地方法栈）管理。
无OOM： 从例子可以看出，PC 寄存器只存储一个简单的指令地址，不存储对象或复杂数据结构。它占用空间极小，且大小固定，因此是 JVM 规范中唯一不会发生内存溢出错误的区域

程序计数器 ​

JVM PC 寄存器 VS 硬件 PC 寄存器 ​

关键特性 ​

原理 ​

举例说明 ​

流程追踪 ​

关键特性的体现 ​