paxos:paxos

paxos
- paxos.pl -- A Replicated Data Store

paxos_get(+Key, +Value) is semidet

paxos_get(+Key, +Value, +Options) is semidet

unifies Term with the entry retrieved from the Paxon's ledger. If no such entry exists in the member's local cache, then the quorum is asked to provide a value, which is verified for consistency. An implied paxos_set/1 follows. This predicate succeeds if a term with the same functor and arity exists in the Paxon's ledger, and fails otherwise.

Options processed:

retry(Retries): is a non-negative integer specifying the number of retries that will be performed before a set is abandoned. Defaults to the setting max_gets (5).
timeout(+Seconds): Max time to wait for the forum to reply. Defaults to the setting response_timeout (0.020, 20ms).

Arguments:

Term

- is a compound. Any unbound variables are unified with those provided in the ledger entry.