保持冷静：何时分布式一致性变得容易 (arxiv.org)

这篇论文介绍了CALM定理，该定理阐明了哪些程序可以进行一致的、无需协调的分布式实现。CALM代表“一致性即逻辑单调性”，该定理表明，只有那些可以用单调逻辑表示的程序才能实现一致的、无需协调的分布式实现。CALM定理为分布式应用程序的开发人员提供了理论指导，并对分布式系统设计产生影响。