程序计数器记录当前线程下一条要执行的字节码指令地址，线程私有、自动保存恢复，支撑多线程切换与流程控制，不保存变量或源代码行号，执行native方法时值为undefined，永不OOM。
程序计数器（PC Register）记录的是当前线程**下一条要执行的字节码指令的地址**。它不记录已执行的指令，也不保存整个调用栈，只专注“接下来该取哪条指令”——这个看似简单的指针，正是JVM实现多线程切换的核心支点。
每个线程独享一份PC寄存器
JVM为每个线程分配独立的程序计数器，互不干扰。这意味着：
- 线程A在执行到
iconst_3时，它的PC值指向该指令地址； - 线程B可能正停在
iload_1处，它的PC值指向另一位置； - 即使两个线程执行同一段Java代码，它们的PC寄存器也各自维护，不会覆盖或混淆。
线程切换时自动保存与恢复
当操作系统或JVM触发线程调度（比如时间片用完、发生阻塞），当前线程被挂起前，它的PC值会立刻被保存到该线程私有的内存上下文中；等下次被重新调度执行时，JVM直接从上下文中取出原PC值，加载进执行引擎——于是线程能无缝续跑，就像从未被打断过。
- 这个过程无需开发者干预，由JVM底层自动完成；
- 保存/恢复的是字节码地址，不是机器指令地址，因此与平台无关；
- 若线程正在执行native方法，PC值设为
undefined，因为控制权已交出JVM，无法精确追踪。
支撑流程控制与并发安全
PC寄存器不仅服务切换，还直接参与Java程序的逻辑流转：
- 循环、条件跳转（如
if_icmpne）靠修改PC值跳转到目标指令； - 方法调用（
invokestatic）时，PC先保存返回地址，再跳入新方法入口； - 异常抛出后，JVM根据PC定位当前执行点，再匹配
try-catch表决定跳转位置。
轻量且永不OOM
程序计数器是JVM运行时数据区中唯一一个**没有规定OutOfMemoryError场景**的区域：
- 它占用内存极小（通常几个字节），仅存一个地址；
- 生命周期与线程一致：线程启动时创建，终止时回收；
- 不涉及对象分配或动态扩容，天然规避内存溢出风险。
