Go back
cs/distsys.
- time-clocks
- Synchronization is bad for scale
- Modeling B-trees in TLA+ – Surfing Complexity
- Dirty writes – Surfing Complexity
- Falsehoods Software Developers Believe About Event-Driven Systems · Blog · Loïc Carr
- A snapshot isolated database modeling in TLA+
- TLA+ modeling of a single replicaset transaction modeling
- Hermitage: Testing the “I” in ACID — Martin Kleppmann’s blog
- zine-ali
- Not Just Scale - Marc's Blog
- A Distributed Systems Reading List
- CRDT: Text Buffer - Made by Evan
- The Back-to-Basics Readings of 2012 | All Things Distributed
- The problem with invariants is that they change over time – Surfing Complexity
- Deterministic Simulation Testing | Resonate
- So you think you want to write a deterministic hypervisor?
- CAP is Good, Actually • Buttondown
- Vector Clocks Explained
- The CAP Theorem. The Bad, the Bad, & the Ugly | Dominik Tornow
- Distributed Logical Time
- An intuition for distributed consensus in OLTP systems | notes.eatonphil.com