dp

A pure Go implementation of Introduction to Reliable and Secure Distributed Programming abstractions.

Example Algorithms

• Job handler (interface and properties)
  • Synchronous job handler (implementation, algorithm)
  • Asynchronous job handler (implementation, algorithm)
• Job transformation and processing abstraction (interface and properties)
  • Job-Transformation by buffering (implementation, algorithm)

List of Algorithms

Link

• Perfect point-to-point link (interface and properties)
  • TCP based perfect peer-to-peer link (implementation)

Failure Detector

• Perfect failure detector (interface and properties)
• Eventually perfect failure detector (interface and properties)

Broadcast

• Best-Effort broadcast (interface and properties)
  • Basic Broadcast (implementation, algorithm)

Consensus

• Regular Consensus (interface and properties)
• Uniform Consensus (interface and properties)
  • Single Decree Paxos Proposer (implementation, algorithm)
  • Single Decree Paxos Acceptor (implementation, algorithm)

Notes

WARNING: The API is not stable yet and can change without notice.