Enum ShadowStep 

pub enum ShadowStep {
    Begin,
    Fill {
        after: Option<String>,
    },
    Swap {
        build_start: String,
        epoch: u64,
    },
}

One step of a chunked rebuild, as sent to the actor.

Three commands rather than one because each must be its own turn — the whole point is that the actor returns to its select! between chunks, so a high-priority assertion can jump ahead. A loop inside one command would produce the same small transactions inside one hold and buy nothing, which is the same trap Database::archive_windowed avoids.

Variants

Begin

Drop any orphan shadow, create a fresh one from the declared DDL.

Fill

Project the next [SOURCES_PER_CHUNK] sources into the shadow.

Fields

after: Option<String>

Swap

Catch up on writes since build_start, then swap. One transaction.

epoch is the archive count ShadowOutcome::Started reported. It travels out to the caller and back rather than being remembered by the actor: the actor is stateless per command by construction, and a single remembered slot would be shared — and silently corrupted — by two rebuilds running at once.

Fields

build_start: String

epoch: u64

Trait Implementations

impl Clone for ShadowStep

fn clone(&self) -> ShadowStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShadowStep

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

Formats the value using the given formatter.

impl Eq for ShadowStep

impl PartialEq for ShadowStep

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ShadowStep