consensus

Documentation

Overview

Package consensus implements consensus abstraction.

Package consensus implements consensus abstraction.

Index

• type Regular
• type Uniform

Types

type Regular

type Regular interface {
	Propose(v interface{})      // Proposes value v for consensus
	Decide(func(v interface{})) // Outputs a decided value v of consensus
}

Regular defines the interface and properties of (regular) consensus.

Properties:

C1: Termination:
	- Every correct process eventually decides some value.
C2: Validity:
	- If a process decides v, then v was proposed by some process.
C3: Integrity:
	- No process decides twice.
C4: Agreement:
	- No two correct processes decide differently.

type Uniform

type Uniform interface {
	Regular
}

Uniform defines the interface and properties of uniform consensus.

Properties:

UC1-UC3: Same as properties C1-C3 in (regular) consensus.
UC4: Uniform agreement:
	- No two processes decide differently.