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