Content-type: text/html Downes.ca ~ Stephen's Web ~ Consistency Models

Stephen Downes

Knowledge, Learning, Community

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: 5 Total: 103 [Direct link] [Share]


Stephen Downes Stephen Downes, Casselman, Canada
stephen@downes.ca

Copyright 2024
Last Updated: Nov 21, 2024 4:10 p.m.

Canadian Flag Creative Commons License.

Force:yes