一、前言：虚拟线程很香，但不是终点

Java 21 的虚拟线程（Virtual Threads）让“每请求一线程”瞬间进化成“每请求一虚拟线程”，性能提升肉眼可见。
可就在同一个版本，JDK 还悄悄交付了一组 预览 API：StructuredConcurrency（JEP 453）。
它既不属于 Project Loom，也不依赖虚拟线程，却能让吞吐再上一个台阶，而且代码更容易读、更容易 debug。今天咱们就把它聊透。

二、什么是结构化并发（Structured Concurrency）

一句话：

把多个异步子任务当成一个“逻辑单元”来管理——要么全部成功，要么全部取消，绝不泄漏。

传统 ExecutorService 写法是“fire-and-forget”，子任务飘在外部线程，父任务很难追踪、很难取消，超时后还可能在后台浪费 CPU/内存。
结构化并发引入 TaskScope，把子任务的生命周期绑定到父任务作用域，作用域结束 = 所有子任务自动结束，彻底杜绝“孤儿线程”。

三、代码对比：同样 3 个 RPC，新旧写法差距多大？

1. 传统并行流（容易泄漏）

CompletableFuture<User> f1 = CompletableFuture.supplyAsync(() -> rpcUser(id));
CompletableFuture<Order> f2 = CompletableFuture.supplyAsync(() -> rpcOrder(id));
CompletableFuture<Inventory> f3 = CompletableFuture.supplyAsync(() -> rpcInventory(id));

// 如果 f2 超时，f1、f3 仍在外部跑，浪费资源
return new Result(f1.join(), f2.join(), f3.join());

2. 结构化并发（预览 API）

try (var scope = new StructuredTaskScope.ShutdownOnFailure()) {
    Subtask<User>   t1 = scope.fork(() -> rpcUser(id));
    Subtask<Order>  t2 = scope.fork(() -> rpcOrder(id));
    Subtask<Inventory> t3 = scope.fork(() -> rpcInventory(id));

    scope.join();           // 等待全部完成或任一失败
    scope.throwIfFailed();  // 有异常就抛，同时取消其余任务

    return new Result(t1.get(), t2.get(), t3.get());
}

• 任一子任务失败 / 超时 → 其余任务自动取消（底层调用 Thread.interrupt）
• 父任务结束 → 所有子任务必须结束，不会留下后台线程
• 堆栈快照里能看到清晰的“父子”关系，jstack 不再是一堆散乱的 pool-X-thread-Y

四、性能实测：QPS 提升 18%，CPU 下降 12%

测试方法：

• SpringBoot 3.2 + Java 21
• 下游 3 个 Feign 接口，平均 RT 80 ms
• 失败率 5% 时观察线程数 & CPU

结构化并发通过“快速失败 + 批量取消”减少无效重试，CPU 更省，线程更干净。

五、最佳实践与注意点

1. 依旧预览功能
   需要在 javac / java 加参数
   --enable-preview --add-modules jdk.incubator.concurrent
   正式版预计 Java 23-24 落地，生产请评估风险。

2. 与虚拟线程无绑定关系
   StructuredTaskScope 默认使用平台线程，你也可以传入自己的 Executor 让子任务跑在虚拟线程上，二者可自由组合。

3. 选择合适的 Shutdown 策略

   • ShutdownOnFailure：任一失败 → 取消其余（适合“快失败”场景）
   • ShutdownOnSuccess：任一成功 → 取消其余（适合“谁快用谁”竞速场景）

4. 异常处理要“先聚合再抛”
   scope.throwIfFailed() 会把第一个子任务异常包装成 ExecutionException，其余子任务异常通过 Suppressed 附加，方便日志统一记录。

六、总结：结构化并发 = “线程池的 finally 块”

• 传统线程池：子任务飘在外面，父任务很难“全部召回”。
• 结构化并发：给异步任务加了一个“作用域生命周期”，天然 try-with-resources 语义——
  离开作用域 = 全部结束 = 不会泄漏。

如果你已经用上 Java 21，不妨在预览模式下尝鲜；
等它转正那一天，“异步难取消、难追踪、难调试” 的老毛病，将真正被扫进历史垃圾堆。