Struct VersionedPointer 

pub struct VersionedPointer<T> { /* private fields */ }

Pointer + monotonic u64 version. Used for snapshot-isolation reads: visible at a query snapshot when self.version <= snapshot.

Implementations

impl<T> VersionedPointer<T>

pub const SIGNATURE: AxisMask

Direction signature of VersionedPointer<T>. Engages the K_version axis (u64 version counter stored at slot for ABA-safe CAS and MVCC visibility checks).

pub const fn new(target: Arc<T>, version: u64) -> Self

pub const fn version(&self) -> u64

pub fn target(&self) -> &Arc<T>

pub const fn visible_at(&self, snapshot_version: u64) -> bool

True when this pointer is observable at snapshot_version. Standard MVCC visibility: visible if its version is at or before the snapshot.

pub fn read_at(&self, snapshot_version: u64) -> Option<&T>

Return the target if it is visible at snapshot_version.

pub fn replace(&mut self, new_target: Arc<T>, new_version: u64) -> u64

Replace the target with a new version. Returns the previous version. Panics if new_version <= self.version because MVCC requires monotonic version growth.

Trait Implementations

impl<T: Clone> Clone for VersionedPointer<T>

fn clone(&self) -> VersionedPointer<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for VersionedPointer<T>

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

Formats the value using the given formatter.

impl<T> PartialEq for VersionedPointer<T>

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

Equality operator ==.

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

Inequality operator !=.

impl<T> PartialOrd for VersionedPointer<T>

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.