# Distributed Systems [[Concurrency]] One example of a system for [[Distributed Consensus]] at the core of many [[Distributed Systems]] (for example [[etcd]], the [[Databases]] backing [[Kubernetes]]) and many [[Hashicorp]] tools it the [[Raft Protocol]]. It is for example used by [[Canonical]]'s [[dqlite]] replicated database (distributed [[SQLite]]). ## Patterns - [[Distributed Systems - Generating unique IDs]] ## Courses [[Lindsey Kuper]]'s [[Distributed Systems]] courses are online on [[Youtube]]: - [Lindsey Kuper - YouTube](https://www.youtube.com/lindseykuperwithasharpie) and have accompanying webpages: - [Distributed Systems - CSE138, Spring 2020](https://decomposition.al/CSE138-2020-03/) - [Distributed Systems - CSE138, Spring 2021](https://decomposition.al/CSE138-2021-03/) These are notes for the Fall 2022 semester version of the Yale course CPSC 465/565 Theory of Distributed Systems - [Notes on Distributed Systems](http://www.cs.yale.edu/homes/aspnes/classes/465/notes.pdf) A reading group about [[Distributed Systems]] papers: - [DistSys Reading Group - YouTube](https://www.youtube.com/channel/UCMKIroHVXvMQRIBhENE6RhQ) ## Links - A thread about assumptions in dealing with distributed systems: [(Nodir Turakulov)](https://twitter.com/nodirt_/status/1530297313473617920) ![[Formal Methods#Martin Kleppman - Correctness proofs of distributed systems with Isabelle]] ### Caching behaviour & Simulation This comes from a twitter thread about how [[Caching]] can lead to outages: ![[MarcJBrooker - 1539270764221804544]] - [Metastability and Distributed Systems - Marc's Blog](https://brooker.co.za/blog/2021/05/24/metastable.html), [Metastable Failures in Distributed Systems]( [https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s11-bronson.pdf](https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s11-bronson.pdf) - [Metastable Failures in the Wild | USENIX](https://www.usenix.org/publications/loginonline/metastable-failures-wild) ## Log [[2022-08-25 1]] - Added link to Notes on Distributed Systems CPCS 465 [[2022-07-31]] - Added a link to the DistSys Reading Group and Martin Kleppman video