程序计数器（pc寄存器）是线程私有的小内存区域，用于精确记录当前线程下一条待执行字节码指令的地址（偏移量），支持多线程切换恢复、分支跳转及native方法调用时的状态管理，且不会发生内存溢出。
程序计数器（Program Counter Register，简称 PC 寄存器）是每个线程私有的小块内存，它的核心作用就是精准记录该线程当前执行到哪条字节码指令——不是源代码行号，而是字节码文件中的指令地址（或偏移量）。
它怎么定位到具体字节码位置
Java 源码编译成 class 文件后，字节码指令按顺序排列，每条指令在文件中都有唯一的位置编号（比如第 0 条、第 2 条、第 6 条……）。JVM 加载时会把指令读入内存，并将原始偏移量映射为运行时内存地址。程序计数器就保存这个地址（或等效的偏移量），表示“下一条要执行的指令在哪”。
- 例如：当前执行的是 bipush 1（偏移量 0），执行完后程序计数器自动更新为 2（指向 istore_1）
- 遇到 if_icmpne 跳转时，JVM 根据条件判断结果，直接把目标指令地址（如偏移量 10）写入程序计数器，下一条就从那里开始
- 调用方法时，计数器存的是 invokestatic 指令的下一条地址；方法返回后，再跳回这个地址继续执行
为什么必须每个线程配一个
因为 JVM 的多线程靠 CPU 时间片轮转实现。线程随时可能被挂起，换另一个线程运行。如果没有独立的程序计数器，线程 A 挂起时的执行位置就丢了，恢复时无法知道从哪继续。
- 线程 A 执行到偏移量 8 被切走 → 它的 PC 寄存器记住 8
- 线程 B 执行一段时间后切回 A → JVM 直接从 A 的 PC 寄存器取地址 8，继续取指令、执行
- 各线程互不干扰，断点续跑完全依赖各自私有的计数器
执行 native 方法时计数器为空
当线程调用 native 方法（如 Object.wait() 或 IO 底层操作），这部分逻辑由本地 C/C++ 实现，不经过 JVM 字节码解释器。此时程序计数器设为 undefined，因为控制权已交给操作系统和本地库，JVM 不再负责追踪指令流。
- 一旦 native 方法执行完毕，线程回到 Java 方法，程序计数器立刻恢复，指向 Java 侧的下一条字节码地址
- 这说明程序计数器只服务于 JVM 可控的字节码执行路径
它不会内存溢出的原因
程序计数器只存一个地址值（通常 4 字节或 8 字节），大小固定，不随程序复杂度增长。它不存放对象、数组或任何动态数据，只是个轻量级指针。
- JVM 规范明确将其列为唯一 不会抛出 OutOfMemoryError 的运行时区域
- 程序员无需初始化、释放或干预它，完全由 JVM 自动管理
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
