Distributed Systems for practitioners
Last updated on 2020-01-07
About the Book
Distributed systems are everywhere nowadays, from the chat applications we use to communicate with our friends to the online stores we use for our shopping. However, distributed systems are by nature complicated. In order to design and build a distributed system that will work properly, one has to understand a lot of different concepts and nuances and the literature of distributed systems can be quite big and chaotic at times.
This book makes an effort to collate the basic principles, algorithms and protocols in the field of distributed systems. It introduces the basic problems that are inherent in distributed systems, the main approaches to tackle them and any associated complications one needs to keep in mind. You will have the chance to get an overview of the seminal papers in the field, while also understanding how the associated algorithms and protocols can be used in real life. As implied by the title, the goal of this book is to maintain a practical perspective, by explaining algorithms in the simplest terms possible and demonstrating how implementations of them can be used in real systems.
Who is this book for
This book is aimed at software engineers that have some experience in building software systems and have no or some experience in distributed systems. It assumes no knowledge around concepts and algorithms for distributed systems. This book attempts to gradually introduce the terms and explain the basic algorithms in the simplest way possible, providing diagrams and examples. However, this book does not aim to make a full analysis of every single algorithm and provides the necessary references to the original papers, so that the reader can study in more depth the parts of interest.
Future changes
Following the lean publishing philosophy, this book is a work in progress and new content might be added from time to time, according to the needs and the feedback of the readers. As new content is added, the price of the book might go up, but whoever has already purchased the book will get the updates for free through Leanpub. For more details on how this works, follow the resources below:
About the Author
Table of Contents
Introduction
What is a distributed system and why we need it
The fallacies of distributed computing
Why distributed systems are hard
Correctness in distributed systems
System models
The tale of exactly-once semantics
Failure in the world of distributed systems
Stateful and Stateless systems
Basic concepts and theorems
Partitioning
Algorithms for horizontal partitioning
Replication
Single-master replication
Multi-master replication
Quorums in distributed systems
Safety guarantees in distributed systems
ACID transactions
The CAP Theorem
Consistency models
Isolation Levels
Consistency and Isolation - Differences and Similarities
Why all the formalities
Distributed Transactions
What is a distributed transaction
Achieving Isolation
2-phase locking
Snapshot Isolation via MVCC
Achieving atomicity
2-phase commit (2PC)
3-phase commit (3PC)
A quorum-based commit protocol
How it all fits together
Long-lived transactions & Sagas
Consensus
Defining consensus
Some use-cases of consensus
FLP impossibility
The Paxos algorithm
Intricacies of Paxos
Paxos in real-life
Replicated state machine via consensus
Distributed transactions via consensus
Raft
Standing on the shoulders of giants
Time
What is different in a distributed system
A practical perspective
A theoretical perspective
Logical clocks
Order
Total and partial ordering
The concept of causality
Lamport clocks
Vector clocks
Version vectors & Dotted version vectors
Distributed snapshots
Physical & Logical time: closing thoughts
Case studies
Distributed file systems (HDFS/GFS)
Distributed coordination service (Zookeeper/Chubby/etcd)
Distributed datastores
BigTable/HBase
Cassandra
Spanner
FaunaDB
Distributed messaging system (Kafka)
Distributed cluster management (Kubernetes)
Distributed ledger (Corda)
Distributed data processing systems
MapReduce
Apache Spark
Apache Flink
Causes Supported
Code Club
https://www.codeclub.org.ukA nationwide network of volunteer-led after school coding clubs for children aged 9-11.
Authors have earned$8,428,087writing, publishing and selling on Leanpub,
earning 80% royalties while saving up to 25 million pounds of CO2 and up to 46,000 trees.
Learn more about writing on Leanpub
The Leanpub 45-day 100% Happiness Guarantee
Within 45 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
See full terms
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers), EPUB (for phones and tablets) and MOBI (for Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
