Struct StmLog 

pub struct StmLog { /* private fields */ }

A Software Transactional Memory (STM) log.

Records reads and writes during a transaction for conflict detection.

Implementations

impl StmLog

pub fn new() -> Self

Create an empty STM log.

pub fn record_read(&mut self, cell_id: usize, value: i64)

Record a read.

pub fn record_write(&mut self, cell_id: usize, value: i64)

Record a write.

pub fn abort(&mut self)

Abort the transaction.

pub fn is_aborted(&self) -> bool

Check if aborted.

pub fn conflicts_with(&self, other: &StmLog) -> bool

Check for write-write conflicts with another log.

pub fn read_count(&self) -> usize

Number of reads recorded.

pub fn write_count(&self) -> usize

Number of writes recorded.

Trait Implementations

impl Default for StmLog

fn default() -> Self

Returns the “default value” for a type.