A new axiomatic framework unifies classic consistency models and proves CLAM, a trilemma showing wait-free distributed systems must sacrifice one of closed past, local visibility, or arbitration.
The Power of Processor Consistency
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Framework for Consistency Models in Distributed Systems
A new axiomatic framework unifies classic consistency models and proves CLAM, a trilemma showing wait-free distributed systems must sacrifice one of closed past, local visibility, or arbitration.