程序计数器是JVM中唯一不会发生OutOfMemoryError的区域，因其仅存储固定大小的字节码指令地址（4或8字节），不参与动态内存分配、无GC管理、不随代码复杂度增长，且JVM规范明确禁止其抛出该异常。

程序计数器（PC Register）是JVM运行时数据区中唯一不会发生内存溢出的区域，它的底层逻辑并不依赖堆或栈的动态分配，而是直接映射到CPU寄存器或由虚拟机以极小固定空间模拟实现。掌握它，关键在于理解“它不存数据，只存地址；不随代码变大，只随指令跳转”这一本质。

程序计数器到底存什么

它存储的是当前线程下一条要执行的JVM字节码指令的地址（在解释执行模式下，常以字节码偏移量形式表示）。不是Java源码行号，也不是机器指令地址，而是方法区中字节码流里的一个位置标记。

• 执行普通Java方法时：记录下一条字节码指令在该方法字节码数组中的索引（如偏移量0、1、5、12等）
• 执行Native方法时：值为undefined，因为不走字节码解释流程，PC寄存器此时不参与控制
• 方法调用返回时：PC被设为调用点之后的下一条指令地址，实现“断点续执行”

为什么它永远不会溢出

溢出的本质是申请内存超过可用上限，而程序计数器根本不走内存分配流程：

• 每个线程的PC寄存器大小固定，通常仅需4字节（32位）或8字节（64位）存储一个地址
• 它不由Java堆、元空间或虚拟机栈管理，也不受-Xmx、-Xss等参数影响
• 底层由JVM在创建线程时直接绑定到操作系统线程的寄存器上下文，或使用极小栈空间模拟，无需动态扩容

多线程切换时它如何保证正确性

CPU时间片轮转时，线程暂停前，其PC值已保存在线程私有上下文中；恢复执行时，直接从该上下文载入PC，继续取指执行。

• HotSpot中，每个JavaThread对象内部都持有独立的pc字段，与OS线程一对一绑定
• 即使上万线程并发，每个PC仍只占几个字节，总开销可忽略，不存在“累积溢出”风险
• 分支、循环、异常跳转等操作，只是原子更新这个地址值，不新增内存占用

验证它不溢出的最简方式

写一个无限递归或死循环方法，配合jstat或jstack观察——虚拟机栈会很快报StackOverflowError，但程序计数器相关指标始终无异常日志，也不会触发任何OutOfMemoryError提示。

• 用jstat -gc <pid>看不到PC区域的使用率（因为它不在GC管理范围内）
• JVM规范明确将其列为“线程私有、固定大小、无溢出可能”的区域，连-XX参数都无法配置其大小