Skip to main content

Eventually Synchronous Model

Definition

An eventually synchronous model describes a distributed system that behaves asynchronously for a period but eventually achieves synchronized operation. In this computational model, network communication delays can be unbounded for some duration, meaning messages may take an arbitrary amount of time to arrive. However, after an unknown but finite global stabilization time, the network guarantees that messages will be delivered within a known maximum delay. This model is relevant for understanding the fault tolerance and liveness properties of certain distributed systems, including some blockchain protocols.