可靠通信的三条基本定理
这篇讲的是可靠通信背后必须遵循的三条基本定理，以及如何用它们指导系统设计。作者认为，广义的可靠通信必须满足不丢包、不重复、完整性这三个要求，而对应的解决方案分别是确认与重传、排队（串行化）、单点标记或自校验。文章澄清了一个常见误区：去重问题的根源在于操作需要排队，即使采用全局位图方案，对位图的操作本身也需排队，而像CAS这样的实现，其内部本质也是排队。 这些定理并非空谈，文章通过实例展示了其强大的解释力。例如，TCP的可靠性正是因为它遵循了这三条定理：序号机制实现了排队，超时重传机制兜底处理丢包，checksum则保证了数据完整性。再比如，在线商店的库存超卖问题，本质上是一个需要排队的去重问题；而订单与支付两大独立系统之间的数据一致，则依赖于定理一（确认与重传）来保证不丢包。 作者的核心观点是，实际问题千变万化，但可靠的系统设计必须回归到这三条基础定理上。它们提供了最根本的讨论框架和判断标准：符合定理的设计方案才是可靠的，否则就存在隐患。理解这些基础模型，是构建正确、健壮系统的理论前提。