Notes

• Getting a million users is infinitely harder than scaling a system to handle a million users. Most systems could run comfortably on a Raspberry Pi

Links

• ​Setting up containers, load balancing, and service discovery on light hardware​

• ​Ask HN: Any recommended resources to develop system thinking? (2018)​

• ​Distributed Systems in One Lesson by Tim Berglund (2017)​

• ​Traefik - Modern HTTP reverse proxy and load balancer that makes deploying microservices easy. (Hello World with Traefik)

• ​Kit - Standard library for microservices written in Go.

• ​Fear and Loathing in Lock-Free Programming (2017)​

• ​Reliable Systems Series: Model-Based Testing (2018)​

• ​Awesome Distributed Systems​

• ​Kong - Cloud-Native API Gateway & Service Mesh.

• ​Disque - Distributed message broker.

• ​Mesh - Tool for building distributed applications.

• ​Raft - Raft distributed consensus algorithm implemented in Rust.

• ​hraftd - Hashicorp's Raft implementation.

• ​In Search of an Understandable Consensus Algorithm (HN)

• ​libp2p specification - Technical specifications for the libp2p networking stack.

• ​Class materials for a distributed systems lecture series​

• ​Raft Consensus Algorithm (Code)

• ​Qri - Global dataset version control system (GDVCS) built on the distributed web.

• ​Project Oak - Meaningful control of data in distributed systems.

• ​mudb - Collection of modules for building realtime client-server networked applications.

• ​Verdi - Framework for formally verifying distributed systems implementations in Coq.

• ​PingCAP Talent Plan - Series of training courses about writing distributed systems in Go and Rust.

• ​Protocol Labs - Build protocols, systems, and tools to improve internet.

• ​Dark Crystal - Open source R&D affinity. Exploring the potential of new and existing technologies in crypto-space to encourage horizontal group collaboration.

• ​Protozoa - Web developers, facilitators, crypto-engineers. Experts in Node.js & distributed systems.

• ​Akka - Build highly concurrent, distributed, and resilient message-driven applications on the JVM.

• ​Distributed Components - Provides reusable infrastructure for formally verifying distributed systems using the Coq proof assistant.

• ​Practical Networked Applications in Rust, Part 1: Non-Networked Key-Value Store (HN)

• ​LF - Fully Decentralized Fully Replicated Key/Value Store.

• ​Awesome Consensus - Curated selection of artisanal consensus algorithms and hand-crafted distributed lock services.

• ​Rezolus - Tool for collecting detailed systems performance telemetry and exposing burst patterns through high-resolution telemetry.

• ​Cadence - Distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.

• ​Pilosa - Open source, distributed bitmap index that dramatically accelerates queries across multiple, massive data sets.

• ​Finagle - Fault tolerant, protocol-agnostic RPC system.

• ​How To Build A Modern Distributed Compute Platform (2018)​

• ​Chaos Monkey - Resiliency tool that helps applications tolerate random instance failures.

• ​Faust - Python Stream Processing.

• ​"Consistency without consensus in production systems" by Peter Bourgon (2014)​

• ​Distributed consensus reading list​

• ​Titanoboa - Community version of fully distributed, highly scalable and fault tolerant workflow orchestration platform for JVM.

• ​Buoyant - Helps you deploy and run Linkerd, the fully open source, ultralight service mesh.

• ​Grappa - Runtime system for scaling irregular applications on commodity clusters.

• ​MIT Distributed Systems course (2020) (Videos) (Notes) (HN)

• ​Correctness proofs of distributed systems with Isabelle/HOL (2019)​

• ​Apache Mesos - Cluster manager that provides efficient resource isolation and sharing across distributed applications, or frameworks.

• ​Gleam - Fast, efficient, and scalable distributed map/reduce system, DAG execution, in memory or on disk, written in pure Go, runs standalone or distributedly.

• ​Learning Distributed Systems - Cloud Native Podcast​

• ​etcd - Distributed reliable key-value store for the most critical data of a distributed system.

• ​etcdadm - Command-line tool for operating an etcd cluster. It makes it easy to create a new cluster, add a member to, or remove a member from an existing cluster.

