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

• 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)

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

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

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

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

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