Distributed algorithm: Difference between revisions

Content deleted Content added
Jaksa (talk | contribs)
m formatting
Jaksa (talk | contribs)
Reliable Broadcast: defined reliable broadcast
Line 23:
 
=== Reliable Broadcast ===
 
Causal Order/Total Order
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 ===