JVM无法挂起含死循环的线程，根本原因是死循环绕过安全点机制：JIT仅在方法调用、循环边界等预定义位置插入safepoint轮询，而纯计算型while(true)循环经优化后无轮询点，导致线程永不进入安全点，STW阻塞、jstack无法采样栈帧。
JVM 无法挂起含死循环的线程，根本原因不是“检测不到死循环”，而是这类循环绕过了安全点（Safepoint）插入机制，导致线程始终处于“不可暂停”状态。
死循环为何跳过安全点检查
HotSpot JVM 只在预定义的安全点位置插入轮询指令（safepoint poll），例如：
- 方法调用前/返回后
- 循环回跳边界（如 for 循环末尾的 i++ 和条件判断处）
- 异常抛出点、JNI 调用返回点
而典型的死循环写法——while(true) { i++; } 或 while(flag) { /* 纯计算，无调用、无分支、无分配 */ }——在 JIT 编译后可能被优化为连续的原生指令流，中间不包含任何上述安全点位置。JIT 不会在纯算术循环体内部主动插入 poll，因为这会破坏性能热点代码的执行效率。
JIT 编译器的权衡与限制
JIT 的设计目标是提升吞吐，不是保障可调试性。它默认只在“可控边界”插 poll，而非“每条指令后”。具体表现包括：
-
-XX:+UseCountedLoopSafepoints仅对计数型 for 循环（如for(int i=0; i）生效，对 while(true) 无效 - 当循环被内联、向量化或完全展开后，原始边界消失，安全点也随之丢失
- JIT 逆优化（deoptimization）本身依赖安全点触发，一旦线程卡住，就无法启动逆优化来补救
为什么 jstack 显示 runnable 却无栈帧
因为线程仍在 CPU 上运行，但已脱离 Java 栈管理上下文：
- jstack 依赖线程在安全点挂起后采集栈快照；未到达安全点，就采不到有效 Java 帧
- 此时线程实际停留在 JIT 编译后的汇编代码中，jstack 只能显示类似
Unsafe.park底层调用或空栈，甚至显示为JavaThread "xxx" [_thread_in_Java, id=xxxx]但无方法名 - GC 线程发起 STW 后，必须等待所有线程进入安全点；该线程不响应，STW 就无限阻塞，表现为高 CPU + 接口无响应
验证与缓解方式
可通过以下手段确认并降低风险：
- 用
jstat -compiler观察failed_safepoint_count是否持续增长（JDK 8u212+） - 在长循环体内显式插入可中断点：
Thread.onSpinWait()（JDK 9+）、LockSupport.parkNanos(1)或Thread.yield() - 避免裸 while(true)，改用带明确退出条件和方法调用的结构（如
queue.poll(timeout)） - 启用
-XX:+PrintSafepointStatistics -XX:PrintSafepointStatisticsCount=1查看 safepoint 延迟分布
