Attiya-Welch定理：线性一致性的延迟代价

线性一致性代价高不只是工程上的经验之谈，而是有严格数学证明的：Attiya-Welch定理证明，线性一致的读写操作，其响应时间必然正比于网络延迟的不确定性——网络延迟波动越大，要维持线性一致性所付出的等待代价就越高，这是任何实现方式都无法绕开的下限，而不是某个具体算法设计得不够好。这解释了为什么在跨数据中心、网络延迟高度可变的环境下，线性一致性的代价会格外明显；多数系统因此选择在这种环境里放弃线性一致性以换取更低延迟。一个反直觉的佐证是：即便是同一台机器内的现代多核CPU，其内存访问模型也不是线性一致的（体现为CPU缓存、写缓冲区、内存屏障等机制），这不是因为容错，而纯粹是为了性能——如果连物理距离几乎为零的核间内存都不愿为线性一致性买单，跨网络的分布式系统就更难承受这个代价。发散：这个定理提醒我们，追求”更强一致性模型”本身没有免费午餐，代价的量级取决于网络环境的不确定性，而非仅仅取决于算法优劣。