Go back
cs/distsys.
- Simple event broker tries Tiger Style
- Not Just Scale - Marc's Blog
- Consensus
- Let's Consign CAP to the Cabinet of Curiosities - Marc's Blog
- sigtt611-bernstein
- Distributed Systems Reading List
- time-clocks
- Learning about distributed systems: where to start?
- RFC 677: Maintenance of duplicate databases
- untitled1.html
- 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