an STM-specific label for the reason behind this optimistic failure.
an STM-specific label for the reason behind this optimistic failure. The set of possible categories is bounded.
the specific object that led to the optimistic failure,
if it is available, otherwise None
.
The
RollbackCause
for aNestingLevel
whose optimistic execution was invalid, and that should be retried. The specific situations in which an optimistic failure can occur are specific to the STM algorithm, but may include:Ref
written by this transaction;(*) - Some STMs perform validation, conflict detection and deadlock cycle breaking using algorithms that are conservative approximations. This means that any particular attempt to execute an atomic block might fail spuriously.
an STM-specific label for the reason behind this optimistic failure. The set of possible categories is bounded.
the specific object that led to the optimistic failure, if it is available, otherwise
None
.