程序计数器线程私有，根本原因是保障线程切换后能准确恢复执行位置；每个线程独占PC寄存器以记录自身字节码指令地址，避免被覆盖错乱，且不参与GC、不会OOM。
程序计数器（PC Register）被设计为线程私有，根本原因就一个：每个线程必须独立记住自己执行到哪条字节码指令。它不是为了“隔离数据”，而是为了保障线程切换后能准确续上——没有它，多线程根本跑不起来。
线程切换靠它“接上进度”
CPU 时间片轮转时，线程 A 执行到第 42 条字节码就被暂停，线程 B 开始运行；等轮回到 A，JVM 必须知道从哪继续。这个“哪”，就是程序计数器里存的地址。如果多个线程共用一个 PC，A 写入的位置马上会被 B 覆盖，恢复时必然错乱。
- 每条线程启动时，JVM 就为其分配一块固定大小的 PC 空间（32 位 JVM 占 4 字节，64 位占 8 字节）
- 线程终止时，这块空间自动释放，不参与 GC
- 它的值只在 Java 方法中有效；执行 native 方法时设为 undefined，因为 JVM 不跟踪 C/C++ 指令流
不报 OOM 是因为它根本不“申请内存”
程序计数器不是堆或栈那种可伸缩区域，它本质是 JVM 对 CPU 寄存器行为的抽象模拟。规范强制规定其大小恒定、不可扩展，连 GC 都不归它管。
- 没有动态分配过程：线程创建时硬编码分配，生命周期与线程完全绑定
- 没有引用对象、不存数据、不涉及内存增长逻辑
- OutOfMemoryError 只发生在内存可增长且可能耗尽的区域（如堆、Metaspace、栈），而 PC 根本没这个“溢出”的机会
它和并发安全的关系很直接
线程私有 ≠ 故意加锁隔离，而是天然无竞争。因为每个线程只读写自己的 PC，不存在共享变量的可见性、原子性问题。
- 不需要 synchronized，也不需要 volatile
- 调试器单步执行、断点命中，底层全靠读取当前线程的 PC 值来定位
- 异常处理时，JVM 查方法的 exception table，匹配依据也是当前 PC 所指的字节码偏移量
不复杂但容易忽略：它小到几乎看不见，却撑起了整个 Java 多线程执行模型的底层连续性。
