Some More Things to Discover
Explore advanced topics in distributed systems including practical examples like CockroachDB, common issues such as gray and partial failures, and the importance of formal verification methods like TLA+. Understand how these concepts impact system reliability and design for better implementation and operation.
We'll cover the following...
At the risk of being unfair to other systems and material out there, we would like to mention CockroachDB as one system that has a lot of public material demonstrating how they have used theoretical concepts in practice. Some concrete examples are implementation of pipelined consensus and a parallelized version of two-phase commit that required a single round-trip instead of two before acknowledging a commit. Some resources that contain a lot of practical information to build and operate distributed systems are the Amazon Builders Library and papers by ...