Struct DurabilityContract 

pub struct DurabilityContract {
    pub level: DurabilityLevel,
    pub archive: WalArchiveConfig,
    pub checkpoint: CheckpointConfig,
    /* private fields */
}

Durability contract that enforces ARIES invariants

Fields

level: DurabilityLevel

Configured durability level

archive: WalArchiveConfig

WAL archive configuration

checkpoint: CheckpointConfig

Checkpoint configuration

Implementations

impl DurabilityContract

pub fn new(level: DurabilityLevel) -> Result<Self, DurabilityContractError>

Create a new durability contract with safe defaults

pub fn production() -> Self

Create with production defaults

pub fn with_archive(self, config: WalArchiveConfig) -> Self

Enable WAL archiving

pub fn with_checkpoint(self, config: CheckpointConfig) -> Self

Configure checkpointing

pub fn validate_page_flush( &self, page_lsn: u64, flushed_lsn: u64, ) -> Result<(), DurabilityContractError>

Validate that a page flush respects WAL protocol

ARIES invariant: Page cannot be flushed until its log record is durable

pub fn validate_commit( &self, commit_lsn: u64, flushed_lsn: u64, ) -> Result<(), DurabilityContractError>

Validate that a commit respects force-on-commit

ARIES invariant: Commit record must be durable before returning

pub fn max_data_loss_window(&self) -> Option<Duration>

Get maximum data loss window based on durability level

pub fn is_production_ready(&self) -> bool

Check if this contract is suitable for production

pub fn describe_guarantees(&self) -> String

Generate a human-readable description of guarantees

Trait Implementations

impl Default for DurabilityContract

fn default() -> Self

Returns the “default value” for a type.