安全区域是线程在Sleep或Blocked等非运行态前标记自身已安全的代码区间，确保GC时引用关系稳定、无需等待其到达安全点；典型场景包括sleep、wait、锁竞争及JNI返回前。
当线程处于 Sleep 或 Blocked 状态时，它不执行字节码，无法主动响应 JVM 的中断请求，也就无法自行走到安全点（SafePoint）挂起。这时，安全点机制失效，JVM 需要另一种保障方式——安全区域（Safe Region）。
安全区域的核心思想
安全区域是一段代码逻辑区间，在其中： - 引用关系不会发生变化； - 对象图状态稳定，不涉及堆内存的读写或引用更新； - 即使线程在此处长时间停留，也不会影响 GC Roots 的准确性。
因此，线程一旦进入该区域，就可标记自己“已安全”，JVM 在触发 GC 时无需等待它到达安全点，也无需强制唤醒它。
线程如何进入和退出安全区域
- 线程在进入 Sleep、Blocked、Waiting 等非运行态前，会检查当前是否处于安全区域内；如果是，就设置一个本地标志（如
in_safe_region = true）； - 进入阻塞前，线程会向 JVM 注册自己已进入安全区域，此后 JVM 发起 GC 时，会跳过该线程的轮询与挂起流程；
- 线程被唤醒并准备恢复执行时，会先检查 JVM 是否正在等待 GC 结束；如果正在 STW 阶段，它会主动等待 GC 完成后再继续执行；否则，清除标志并正常运行。
为什么这能保护 GC 环境
GC 要求所有线程暂停时，堆中对象的引用关系必须冻结，否则可达性分析可能漏标或误标。安全区域通过以下方式确保这一点：
- 它只覆盖语义上“无副作用”的代码段（例如刚调用完
Object.wait()进入等待队列后、或刚进入Thread.sleep()的内核态前）； - 此时栈帧中的局部变量、寄存器内容、OopMap 状态均已稳定，不会因线程停在中间指令而产生歧义；
- JVM 不依赖线程“主动配合”，而是将“安全”责任前移到线程进入非运行态前的那一刻。
典型的安全区域场景
常见出现在以下 Java 操作中：
-
Thread.sleep(long)方法内部，在真正挂起 OS 线程之前； - 对象调用
wait()后进入 Monitor WaitSet，且已释放锁、完成状态切换； - 线程尝试获取已被占用的锁（
synchronized），进入 Blocked 状态前； - JNI 调用返回 Java 层前的过渡阶段（部分实现中也会视为安全区域边界）。
