Struct MwCas

pub struct MwCas<'g> { /* private fields */ }

Multi-word CAS structure.

MwCas contains multi-word CAS state, including pointers which should be changed, original and new pointer values. MwCas provides compare and exchange operations to register CAS operations on pointers. When all compare and exchange operations registered, caller should execute exec method to actually perform multi-word CAS.

Implementations

impl<'g> MwCas<'g>

pub fn new() -> Self

Create new MwCAS.

pub fn compare_exchange<T>( &mut self, target: &'g HeapPointer<T>, orig_val: &'g T, new_val: T, )

Add compare-exchange operation to MwCAS for heap allocated data.

• target points to heap allocated data which should be replaced by new value.
• orig_val is value is from target pointer at some point in time, using HeapPointer.read() method.
• new_val will be installed to target on MwCas success. If MwCas will fail, then new_val will be dropped.

pub fn compare_exchange_u64( &mut self, target: &'g U64Pointer, orig_val: u64, new_val: u64, )

Add compare-exchange operation to MwCAS for simple u64.

• target struct contains u64 which should be replaced by MwCas.
• orig_val is expected value of target during CAS.
• new_val will be installed to target on MwCas success.

pub fn exec(self, guard: &Guard) -> bool

Execute all registered CAS operations and return result status.

guard is used for reclamation of memory used by previous values which were replaced during MwCas by new one.

Trait Implementations

impl<'g> Default for MwCas<'g>

fn default() -> Self

Returns the “default value” for a type.

impl<'g> Drop for MwCas<'g>

fn drop(&mut self)

Executes the destructor for this type.