怎么利用 Project Loom 的 Structured Concurrency 自动传播线程中断并防止异步子任务泄露

怎么利用 Project Loom 的 Structured Concurrency 自动传播线程中断并防止异步子任务泄露

StructuredTaskScope 会自动传播中断信号吗？

答案是肯定的，但这里有个关键前提：它只对在自身作用域内显式启动的子任务有效，并且，父线程被中断这件事，必须发生在作用域尚未退出的时间窗口内。换句话说，StructuredTaskScope 并不会像个哨兵一样，时刻监听外部线程的任何风吹草动。它的中断传播机制，更像是一次集中清算——当作用域通过 join()、joinUntil() 或 try-with-resources 语句块隐式调用 close() 而关闭时，JVM 会统一检查并中断所有仍在运行的子任务。

如果你遇到了这样的场景：明明调用了 Thread.currentThread().interrupt()，子任务却还在后台默默运行；或者 scope.join() 都返回了，虚拟线程的状态却依然显示为 RUNNABLE，那很可能就是踩中了下面几个坑：

• 任务启动方式不对：必须使用作用域内的 fork() 方法。如果你直接 new Thread() 或者把任务提交给一个普通的 ExecutorService，那么这些任务就完全脱离了结构化并发的管控范围。
• 中断传播不是实时的：别指望中断信号能像广播一样瞬间抵达所有子线程。它是在一个“等待点”（比如调用 join() 时）或者作用域退出时，才被集中处理的。
• 子任务本身不协作：如果子任务阻塞在了一个不响应中断的 I/O 操作上（比如某些老版本 JDBC 驱动的 ResultSet.next()），那么中断信号就会被直接忽略。解决之道通常是升级驱动或考虑使用 R2DBC 这样的响应式驱动。

为什么 shutdownOnSuccess 模式下另一个任务没被 cancel？

这是因为 StructuredTaskScope.ShutdownOnSuccess 的策略设计得非常明确：它只在有任意一个子任务成功返回结果时，才会自动取消其余所有任务。至于父线程的中断信号？它并不理会。

所以，如果你的需求不仅仅是“竞速成功”，还希望支持超时或者手动中断也能触发全局取消，那就需要额外的配合动作。要么使用带超时控制的 joinUntil() 方法，要么在需要的时候显式调用 scope.cancel()。

这种模式典型的使用场景是“竞速查询”：比如同时向数据库和缓存发起请求，谁先返回就用谁的结果。但同时，我们可能还想设置一个总的超时时间。

• scope.joinUntil(Instant.now().plusSeconds(3)) —— 设置3秒超时，时间一到，所有未完成的任务都会被自动取消。
• scope.cancel(); scope.join(); —— 先主动发起取消指令，然后等待作用域完成清理。这个顺序很重要。
• 一个关键提醒：不要只调用 scope.cancel() 就以为万事大吉，直接退出作用域。这样做可能导致子任务仍在运行。正确的做法是，要么紧接着调用 join() 等待，要么依赖 try-with-resources 自动执行 close() 来确保收尾。

如何确保虚拟线程真正响应中断？

从语义上讲，虚拟线程的中断机制与传统的平台线程是一致的。但正因为虚拟线程更轻量、创建更频繁，我们反而更容易掉入一种“假响应”的陷阱：比如，代码虽然捕获了 InterruptedException，却没有重置线程的中断状态；或者，在一个长时间运行的计算循环中，完全忘记了检查 Thread.interrupted()。

说到性能开销，其实可以放心：频繁调用 Thread.interrupted() 来检查中断状态的代价微乎其微。真正的性能瓶颈在于任务逻辑本身是否“协作”。如果一个任务陷入了不检查中断状态的死循环，那么中断信号永远也无法生效。

• 对于阻塞调用：像 Thread.sleep()、LockSupport.park()、Future.get() 这类方法，它们的设计本身就会响应中断并抛出 InterruptedException。
• 对于非阻塞的计算循环：必须在循环体内定期插入检查，例如：if (Thread.interrupted()) throw new InterruptedException();。
• 关于异常处理：捕获到 InterruptedException 后，如果你的处理策略不是立即终止当前线程，那么一个最佳实践是调用 Thread.currentThread().interrupt() 来恢复中断状态，以便上层代码能够感知。
• 绝对要避免的模式：try { ... } catch (InterruptedException e) { /* 静默忽略 */ }。这几乎是导致线程中断信号“泄漏”和资源无法回收的最常见根源。