Enum TransactionMode 

pub enum TransactionMode {
    ReadOnly,
    WriteOnly,
    ReadWrite,
}

Transaction mode for SSI optimization

By classifying transactions at begin time, we can skip expensive SSI tracking for the majority of transactions:

Mode	SSI Read Tracking	SSI Write Tracking	Commit Overhead
ReadOnly	None	None	~10 ns
WriteOnly	None	Full	~30 ns
ReadWrite	Full	Full	~50 ns

Performance Analysis

For read-only transactions (typically 90% of workload):

Current:  T_txn = T_begin + N × (T_read + T_record) + T_commit
                = 100ns + N × (32ns + 50ns) + 50ns = 150ns + 82ns × N

ReadOnly: T_txn = T_begin_ro + N × T_read + T_commit_ro
                = 20ns + N × 32ns + 10ns = 30ns + 32ns × N

For N=100 reads: 8350ns → 3230ns (2.6× faster)

Variants

ReadOnly

Read-only transaction - skips ALL SSI tracking Cannot form rw-antidependency cycles (no writes to create outgoing edges) Safe to skip read_set, read_bloom, and commit validation entirely

WriteOnly

Write-only transaction - skips read tracking Cannot form incoming rw-edges (no reads from concurrent writers) Only needs write_set and write_bloom tracking

ReadWrite

Full read-write transaction (default) - complete SSI tracking May form both incoming and outgoing rw-edges Requires full validation at commit time

Implementations

impl TransactionMode

pub fn tracks_reads(&self) -> bool

Check if this mode requires read tracking

pub fn tracks_writes(&self) -> bool

Check if this mode requires write tracking

pub fn needs_ssi_validation(&self) -> bool

Check if commit needs SSI validation

Trait Implementations

impl Clone for TransactionMode

fn clone(&self) -> TransactionMode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TransactionMode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TransactionMode

fn default() -> TransactionMode

Returns the “default value” for a type.

impl PartialEq for TransactionMode

fn eq(&self, other: &TransactionMode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for TransactionMode

impl Eq for TransactionMode

impl StructuralPartialEq for TransactionMode