OptimisticFailureCause

The RollbackCause for a NestingLevel 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:

the STM detected that the value returned by a previous read in this nesting level is no longer valid;
a cyclic dependency has occurred and this nesting level must be rolled back to avoid deadlock;
a transaction with a higher priority wanted to write to a Ref written by this transaction;
the STM decided to switch execution strategies for this atomic block; or
no apparent reason (*).

(*) - 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.

category: an STM-specific label for the reason behind this optimistic failure. The set of possible categories is bounded.
trigger: the specific object that led to the optimistic failure, if it is available, otherwise None.

Linear Supertypes

Serializable, java.io.Serializable, Product, Equals, TransientRollbackCause, RollbackCause, AnyRef, Any

Instance Constructors

new OptimisticFailureCause(category: Symbol, trigger: Option[Any])

category
an STM-specific label for the reason behind this optimistic failure. The set of possible categories is bounded.
trigger
the specific object that led to the optimistic failure, if it is available, otherwise None.

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
val category: Symbol

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.
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val trigger: Option[Any]

the specific object that led to the optimistic failure, if it is available, otherwise None.
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws()

case class OptimisticFailureCause(category: Symbol, trigger: Option[Any]) extends TransientRollbackCause with Product with Serializable

Instance Constructors

new OptimisticFailureCause(category: Symbol, trigger: Option[Any])

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

val category: Symbol

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

val trigger: Option[Any]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from java.io.Serializable

Inherited from Product

Inherited from Equals

Inherited from TransientRollbackCause

Inherited from RollbackCause

Inherited from AnyRef

Inherited from Any

Ungrouped