程序计数器（PC寄存器）是JVM中唯一不会发生OutOfMemoryError的区域，因其仅为固定大小的指令地址指针（32位占4字节、64位占8字节），不分配堆内存、不参与GC、不随程序规模扩展，仅线程私有地存储下一条字节码指令地址或native方法的undefined值。
程序计数器（PC Register）是 JVM 运行时数据区中唯一不会发生 OutOfMemoryError 的区域，这不是偶然设计，而是由它的本质决定的——它根本就不是一块“可分配内存”，而是一个固定大小的指令地址指针。
存储内容极简且空间恒定
它只保存下一条要执行的字节码指令地址（如 0x0007），或在执行 native 方法时置为 undefined。这个值在 32 位 JVM 中占 4 字节，64 位 JVM 中占 8 字节，无论代码多长、循环多深、方法嵌套多少层，它始终只存一个整数。
- 不存对象、变量、栈帧、类元数据等任何可变结构
- 不随方法调用次数增加而扩容
- 更新操作只是覆盖写，没有新增内存申请
完全脱离 JVM 内存管理机制
它不走堆分配、不入栈帧、不进方法区，也不受 -Xmx、-Xss 等任何内存参数影响。JVM 在创建线程时就为其预分配好 PC 寄存器空间，后续运行中仅做寄存器级读写。
- 不参与垃圾回收（GC）流程
- 不向操作系统申请内存页
- 不依赖任何动态扩展策略
线程私有且生命周期严格绑定
每个线程独享一份 PC，线程启动即分配，线程终止即释放。即使并发启动上万个线程，总开销也仅为线程数 × 4 或 8 字节，微乎其微。
- 不存在跨线程共享或全局资源竞争
- 无累积占用风险，不会因长期运行而“越用越多”
- CPU 时间片切换时，PC 值自动保存/恢复，不引入额外内存负担
JVM 规范明确排除 OOM 场景
Java 虚拟机规范 §2.5.1 明确定义程序计数器为“无 OutOfMemoryError 场景”的区域。这不是遗漏，而是基于其寄存器语义的确定性设计——溢出的前提是“申请内存超过上限”，而它根本不申请。
- 功能单一：仅支撑指令跳转、分支、异常恢复与线程切换
- 实现层面更接近 CPU 硬件寄存器，而非软件内存区域
- 验证方式简单：无限递归会触发 StackOverflowError，但 PC 相关指标始终无异常日志
