fd

Documentation

Overview

Package fd implements failure detector abstraction.

Package fd implements failure detector abstraction.

Index

• type EventuallyPerfect
• type Perfect

Types

type EventuallyPerfect

type EventuallyPerfect interface {
	Suspect(func(link.Peer)) // Notifies that process p is suspected to have crashed
	Restore(func(link.Peer)) // Notifies that process p is not suspected anymore
}

EventuallyPerfect defines the interface and properties of the eventually perfect failure detector.

Properties:

EPFD1: Strong completeness
	- Eventually, every process that crashes is permanently suspected by
	  every correct process.
EPFD2: Eventual strong accuracy:
	- Eventually, no correct process is suspected by any correct process.

type Perfect

type Perfect interface {
	Crash(func(link.Peer)) // Detects that process p has crashed
}

Perfect defines the interface and properties of the perfect failure detector.

Properties:

PFD1: Strong completeness
	- Eventually, every process that crashes is permanently detected by
	  every correct process.
PFD2: Strong accuracy:
	- If a process p is detected by any process, then p has crashed.