安全区域解决线程处于Sleep或Blocked状态时无法响应GC中断的问题，其通过线程在进入非运行态前主动声明“已安全”，使JVM可跳过轮询、直接执行STW；典型位置包括sleep前、wait后、锁竞争失败时及JNI返回前。
安全区域（Safe Region）解决的是线程处于 sleep、wait、park、锁竞争失败 等非运行态时，无法响应 GC 中断、导致 STW 被卡住的问题。它不依赖线程“走到某个点”，而是让线程在进入阻塞前主动声明：“我已静止，引用关系冻结，可跳过我”。
为什么安全点对阻塞线程完全无效
安全点只对正在执行字节码的线程起作用。一旦线程调用 Thread.sleep() 或 Object.wait()，它就交出 CPU、挂起在操作系统层面，不再执行任何 Java 指令——也就永远不会轮询安全点标志，更不可能“走到”循环回边或方法返回这些预设位置。
此时 JVM 若强行等待该线程到达安全点，只能干等，STW 时间可能从毫秒级飙升到秒级，尤其在线程长期 sleep 的场景下。
安全区域如何填补这个空档
安全区域是一段语义上“引用不变”的代码范围，不是单个指令点。线程在真正挂起前的最后一刻，确认自己处于该范围内，就会：
立即学习“Java免费学习笔记（深入）”；
- 设置本地标志（如
in_safe_region = true） - 向 JVM 注册“我已就绪，GC 可跳过我”
- 随后才进入 OS 级挂起（如调用
pthread_cond_wait）
典型位置包括：
-
Thread.sleep()进入挂起前 -
Object.wait()已释放锁、加入 WaitSet 后 - synchronized 竞争失败、准备进入 Monitor Contention Queue 前
- JNI 方法返回 Java 层前的过渡阶段
唤醒时的轻量协同机制
线程被系统唤醒后，并不立即继续执行，而是先检查 JVM 是否仍在 GC 中：
- 若 GC 已完成 → 清除
in_safe_region标志，正常恢复 - 若 GC 尚未结束 → 在安全区域内原地等待，直到收到“可离开”信号
这个等待发生在用户态，不触发上下文切换，也不破坏引用快照的稳定性——因为线程仍处在栈帧和寄存器状态完全冻结的状态中。
本质是信任契约，不是运行协作
安全点要求线程“动起来配合停”，而安全区域允许线程“静下来也被信任”。前者是运行时协作机制，后者是基于语义冻结的静态可信承诺。正是这种转变，让 JVM 在面对大量休眠线程时，也能实现可控、低延迟的 STW。
