CALM 定理

定义

CALM（Consistency As Logical Monotonicity）定理由伯克利的 Joseph Hellerstein 提出猜想、Ameloot 等人证明：一个分布式程序存在无需协调（coordination-free）的一致实现，当且仅当该程序是逻辑单调的——即已得出的结论不会因后续到达的新信息而被推翻。

含义

单调程序（如集合并集、只增计数、谓词一旦为真恒为真）可以让副本各自推进、乱序合并，天然最终一致；非单调操作（聚合后判断、否定、覆盖写）则必须引入共识、屏障或事务等协调手段。这为"什么时候必须付出协调代价"给出了精确的理论刻画，与 CAP 关注的取舍互补。

影响

CRDT 的设计（半格上的单调合并）是 CALM 思想的直接体现；Hellerstein 团队的 Bloom 语言尝试在语言层静态标出需要协调的非单调点。