程序计数器是字节码解释器驱动执行流程的核心机制，仅存储下一条指令地址，通过实时读取与更新该值实现顺序执行、跳转、循环、方法调用返回、异常处理及线程切换恢复；其线程私有、轻量固定、永不OOM。
程序计数器（PC Register）在字节码解释器中不是辅助角色，而是驱动执行流程的核心机制。它不存储数据或对象，只保存下一条待执行字节码指令的地址，字节码解释器正是靠不断读取、更新这个值来推进代码运行。
控制字节码执行顺序
字节码解释器每执行完一条指令，就依据程序计数器当前值定位下一条指令地址。这个过程直接支撑：
- 顺序执行：计数器自动递增，指向紧邻的下条指令
- 条件跳转（如 if_icmpne、goto）：指令修改计数器值，跳转到目标行号对应地址
- 循环结构：通过回填计数器实现重复执行某段字节码
- 方法调用与返回：invoke 指令跳转至新方法入口，return 指令恢复原计数器值继续执行
支撑异常处理与现场恢复
当抛出异常时，JVM 需快速定位匹配的 catch 块。这一过程依赖程序计数器记录的“异常发生点”位置：
- 每个 try 块在 class 文件中都配有异常表（exception table），记录起始 PC、结束 PC 和 handler PC
- 异常触发时，JVM 对比当前 PC 是否落在某个 try 范围内，再跳转到对应 handler 的 PC 地址
- 未捕获异常导致方法退出时，计数器状态也用于还原上层调用栈的继续执行点
保障多线程执行的独立性
Java 多线程靠时间片轮转调度，同一时刻仅一个线程占用 CPU。程序计数器确保切换不丢进度：
- 线程被挂起前，其 PC 值已准确记录最后执行的字节码地址
- 线程重新获得 CPU 时，解释器直接从该 PC 值开始取指，无需重跑或猜测位置
- 本地方法（Native）执行时 PC 设为 undefined，避免与 Java 字节码地址混淆
轻量且不可溢出的设计逻辑
程序计数器被设计为极小的固定空间（通常一个机器字长），原因很直接：
- 只存地址，不存数据，不需要动态扩容
- 每个线程独有，生命周期与线程完全绑定，无共享竞争
- JVM 规范明确它不会触发 OutOfMemoryError —— 因为它根本不需要堆或方法区那样的可扩展内存管理
