Verification of Distributed Systems

• Turing Lecture: The Computer Science of Concurrency: The Early Years
• The Paper Trail
• aphyr
• Distributed Systems: Take Responsibility for Failover
• The C10K problem
• Files are hard
• Distributed Systems Testing: The Lost World
• SWIM Protocol explained

• Times, Clocks and Ordering of Events in Distributed Systems

Storage & Databases

• Dynamo: Amazon's Highly Available Key Value Store
• blog
• Bigtable: A Distributed Storage System for Structured Data
• Cassandra: A Decentralized Structured Storage System
• CRUSH: Controlled, Scalable, Decentralized Placement of Replicated Data - rados-pdsw07.pdf)

Messaging systems

• Kafka: a Distributed Messaging System for Log Processing

Distributed Consensus and Fault-Tolerance

• The Byzantine Generals Problem
• Impossibility of Distributed Consensus with One Faulty Process
• The Part Time Parliament
• Paxos Made Simple
• The Chubby Lock Service for loosely coupled distributed systems
• Paxos made live - An engineering perspective
• Raft Consensus Algorithm
• Conflict-free Replicated Data Types - kv/), [Redis](https://redis.io/) and [Akka](https://akka.io/). A great talk on the subject by Martin Kleppmann can be found [here](https://www.youtube.com/watch?v=B5NULPSiOGw)

Testing, monitoring and tracing

• Dapper - systems tracing infrastructure, this was also the basis for the design of open source projects such as [Zipkin](http://zipkin.io/), [Apache SkyWalking](https://github.com/apache/incubator-skywalking), [Pinpoint](https://github.com/naver/pinpoint) and [HTrace](http://htrace.incubator.apache.org/).

Verification of Distributed Systems

• Verdi

Verification of Distributed Systems

• Reliable Distributed Algorithms, Part 1
• Reliable Distributed Algorithms, Part 2
• Cloud Computing Concepts
• CMU: Distributed Systems

Verification of Distributed Systems

• Readings in distributed systems
• Distributed Systems meta list