程序计数器（pc）不保证正确性，仅记录下一条指令地址；多线程续跑靠操作系统在上下文切换中精确保存与恢复pc。每个java线程有独立pc，存字节码偏移量，线程挂起时内核自动保存rip至thread_struct，恢复时同步加载rip及其他寄存器实现无缝续跑。

程序计数器（PC）本身不“保证”正确性，它只是被动记录下一条指令地址；真正保障多线程切换后能准确续跑的，是操作系统在上下文切换中对PC的精确保存与恢复。

PC是每个线程私有的执行指针

每个Java线程启动时，JVM为其分配独立的PC寄存器。它只存当前线程正在执行的Java方法中下一条字节码的偏移量（如3对应iload_0），不存变量、行号或内存地址。这种线程隔离设计避免了多个线程共用同一PC导致的执行错乱。

线程挂起时PC被内核自动保存

当线程因时间片用尽、sleep()、阻塞IO等被调度器暂停，CPU会触发中断，内核随即把该线程的完整上下文写入其内核栈和task_struct.thread_struct结构体中——其中就包括x86_64下的RIP（即PC）。这个过程由硬件+内核协同完成，用户代码完全不可见。

Android 操作系统的介绍 中文WORD版

本文档主要讲述的是Android 操作系统的介绍；Android是基于Linux内核的操作系统，是Google公司在2007年11月5日公布的手机操作系统，早期由Google开发，后由开放手持设备联盟（Open Handset Alliance）开发。它采用了软件堆层（software stack，又名以软件叠层）的架构，主要分为三部分。底层Linux内核只提供基本功能；其他的应用软件则由各公司自行开发，部分程序以Java编写。希望本文档会给有需要的朋友带来帮助；感兴趣的朋友可以过来看看

下载

• 保存动作发生在切换前，不是PC“自己记住”，而是内核主动抓取当前CPU指令指针
• native方法执行时PC值为undefined，此时JVM依赖本地线程状态而非PC继续调度
• GC safepoint、JNI调用等关键节点，JVM会确保PC处于可安全暂停的位置再交由内核处理

线程恢复时PC被精准重载

调度器选中新线程后，会执行底层汇编指令（如movq），从该线程的thread_struct中把之前保存的RIP值加载回CPU指令指针寄存器。CPU从此地址开始取指执行，实现无缝续跑。

• 恢复过程与其他寄存器（RSP、RBP、RAX等）同步进行，缺一不可
• JVM不干预RIP加载，但会在进入/退出safepoint时校验PC是否落在合法字节码边界
• 若PC被意外破坏（如JVM bug或非法JNI操作），会导致IllegalInstruction或SIGSEGV崩溃

程序员能做的只有间接验证

你无法读写PC，但可通过工具观察它的行为是否符合预期：

• javap -c查看字节码序号，对照jstack中“at”行的偏移逻辑定位执行点
• gdb attach <jvm-pid></jvm-pid>后执行info registers rip，看到真实硬件指令地址
• 用perf record -e instructions:u -p <pid></pid>捕获指令流跳转，验证PC是否按预期推进