Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

保持冷静：何时分布式一致性变得容易

2024-09-04

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

(arxiv.org)
39
未分类 CALM定理