paxos:dead/1

Did you know ...

Search Documentation:

Predicate dead/1

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatria
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic Programming
- External collections▶
  - Meta level tutorials
- For packagers▶
  - Linux packages
COMMUNITY
COMMERCIAL
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

node(?NodeId)[private]

quorum(?Bitmap)[private]

dead(?Bitmap)[private]

failed(?Bitmap)[private]

failed(?NodeId, ?LastTried, ?Score)[private]

Track our identity as well as as the status of our peers in the network. NodeId is a small integer. Multiple NodeIds are combined in a Bitmap.

node/1 is our identity.
quorum/1 is the set of members of the quorum
failed/1 is the set of members for which the last message was not confirmed.
failed/3 tracks individual failed nodes. If accumulates failures until the node is marked dead.
dead/1 is the set of members that is considered dead.

node(-Node) is det[private]

Get the node ID for this paxos node.