Implementations of algorithms from "Introduction to Reliable and Secure Distributed Programming"
ABSTRACTION | IMPLEMENTING ALGORITHM |
---|---|
(N,N)-Atomic Register | Read-Impose Write-Consult-Majority |
Uniform Consensus | Leader-Driven Consensus |
Epoch Consensus | Read/Write Epoch Consensus |
Epoch-Change | Leader-Based Epoch-Change |
Eventual Leader Detector | Monarchical Eventual Leader Detection |
Eventually Perfect Failure Detector | Increasing Timeout |
Best-Effort Broadcast | Basic Broadcast |
Perfect Link | TCP |
Uni assignment for Algorithms, Models, and Concepts in Distributed Systems.