Consistency As Logical Monotonicity (CALM)

Theorem.

Logically monotonic distributed code is eventually consistent without any need for consensus protocols (distributed locks, two-phase commit, etc.)

Further reading:

• https://blog.acolyer.org/2019/03/06/keeping-calm-when-distributed-consistency-is-easy
• https://blog.acolyer.org/2016/09/06/no-silver-bullet-essence-and-accident-in-software-engineering
• https://jzhao.xyz/thoughts/CALM-Theorem

system_design