Distributed Systems, System Design Concepts, Google Spanner, System Design Interview, Distributed System Design.
has a known upper bound, and we can figure out which messages were lost. On the contrary, in an asynchronous network, a message can take arbitrarily long to reach its recipient. This means in an asynchronous model, timeouts are not a good detector of lost messages. A real network, such as the