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

Chapter 2: Basic Abstractions

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