Java虚拟机规范是否要求具备检测线程互相阻塞的机制？

• Java虚拟机规范并未强制要求JVM必须具备判定线程互相阻塞（如死锁）的机制。
• 该规范的核心聚焦于定义Java程序的运行语义、字节码执行规则、内存模型、线程基础操作（同步、阻塞、唤醒等）的标准行为，死锁检测这类功能不在强制要求范围内。
• 部分主流JVM实现（比如HotSpot）会提供死锁检测的工具或内置能力（例如通过jstack命令可排查死锁），但这属于厂商的扩展实现，并非规范层面的硬性要求。

内容的提问来源于stack exchange，提问作者Ярослав Ясиницький