choam-docs
0.4-716431f
API
Generated with
choam-docs/dev.tauri.choam/dev.tauri.choam.internal.mcas/Mcas/ThreadContext

ThreadContext

dev.tauri.choam.internal.mcas.Mcas.ThreadContext
sealed trait ThreadContext

Attributes

Source
Mcas.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def impl: Mcas

The Mcas instance from which this context was retrieved

The Mcas instance from which this context was retrieved

Attributes

Source
Mcas.scala
def random: ThreadLocalRandom

Attributes

Returns

a ThreadLocalRandom valid for the current thread

Source
Mcas.scala
def readDirect[A](ref: MemoryLocation[A]): A

Attributes

Returns

the current value of ref, as if read by readIntoHwd(ref).nv.

Source
Mcas.scala
def readIntoHwd[A](ref: MemoryLocation[A]): LogEntry[A]

Attributes

Returns

the current value and version of ref in a word descriptor object. The value and version are guaranteed to be consistent with each other. The descriptor's .ov and .nv are guaranteed to be the same.

Source
Mcas.scala
def refIdGen: RefIdGen

Attributes

Returns

the RefIdGen of the current thread (or a thread-safe one)

Source
Mcas.scala
def start(): Descriptor

Reads the global version, and Starts building a descriptor (its .validTs will be the current global version).

Reads the global version, and Starts building a descriptor (its .validTs will be the current global version).

Attributes

Source
Mcas.scala

Concrete methods

final def addCasFromInitial[A](desc: Descriptor, ref: MemoryLocation[A], ov: A, nv: A): Descriptor

Attributes

Source
Mcas.scala
final def addCasWithVersion[A](desc: Descriptor, ref: MemoryLocation[A], ov: A, nv: A, version: Long): Descriptor

Attributes

Source
Mcas.scala
final def readMaybeFromLog[A](ref: MemoryLocation[A], log: Descriptor): Option[(A, Descriptor)]

Utility to first try to read from the log, and only from the ref if not found

Utility to first try to read from the log, and only from the ref if not found

Attributes

Source
Mcas.scala
final def singleCasDirect[A](ref: MemoryLocation[A], ov: A, nv: A): Boolean

Tries to perform a "bare" 1-CAS, without changing the global version.

Tries to perform a "bare" 1-CAS, without changing the global version. This breaks opacity guarantees! It may change the value of a ref without changing its version!

Attributes

Source
Mcas.scala
final def snapshot(desc: Descriptor): Descriptor

Attributes

Returns

a snapshot of desc.

Source
Mcas.scala
final def tryPerform(desc: Descriptor): Long

Tries to perform the ops in desc, with adding a version-CAS (if not read-only).

Tries to perform the ops in desc, with adding a version-CAS (if not read-only).

Attributes

Returns

either EmcasStatus.Successful (if successful); EmcasStatus.FailedVal (if failed due to an expected value not matching); or the current global version (if failed due to the version being newer than desc.validTs).

Source
Mcas.scala
final def tryPerform(desc: Descriptor, optimism: Long): Long

Attributes

Source
Mcas.scala
final def tryPerformOk(desc: Descriptor): Boolean

Attributes

Source
Mcas.scala
final def tryPerformOk(desc: Descriptor, optimism: Long): Boolean

Like tryPerform, but returns whether it was successful

Like tryPerform, but returns whether it was successful

Attributes

Source
Mcas.scala
final def tryPerformSingleCas[A](ref: MemoryLocation[A], ov: A, nv: A): Boolean

Tries to perform a 1-CAS, but also handles versions.

Tries to perform a 1-CAS, but also handles versions. Equivalent to creating a descriptor containing a single op, and calling tryPerformOk on it (but may be more efficient).

Attributes

Source
Mcas.scala
Generated with