Distributed Systems, System Design Concepts, Google Spanner, System Design Interview, Distributed System Design.
messages take a known bounded time to reach their recipients. The clocks on different nodes have a known bound on the skew that is never violated. This is a good model where everyone behaves nicely. An asynchronous model is one where: Nodes can take arbitrarily long to process requests. Messages