rsdp

This code is alpha status. The current implementations are not necessarily functional or correct.

Implementations of modules from Introduction to Reliable and Secure Distributed Programming.

List of Algorithms

Chapter 1: Introduction

• 1.1 Synchronous Job Handler
• 1.2 Asynchronous Job Handler
• 1.3 Job-Transformation by Buffering

Chapter 2: Basic Abstractions

• 2.1 Retransmit Forever
• 2.2 Eliminate Duplicates
• 2.3 Log Delivered
• 2.4 Authenticate and Filter
• 2.5 Exclude on Timeout
• 2.6 Monarchical Leader Election
• 2.7 Increasing Timeout
• 2.8 Monarchical Eventual Leader Detection
• 2.9 Elect Lower Epoch
• 2.10 Rotating Byzantine Leader Detection
• 2.11 Sequence Number

Chapter 3: Reliable Broadcast

• 3.1 Basic Broadcast
• 3.2 Lazy Reliable Broadcast
• 3.3 Eager Reliable Broadcast
• 3.4 All-Ack Uniform Reliable Broadcast
• 3.5 Majority-Ack Uniform Reliable Broadcast
• 3.6 Basic Stubborn Broadcast
• 3.7 Logged Basic Broadcast
• 3.8 Logged Majority-Ack Uniform Reliable Broadcast
• 3.9 Eager Probabilistic Broadcast
• 3.10 Lazy Probabilistic Broadcast (part 1, data dissemination)
• 3.11 Lazy Probabilistic Broadcast (part2, recovery)
• 3.12 Broadcast with Sequence Number
• 3.13 No-Waiting Causal Broadcast
• 3.14 Garbage-Collection of Causal Past (extends Algorithm 3.13)
• 3.15 Waiting Causal Broadcast
• 3.16 Authenticated Echo Broadcast
• 3.17 Signed Echo Broadcast
• 3.18 Authenticated Double-Echo Broadcast
• 3.19 Byzantine Consistent Channel
• 3.20 Byzantine Reliable Channel
• 3.21 Simple Optimization of Lazy Reliable Broadcast
• 3.22 Ideal Uniform Reliable Broadcast
• 3.23 Logged Eager Reliable Broadcast
• 3.24 No-Waiting Causal Broadcast using FIFO Broadcast