Week 10 - Reliable Broadcast Flashcards
(8 cards)
State the 3 properties of best effort broadcast
Every message broadcast by i is eventually delivered to j
No message is delivered more than once
No message is delivered unless it was sent
State the 2 things best effort broadcast requires
Perfect links
Perfect failure detectors
State the 4 properties of reliable broadcast
The 3 properties of best effort broadcast
For any message m, if a correct process delivers m, every correct process delivers m
State the 3 things reliable broadcast requires
Best effort broadcast
Perfect links
Perfect failure detection
State the 4 properties of reliable broadcast
The 3 properties of best effort broadcast
For any message m, if any process delivers m, every correct process delivers m
State the 5 properties of Reliable FIFO broadcast
The four reliable broadcast properties
If some process i broadcasts m1 before m2, for any other process, the process does not deliver m2 unless it has delivered m1
State the 3 properties of casual order
FIFO order
Some process delivers m1 and then broadcasts m2 (local order)
Transitivity
State the 5 properties of casual order broadcast
The 4 reliable order properties
Meets the casual order property