Content deleted Content added
m formatting |
→Reliable Broadcast: defined reliable broadcast |
||
Line 23:
=== Reliable Broadcast ===
Reliable broadcast is a communication primitive in distributed systems. A reliable broadcast is defined by the following properties:
* '''validity''' - if a correct process sends a message, then some correct process will eventually deliver that message
* '''agreement''' - if a correct process delivers a message, then all correct processes eventually deliver that message
* '''integrity''' - every correct process delivers the same message at most once and only if that message has been sent by a process
A reliable broadcast can have sequential, causal or total ordering.
=== Replication ===
|