Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-distributed-systems
A curated list to learn about distributed systems
https://github.com/eric-erki/awesome-distributed-systems
Last synced: 3 days ago
JSON representation
-
Blogs and other reading links
-
Bootcamp
- FLP Impossibility Result (paper) - paper-trail.org/blog/a-brief-tour-of-flp-impossibility/) to follow along
-
Books
-
Papers
-
Storage & Databases
-
Messaging systems
-
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)
- The Part Time Parliament
- Paxos Made Simple
-
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
-
Courses
-
Verification of Distributed Systems
-
-
Meta Lists
-
Verification of Distributed Systems
-