Seastar 用 AI 辅助不变式追踪修复流写入交错 Bug

ScyllaDB 团队在 Seastar 框架中发现并修复了一类棘手的隐藏 Bug：当多个协程（fiber）并发写入同一个流（stream）时，由于写入交错（interleaving）导致状态机进入非法状态。团队引入 AI 辅助的不变式（invariant）追踪方法，自动枚举所有可能的执行交错路径，并与开发者定义的不变式进行交叉验证，从而定位到传统单元测试和压力测试难以覆盖的竞态条件。

该方案已在 Seastar 的流式 I/O 路径中落地，显著提升了并发写入的正确性保证。