- 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.