JVM异步异常疑问：为何抛出前允许线程有限执行？

Java虚拟机允许在抛出异步异常前，执行少量但有限的代码。此延迟旨在让优化后的代码在遵循Java编程语言语义的前提下，在便于处理的时机检测并抛出这些异常。

你困惑的“线程停止前允许运行一段时间”这个点，其实是JVM在性能优化和语义正确性之间做的非常务实的权衡，我从两个核心角度给你掰明白：

• 为JIT优化让路：现代JVM的JIT编译器会做大量激进优化——比如指令重排、循环展开、方法内联，这些优化能让代码跑起来快很多，但如果要求每一条指令执行后都检查是否有异步异常（比如Thread.stop()触发的异常、虚拟机内部的终止信号），这些优化的收益会被完全吃掉。JVM允许的这段延迟，其实是让代码先执行到一个「便于处理的安全点」——比如方法返回处、循环边界、异常处理块入口——这些位置是JVM预先标记好的，既不会破坏Java语言的语义（最终异常还是会抛出），又不会打断优化后的代码执行流程，性能和正确性都能兼顾。

• 避免程序进入不一致状态：如果线程正在执行临界区操作（比如持有锁修改共享数据、操作IO流），突然强制抛出异常，很容易导致资源泄漏（比如锁没释放、文件句柄没关闭）或者数据结构损坏（比如链表只改了一半）。允许有限的延迟，就是让线程能走到下一个安全点，在安全点上，线程的状态是完全一致的——所有锁都处于稳定状态、数据结构操作已经完成或回滚，这时候抛出异常，不会留下烂摊子。

举个实际的例子：假设你有一个大循环，JIT把它展开成了连续8次迭代的代码块。如果每次迭代都检查异步异常，那性能会暴跌；但JVM等到这个代码块执行完（到循环的安全点）再检查，既保证了异常最终会被抛出，又保住了循环展开带来的性能提升，同时也避免了在迭代中途抛出异常导致的部分数据修改问题。

内容的提问来源于stack exchange，提问作者saga