Struct VisibilityDispatcher 

pub struct VisibilityDispatcher;

SIMD-accelerated batch visibility checking for MVCC snapshots.

Checks which rows are visible to a given snapshot timestamp. A row is visible if: commit_ts != 0 && commit_ts < snapshot_ts Or if the row belongs to the current transaction (txn_id match).

Implementations

impl VisibilityDispatcher

pub fn check_batch( commit_timestamps: &[u64], snapshot_ts: u64, visible_mask: &mut [u8], )

Check visibility for a batch of rows based on commit timestamps.

Arguments

• commit_timestamps - Array of commit timestamps (0 = uncommitted)
• snapshot_ts - The snapshot timestamp for visibility check
• visible_mask - Output: 1 if visible, 0 if not visible

Panics

Panics if visible_mask length doesn’t match commit_timestamps length.

pub fn check_batch_with_txn( commit_timestamps: &[u64], txn_ids: &[u64], snapshot_ts: u64, current_txn_id: u64, visible_mask: &mut [u8], )

Check visibility with transaction ID awareness (for self-visibility).

A row is visible if:

• (commit_ts != 0 && commit_ts < snapshot_ts), OR
• txn_id == current_txn_id (self-visibility)

Arguments

• commit_timestamps - Array of commit timestamps (0 = uncommitted)
• txn_ids - Array of transaction IDs that wrote each row
• snapshot_ts - The snapshot timestamp for visibility check
• current_txn_id - The current transaction’s ID
• visible_mask - Output: 1 if visible, 0 if not visible