Enum CheckpointState 

pub enum CheckpointState {
    PrepareCheckpoint,
    AcquireLock,
    BuildLocalSchemaView,
    CollectTableRows,
    CollectIndexRows,
    BeginPagerTxn,
    WriteRow {
        write_set_index: usize,
        requires_seek: bool,
    },
    WriteRowStateMachine {
        write_set_index: usize,
    },
    DeleteRowStateMachine {
        write_set_index: usize,
    },
    WriteIndexRow {
        index_write_set_index: usize,
        requires_seek: bool,
    },
    WriteIndexRowStateMachine {
        index_write_set_index: usize,
    },
    DeleteIndexRowStateMachine {
        index_write_set_index: usize,
    },
    CompactSequences,
    CommitPagerTxn,
    CheckpointWal,
    SyncDbFile,
    TruncateLogicalLog,
    FsyncLogicalLog,
    TruncateWal,
    GcTableRows {
        next_index: usize,
        lwm: u64,
    },
    GcIndexRows {
        next_index: usize,
        lwm: u64,
    },
    Finalize,
}

Variants

PrepareCheckpoint

AcquireLock

BuildLocalSchemaView

CollectTableRows

CollectIndexRows

BeginPagerTxn

WriteRow

Fields

write_set_index: usize

requires_seek: bool

WriteRowStateMachine

Fields

write_set_index: usize

DeleteRowStateMachine

Fields

write_set_index: usize

WriteIndexRow

Fields

index_write_set_index: usize

requires_seek: bool

WriteIndexRowStateMachine

Fields

index_write_set_index: usize

DeleteIndexRowStateMachine

Fields

index_write_set_index: usize

CompactSequences

Compact each non-CYCLE sequence backing table down to a single watermark row. CYCLE seqs are skipped — they manage wrap correctness via inline compaction in the nextval bytecode and already stay at one row in steady state. Non-CYCLE seqs grow monotonically (one row per nextval) since inline compaction was removed from the hot path to eliminate shared-row WW conflicts; checkpoint reclaims the historical rows here, via SeqCompactDriver which drives BTreeCursor ops with normal IOResult propagation (no io.block / wait_for_completion).

CommitPagerTxn

CheckpointWal

SyncDbFile

Fsync the database file after checkpoint, before truncating WAL. This ensures durability: if we crash after WAL truncation but before DB fsync, the data would be lost.

TruncateLogicalLog

FsyncLogicalLog

TruncateWal

Truncate the WAL file after DB file and logical-log cleanup are safely durable.

GcTableRows

Fields

next_index: usize

lwm: u64

GcIndexRows

Fields

next_index: usize

lwm: u64

Finalize

Trait Implementations

impl Clone for CheckpointState

fn clone(&self) -> CheckpointState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CheckpointState

impl Debug for CheckpointState

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

Formats the value using the given formatter.

impl Eq for CheckpointState

impl PartialEq for CheckpointState

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CheckpointState