• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

/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
ClioPatria (version V3.1.1-51-ga0b30a5)