• ​Learning to build distributed systems (2019) (Lobsters)

• ​SwarmKit - Toolkit for orchestrating distributed systems at any scale. It includes primitives for node discovery, raft-based consensus, task scheduling and more.

• ​How to get started with infrastructure and distributed systems (2016)​

• ​Advanced Napkin Math: Estimating System Performance from First Principles (2019) (Code)

• ​Golimit - Uber ringpop based distributed and decentralized rate limiter.

• ​System Design lectures (2020)​

• ​Awesome Scalability - Patterns of Scalable, Reliable, and Performant Large-Scale Systems.

• ​LeetCode System Design Questions​

• ​Grokking the System Design Interview​

• ​Amazon Builders' Library - How Amazon builds and operates software.

• ​Distributed Systems Wiki (Code)

• ​Jepsen - Distributed Systems Safety Research.

• ​ION - Distributed RTC system written by pure go and flutter.

• ​Challenges with distributed systems (HN)

• ​Systems design for Advanced Beginners (2020)​

• ​Performance Under Load (2018)​

• ​Veneur - Distributed, fault-tolerant pipeline for runtime data.

• ​Going multi-region​

• ​List of distributed systems reading lists​

• ​Complexities of Capacity Management for Distributed Services (2020)​

• ​Hermes: a Fast, Fault-Tolerant and Linearizable Replication Protocol (2020)​

• ​WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems​

• ​Paxos vs Raft: Have we reached consensus on distributed consensus? (2020) (HN)

• ​Teleforking a process onto a different computer! (2020) (HN) (Code)

• ​Debugging Distributed Systems (HN)

• ​Distributed systems for fun and profit​

• ​Temporal - Open source microservices orchestration engine for running mission critical code at any scale. (Code) (Docs) (Why I joined Temporal) (Go SDK)

• ​Model checker for implementing distributed systems​

• ​Arvind Krishnamurthy's research​

• ​Distributed Services with Go​

• ​Fully asynchronous C implementation of the Raft consensus protocol​

• ​Notes on Distributed Systems for Young Bloods (2013) (HN)

• ​Paxakos - Rust implementation of a distributed consensus algorithm based on Leslie Lamport's Paxos.

• ​Riemann - Network event stream processing system, in Clojure.

• ​Collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineering​

• ​Tess Rinearson - All Together Now: An Introduction to Distributed Consensus (2019)​

• ​Slurm - Open source, fault-tolerant, and highly scalable cluster management and job scheduling system for large and small Linux clusters. (Code)

• ​Submitit - Lightweight tool for submitting Python functions for computation within a Slurm cluster.

• ​CAP FAQ​

• ​Readings in Distributed Systems​

• ​Control theory for fun and profit (2020) (HN)

• ​Understanding Replication in Databases and Distributed Systems (2018)​

• ​A plain English introduction to CAP theorem​

• ​Debugging Incidents in Google's Distributed Systems (2020) (HN)

• ​Odin - Programmable, observable and distributed job orchestration system which allows for the scheduling, management and unattended background execution of user created tasks on Linux based systems. (HN)

• ​Verifying Strong Eventual Consistency in Distributed Systems (2017)​

• ​Patterns of Distributed Systems (2020) (HN)

• ​Keeping CALM: When Distributed Consistency Is Easy (2020)​

• ​Distributed Systems Notes​

• ​Avoiding fallback in distributed systems​

• ​The Reactive Principles - Design Principles for Distributed Applications.

• ​Paxi - Framework that implements WPaxos and other Paxos protocol variants.

• ​Rafting Trip - Learn about network programming, concurrency, distributed systems, and more as you tackle the challenge of implementing the Raft distributed consensus algorithm.

• ​Resources for learning distributed systems (2020)​

• ​Workload isolation using shuffle-sharding (2020)​

• ​Consensus is Harder Than It Looks (2020)​

• ​The Little Strangler (Lobsters)

• ​A Review of Consensus Protocols (2020) (HN)

