Consistency Models
Jepsen,
Apr 27, 2020
This item reminds me of the relationships between different modal logic systems. It describes the relationships between different models of consistency in distributed systems. Consistency is itself an underappreciated property in computer systems - we take it for granted, but couldn't live without it. Consistency lies at the heart of distributed editing systems such as GitHub, and constitutes the core innovation of the recent (and much-derided) blockchain systems. There is a logic of consistency, as demonstrated by this diagram, just as there is a logic of statements about possibility and necessity.
Today: 11 Total: 133 [Direct link] [Share]
