用途:实现和审查 Swift 结构化并发代码,把隔离(isolation)与取消(cancellation)当作 API 契约,并在项目真实的 Swift 语言版本与严格并发(strict-concurrency)设置下编译。
主要规则与能力:优先使用结构化子任务与 task group;分离任务(detached task)需明确说明所有权与上下文传递理由。可变共享状态应做 actor 隔离或以其他方式同步,不应在无证明情况下用 unchecked Sendable 压制诊断。取消需贯穿循环、AsyncSequence 生产、continuation 与 I/O 适配器;已检查的 continuation 在每条路径上必须恰好恢复一次,回调 API 要保留取消句柄。不要用同步 I/O 或跨挂起点持锁来阻塞协作执行器。公共协议与闭包中保持 actor 隔离;@MainActor 仅用于 UI/主线程状态,不作为通用竞态兜底。为 AsyncStream/AsyncSequence 适配器定义顺序、缓冲、背压、终止与清理。任务局部值与优先级只是上下文提示,不是持久业务状态。
审查流程:把任务创建映射到所有者与终止条件;追踪 actor 隔离与 Sendable 跨越;从调用方追踪取消到资源与 continuation;识别阻塞工作、无界缓冲、重入假设与优先级反转;用时钟、continuation 或事件驱动协调添加确定性生命周期测试;运行严格并发编译并对受影响状态转换做压力测试。
必要命令:swift build、swift test。
限制:资料未提供具体平台、版本与价格信息;适用性取决于项目自身的 Swift 语言与严格并发设置。