Consider a synchronous model in which • there is a global clock CLOCK accessible to all processes, • δ is an upper bound (known by the processes) on message transfer delays, • processing times have...

Consider a synchronous model in which

• there is a global clock CLOCK accessible to all processes,

• δ is an upper bound (known by the processes) on message transfer delays,

• processing times have zero duration,

• up to t

Design a uniform reliable broadcast algorithm which, in addition to the validity, integrity, and

termination properties, satisfies the following time-related property:

• Timeliness delivery. There is a known constant Δ such that if the URB-broadcast of an

application message m is initiated at real-time τ , no process urb-delivers m after real-time

τ + Δ.

Solution in [207]