Distributed Systems

• Consensus Algorithm
• Consistency Models: https://jepsen.io/consistency/models

• Spanner: Google's Globally Distributed Database

  Introduces TrueTime that works at the limit of CAP theorem. Providing <7ms clock synchronization at planet scale. Spanner provides CP. And the availability is of 5 nines. Which effectively make it seems like there no tradeoff among CAP.