• ​Disel: Distributed Separation Logic - Separation-style logic for compositional verification of distributed systems.

• ​raft-zero - Implementation of the Raft consensus algorithm on top of the act-zero actor framework.

• ​raft-playground - Application to simulate and test a Raft cluster, using raft-zero.

• ​Building Netflix’s Distributed Tracing Infrastructure (2020)​

• ​Wikipedia's self-hosted CDN (2020)​

• ​Infinite Parallel Universes: State at the Edge (2020) (Summary)

• ​Awesome Chaos Engineering​

• ​How you could have come up with Paxos yourself (2020) (HN)

• ​Grafana Tempo - Open source, easy-to-use and high-scale distributed tracing backend. (Web) (Announcement) (HN)

• ​Principles of chaos engineering (Code) (HN)

• ​Testing Distributed Systems - Curated list of resources on testing distributed systems. (Code)

• ​Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories (2020) (Summary)

• ​Notes on Paxos (2020) (HN)

• ​This is why distributed systems are useful (and I am building one) (2020)​

• ​Distributed Systems lecture series by Martin Kleppmann (2020) (Lectures Notes)

• ​Dkron - Distributed, fault tolerant job scheduling system for cloud native environments. (Web)

• ​Braft - Industrial-grade C++ implementation of the RAFT consensus algorithm.

• ​Distributed Systems course (2020) (NotesG)

• ​MirBFT Library - Consensus library implementing the Mir consensus protocol.

• ​Fairness in multi-tenant systems (2020)​

• ​Advanced Distributed Systems Design course​

• ​Raft implementation in Go​

• ​Loading Shedding Strategies - Demonstration of load shedding and how it can make your services more resilient in outages and come back online quicker.

• ​A Byzantine failure in the real world (2020)​

• ​Byzantine Eventual Consistency​

• ​Interval Tree Clocks (2020)​

• ​Distributed Systems Reading List (HN)

• ​Raft Visualization (HN)

• ​Meld - Decentralized shared state.

• ​Understanding Connections & Pools (2021) (HN)

• ​Fission Whitepaper (Code)

• ​Awesome distributed transactions​

• ​Rystsov's Blog on distributed systems​

• ​Compartmentalized Paxos - Scaling Replicated State Machines with Compartmentalization. (Tweet)

• ​DistSys Reading Group​

• ​CASPaxos: Replicated State Machines without logs (2018) (Code)

• ​Consensus: Bridging Theory and Practice - PhD dissertation on the Raft consensus algorithm.

• ​The Fundamental Mechanism of Scaling (2021)​

• ​Ray - Simple, universal API for building distributed applications. Accelerating machine learning workloads. (Code) (Docs)

• ​Jepsen - Framework for distributed systems verification, with fault injection. Clojure library.

• ​How to Move Beyond a Monolithic Data Lake to a Distributed Data Mesh (2019)​

• ​Distributed Systems in Rust - Training course about the distributed systems in Rust.

• ​rsraft - Raft implementation in Rust.

• ​Implementing Raft's Leader Election in Rust (2021)​

• ​Effective Fallbacks (2020)​

• ​Ask HN: Recommended books and papers on distributed systems? (2021)​

• ​Raft implementation in Rust language​

• ​Porcupine - Fast linearizability checker for testing the correctness of distributed systems.

• ​Testing Distributed Systems for Linearizability (2017)​

• ​Namazu - Programmable Fuzzy Scheduler for Testing Distributed Systems.

• ​Engineering Dependability and Fault Tolerance in a Distributed System (2021)​

• ​Autopilot: workload autoscaling at Google (2020)​

• ​Byztime - Byzantine-fault-tolerant protocol for synchronizing time among a group of peers, without reliance on any external time authority.

• ​Foundational Distributed Systems Papers (2021) (HN)

• ​Making reliable distributed systems in presence of software errors by Joe Armstrong (2003)​

• ​unitalk - Distributed chat system which can be used as chat rooms or state synchronization.

• ​Maelstrom - Workbench for learning distributed systems by writing your own.

• ​An introduction to lockless algorithms (2021) (HN)