/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_quorum_ask(?Template, +Message, -Result, +Options)
Ask the paxos forum for their opinion. This predicate is not really part of the paxos protocol, but reuses notably the quorum maintenance mechanism of this library for asking questions to the quorum (cluster). Message is the message to be asked. Result is a list of copies of Template from the quorum. Options:
timeout(+Seconds)
Max time to wait for a reply. Default is the setting response_timeout.
node(?Node)
Can be used to include the replying node into Template.
quorum(?Quorum)
Set/query the interviewed quorum as a bitmask