Enum InputStateBatchCasImplementationProfile 

pub enum InputStateBatchCasImplementationProfile {
    Unsupported,
    MultiWriter,
    ExclusiveWriterFenced,
}

Backend realization profile for logical exact-batch input-state CAS.

Variants

Unsupported

The store does not provide the exact atomic batch contract.

MultiWriter

Per-row comparison and the complete replacement set commit in one durable multi-writer transaction.

ExclusiveWriterFenced

A whole-batch backend write is safe only while every write validates a durable exclusive-writer fence epoch.

A process-local mutex alone never satisfies this profile. The epoch token must be conditionally checked by the backing store, the complete batch must persist in one conditional write, and publication must wait for that durable success. A crash leaves the receipt Pending for cold deterministic retry.

Trait Implementations

impl Clone for InputStateBatchCasImplementationProfile

fn clone(&self) -> InputStateBatchCasImplementationProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for InputStateBatchCasImplementationProfile

impl Debug for InputStateBatchCasImplementationProfile

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

Formats the value using the given formatter.

impl Eq for InputStateBatchCasImplementationProfile

impl PartialEq for InputStateBatchCasImplementationProfile

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InputStateBatchCasImplementationProfile