Taking a deep dive into Causal Consistency, with Atomic Transactions, and Strong Convergence.
A consistency model highly suited for local first:
- total availability
- easy for developers to reason about
- no surprises for the user
There's Just Something About Jepsen
Tests the real system with real faults.
No mocks, simulations, or maps that are close, but not quite the territory.
Demonstrated to work, it's found significant bugs in a wide variety of systems.
Its libraries of techniques and strategies have evolved over time by finding ways to break actual code in wide use.