- paxos_set(+Key, +Value) is semidet
- paxos_set(+Key, +Value, +Options) is semidet
- negotiates to have Key-Value recorded in the ledger for each of the
quorum's members. This predicate succeeds if the quorum unanimously
accepts the proposed term. If no such entry exists in the Paxon's
ledger, then one is silently created. paxos_set/1 will retry the
transaction several times (default: 20) before failing. Failure is
rare and is usually the result of a collision of two or more writers
writing to the same term at precisely the same time. On failure, it
may be useful to wait some random period of time, and then retry the
transaction. By specifying a retry count of zero, paxos_set/2 will
succeed iff the first ballot succeeds.
On success, paxos_set/1 will also broadcast the term
paxos_changed(Key,Value), to the quorum.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_sets(20). - 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 that may have unbound variables. - To be done
- - If the Value is already current, should we simply do nothing?