2026年7月4日 无法对分布式协议做单元测试，但可以做模型检验 分布式缺陷在部署后修复成本高昂。模型检验能让你在写下第一行实现代码之前就发现它们。以下是如何使用 TLA+ 做到这一点。 model-checkingdistributed-systemstlaplusprotocol-design
2026年6月1日 你的 Web 服务有一条优雅关闭路径。这就是 Bug。 Crash-only 软件将每一次失败视为崩溃，将每一次启动视为恢复。对于 Web 服务来说，这意味着删除你的关闭逻辑，并设计出能在 kill -9 下存活的状态。 deep-divescrash-only-softwareresiliencedistributed-systems
