sota-async-concurrency

用途：为编写（BUILD）和审计（AUDIT）异步、并发代码提供 2026 年的先进规则，跨语言通用，遇到语义差异处内联说明（GIL、goroutine 调度、tokio 执行器、Node 单事件循环）。开始前需先明确选择一种模式。\n\nBUILD 模式：先对工作负载分类，I/O 密集型用 async/事件循环，CPU 密集型用线程（若运行时支持真正并行）或进程，混合则异步前端加有界工作池。默认使用结构化并发，任务须放在 TaskGroup/nursery/errgroup/JoinSet 等作用域内并被汇合或取消；所有队列、通道、连接池、在途请求集合都需显式容量；每个 await 都要有超时策略；取消要传播到 context/AbortSignal/CancelledError 并在 finally 清理；共享可变状态要有归属，优先消息传递或单所有者任务。\n\nAUDIT 模式：通过阅读代码找出竞态、死锁与泄漏。先梳理并发拓扑（谁创建任务、共享什么状态、队列与容量），再用针对性 grep 扫描，命中点包括 fire-and-forget、缺少 await、异步中阻塞调用、锁跨越 await、无界结构、check-then-act；对每个疑点须给出具体交错顺序来证明。\n\n规则索引涵盖模型与结构、正确性、原语、事件循环卫生、取消与关闭、背压流控、审计缺陷目录。严重级别分 CRITICAL、HIGH、MEDIUM、LOW，涉及资金、认证或持久化时升级一级，并提供统一发现格式。\n\n十大不可协商项包括：无孤儿任务、无无界队列、不阻塞事件循环、不跨 await 持有阻塞锁（必要时用运行时异步感知互斥锁）、每个 await 有超时、无 check-then-act、统一锁顺序、取消传播并清理、重试有界且带抖动并幂等、条件变量循环等待谓词且关闭按序。具体安装命令与价格信息暂未提供。