Content deleted Content added
|
|
|
Reliable broadcast is a communication primitive in distributed systems. A reliable broadcast is defined by the following properties:
* '''validityValidity''' - if a correct process sends a message, then some correct process will eventually deliver that message
* '''agreementAgreement''' - if a correct process delivers a message, then all correct processes eventually deliver that message
* '''integrityIntegrity''' - 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.
|
