/usr/lib/swipl/library/ext/paxos/paxos.pl
All Application Manual Name SummaryHelp

  • paxos
    • paxos.pl -- A Replicated Data Store
      • paxos_initialize/1
      • paxos_property/1
      • paxos_set/1
      • paxos_set/2
      • paxos_set/3
      • paxos_quorum_ask/4
      • paxos_get/1
      • paxos_get/2
      • paxos_get/3
      • paxos_replicate_key/3
      • paxos_on_change/2
      • paxos_on_change/3
      • paxos_ledger_hook/5
 paxos_initialize(+Options) is det
Initialize this Prolog process as a paxos node. The initialization requires an initialized and configured TIPC, UDP or other broadcast protocol. Calling this initialization may be omitted, in which case the equivant of paxos_initialize([]) is executed lazily as part of the first paxos operation. Defined options:
node(?NodeID)
When instantiated, this node rejoins the network with the given node id. A fixed node idea should be used if the node is configured for persistency and causes the new node to receive updates for keys that have been created or modified since the node left the network. If NodeID is a variable it is unified with the discovered NodeID.

NodeID must be a small non-negative integer as these identifiers are used in bitmaps.