Module Kcas.Retry

Exception that may be raised to signal that the operation, such as Loc.get_as, Loc.update, or Xt.commit, should be retried, at some point in the future, after the examined shared memory location or locations have changed.

NOTE: It is important to understand that "after" may effectively mean "immediately", because it may be the case that the examined shared memory locations have already changed.

later () is equivalent to raise Later.

unless condition is equivalent to if not condition then later ().

Exception that may be raised to signal that the transaction log is no longer valid, e.g. because shared memory locations have been changed outside of the transaction, and the transaction should be retried.

invalid () is equivalent to raise Invalid.