✳flâneur — a map of the web's best reading
Testing Distributed Systems for Linearizability
anishathalye.com · 1,883 words · saved by 1 readers
Testing distributed systems is challenging due to concurrency and nondeterminism.
Distributed systems are challenging to implement correctly because they must handle concurrency and failure. Networks can delay, duplicate, reorder, and drop packets, and machines can fail at any time. Even when designs are proven correct on paper, it is difficult to avoid subtle bugs in implementations. Unless we want to use formal methods 1 , we have to test systems if we want assurance that implementations are correct. Testing distributed systems is challenging, too. Concurrency and nondeterminism make it difficult to catch bugs in tests, especially when the most subtle bugs surface only un
Explore this link on the map →related reading
- A Distributed Systems Reading Listferd.ca
- Notes on Distributed Systems for Young Bloods – Something Similarsomethingsimilar.com
- Distributed systems for fun and profitbook.mixu.net
- Let’s take a crack at understanding distributed consensuspreethikasireddy.com
- How to do distributed locking - Martin Kleppmann's blogmartin.kleppmann.com
- Distributed systems theory for the distributed systems engineer | Paper Trailthe-paper-trail.org
- Strong consistency modelsaphyr.com
- A Brief Tour of FLP Impossibility | Paper Trailthe-paper-trail.org
- Testing robotics systems in fast-paced startups | Michael Jae-Yoon Chungmjyc.github.io
- Understanding and expressing scalable concurrencyaturon.github.io
- Reading 2: Testingweb.mit.edu
- Building an open-source version of Antithesis, Part 1: Understanding the deterministic simulation testing ecosystemdatabases.systems