Reading

Tags:

---

🐲 Hydra book

• A Science of Concurrent Programs

---

🌐 General

• Consistency models
• Graph Theory
• Time, Clocks, and the Ordering of Events in a Distributed System
• The Art of Multiprocessor Programming by Maurice Herlihy & Nir Shavit
• Scalability! But at what COST?
• PACELS

---

🤝 Consensus

• Paxos:
  • The Part-Time Parliament
  • Paxos Made Simple
  • Paxos Made Live
  • Paxosmon
• Raft:
  • In Search of an Understandable Consensus Algorithm(Extended Version)
  • Eli Bendersky - Implementing Raft
• Heidi Howard - Paxos vs Raft: Have we reached consensus on distributed consensus?
• Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
• 💸 BFT & Crypto:
  • The Byzantine Generals
  • Bitcoin
  • TON:
    • The Open Network (White paper)
    • Telegram Open Network Blockchain
    • Catchain Consensus: An Outline
  • Ethereum:
    • Ethereum: A Next-Generation Smart Contract and Decentralized Application Platform (White paper)
    • ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER (Yellow paper)
  • Asynchronous Consensus without Trusted Setup or Public-KeyCryptography
  • Practical Byzantine Fault Tolerance
  • HotStuff: BFT Consensus in the Lens of Blockchain
  • Tendermint: Consensus without Mining
  • Protocol-Aware Recovery

---

🤫 Gossip/Infectioning

• SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol

---

💯 Transactions

• Distributed Transaction Processing: The XA Specification
• Two Phase Locking (2PL)
• Detetministic:
  • Calvin: Fast Distributed Transactions for Partitioned Database Systems
• Maurice Herlihy — Transactional memory
• The hitchhiker's guide to distributed transactions
• Hermitage

---

👥 CRDT

• CRDTs: The hard parts
• Automerge

---

🔬 Testing & Verification

• Simulations:
  • Matrix clock:
    • Cambridge Press slides
    • On reducing the complexity of matrix clocks
  • TigerBeetle VOPR
  • Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson
  • Jepsen
  • Nucleus
• TLA:
  • TLA+
  • Designing distributed systems with TLA+
• Testing Distributed Systems

---

🖌️ System Design

• Seven Sketches in Compositionality
• Clean Architecture
• Data Intensive Applications

---

🎛️ Scheduling

• Large-scale cluster management at Google with Borg
• Quincy: Fair Scheduling for Distributed Computing Clusters

---

⚙️ Production

• Amazon:
  • Dynamo: Amazon’s Highly Available Key-value Store
• Apache:
  • Cassandra - A Decentralized Structured Storage System
  • Kafka:
    • Confluent blog
    • Kafka: a Distributed Messaging System for Log Processing
    • Book
  • ZooKeeper: A Distributed Coordination Service for Distributed
• Apple:
• FoundationDB
• Google:
  • Large-scale Incremental Processing Using Distributed Transactions and Notifications (Percolator)
  • Spanner: Google’s Globally-Distributed Database
  • F1
  • Bigtable: A Distributed Storage System for Structured Data
  • The Chubby lock service for loosely-coupled distributed systems
• Yandex:
  • Распределенные транзакции в YDB / Семён Чечеринда (Яндекс)
  • YTsaurus
  • Просто о сложном как работает драйвер распределенной базы данных YDB / Алексей Мясников
• Facebook:
  • Virtual consensus in Delos
  • RocksDB
• Kademlia: A Peer-to-peer Information System Based on the XOR Metric
• ETCD Key-Value

---

📜 Related Lists

• Roman Lipovsky
• Heidi Howard

---

🔱 Concurrency

• Scalable Channel
• Nikita Koval — Synchronization primitives can be faster with SegmentQueueSynchronizer
• M-CAS:
  • A Practical Multi-Word Compare-and-Swap Operation
  • Efficient Multi-word Compare and Swap
• State Reduction Techniques:
  • Truly Stateless, Optimal Dynamic Partial Order Reduction
  • CDSCHECKER: Checking Concurrent Data Structures Written with C/C++ Atomics

---

📰 Blog

• Dmitry Vyukov
• Asymmetric Transfer by Lewiss Baker
• TigerBeetle

---

🌟 Conference

• Hydra
• Highload++
• Systems Distributed '24
• The Strange Loop

---

🕜 Queue