Safepoint 是 JVM 中线程可安全暂停的特定位置,用于保障 GC 可达性分析等 STW 操作的准确性,并支撑类重定义、偏向锁撤销、反优化及线程诊断等运行时服务,通过协作式轮询机制实现,避免强制中断。

Java 虚拟机中的 Safepoint 是线程可以安全暂停的特定位置,核心作用是让 JVM 在需要全局一致状态时,可靠、可控地执行关键操作,而不是粗暴中断线程。
保障 GC 等 STW 操作的安全性
垃圾回收(尤其是可达性分析)必须确保对象图不被应用线程(mutator)并发修改。Safepoint 提供了“所有线程都停在已知、稳定状态”的窗口:栈帧结构清晰、寄存器和堆中引用关系确定、没有中间态数据。只有这时,GC 才能准确标记存活对象,避免误回收或漏回收。
- 比如 Young GC 触发时,JVM 设置全局 safepoint 标志,各线程运行到方法返回、循环跳转等位置时检查并暂停
- 此时线程栈里的局部变量、静态引用等 GC Roots 是完整且可遍历的
支撑多种 JVM 运行时服务
不只是 GC,任何需全线程协同的底层操作都依赖 Safepoint:
- 类重定义:如热更新(HotSwap)、字节码插桩(JVMTI),需确保无线程正执行待修改的方法
- 偏向锁撤销:当竞争出现,JVM 需在 Safepoint 安全地将偏向锁升级为轻量级锁
- 代码反优化(deoptimization):JIT 发现优化假设失效时,在 Safepoint 将机器码切回解释执行
- 线程诊断:jstack 获取线程栈、jmap 生成堆快照,都需所有线程静止在已知位置
实现协作式暂停而非强制中断
JVM 不直接 kill 或 suspend 线程,而是靠“插点+轮询”机制达成协作:
立即学习“Java免费学习笔记(深入)”;
- JIT 编译器在方法返回前、循环末尾、异常抛出处等插入 safepoint polling 检查指令
- 解释执行时,JVM 切换字节码 dispatch table 实现隐式检查
- Native 线程(如 JNI)不主动检查,但返回 Java 时必须触发一次检查
- 线程处于 sleep、wait、阻塞 I/O 等状态时,本身已“安全”,无需额外等待 —— 这引出了 Safe Region 的补充机制
开发者需要注意的实际影响
Safepoint 本身透明,但不当代码可能延长进入时间,导致 STW 延迟升高:
- 长循环中无方法调用(如
while(true) { /* 纯计算 */ })会卡住线程,无法及时响应 GC 请求 -
解决方法:循环体内加入空的
Thread.yield()或轻量方法调用(如System.nanoTime()),触发 polling - 可通过
-XX:+PrintSafepointStatistics -XX:PrintSafepointStatisticsCount=1查看各线程停顿分布和最长延迟
基本上就这些。








