6.1.1.1 原子组合操作 6.1.1.1 原子组合操作:当“看似原子”的事务在真实负载下悄然撕裂——一个被忽略的 STM 重试风暴根因与精准压制方案 你有没有写过这样一段 Haskell 代码? 它优雅、简洁、符合直觉——读余额、校验、扣款、入账,全部包裹在 中。你甚至在单元测试里跑了上千次,零失败。上线后第一周风平浪静;第二周凌晨三点,监控告警: 的平均延迟从 87μs 飙升至 42ms,P99 超过 200ms,而 CPU 利用率却只徘徊在 35%。日志里没有错误,只有大量重复的 记录——像一群在玻璃幕墙前反复撞头的鸟。 这不是并发 bug,不是死锁,不是资源争用。