Skip to main content

LowPriCommand

Enum LowPriCommand 

Source
pub enum LowPriCommand {
    WriteConceptsChunk {
        chunk: Vec<ConceptUpsert>,
        responder: Sender<Result<ChunkOutcome>>,
    },
    WriteAnalyticsChunk {
        chunk: Vec<Annotation>,
        responder: Sender<Result<ChunkOutcome>>,
    },
    UpsertEmbeddingChunk {
        model: ModelName,
        chunk: Vec<(String, Vec<f32>)>,
        responder: Sender<Result<ChunkOutcome>>,
    },
    BulkImportChunk {
        chunk: Vec<EdgeAssertion>,
        responder: Sender<Result<ChunkOutcome>>,
    },
    Archive {
        cutoff: String,
        archive_path: PathBuf,
        responder: Sender<Result<ArchiveReport>>,
    },
    Rehydrate {
        ids: Vec<String>,
        archive_path: PathBuf,
        responder: Sender<Result<RehydrateReport>>,
    },
    RebuildFts {
        responder: Sender<Result<()>>,
    },
    Analyze {
        incremental: bool,
        responder: Sender<Result<()>>,
    },
    ShadowRebuild {
        step: ShadowStep,
        responder: Sender<Result<ShadowOutcome>>,
    },
}
Expand description

Commands sent to the Write Actor on the low-priority channel (background work).

Variants§

§

WriteConceptsChunk

One chunk of concepts — a ledger write, logged and versioned.

Fields

§

WriteAnalyticsChunk

One chunk of derived annotations — off-ledger, no log trigger (D-041).

The pair is named apart deliberately: this variant was WriteAnalyticsChunk beside a WriteAnnotationsChunk that carried concepts, which is the crossing D-075 undid.

Fields

§

UpsertEmbeddingChunk

One chunk of vectors for one model (§5.9, D-048).

Low priority: embedding is bulk derived work and must never preempt an interactive assertion.

Fields

§chunk: Vec<(String, Vec<f32>)>
§

BulkImportChunk

Fields

§

Archive

Fields

§cutoff: String
§archive_path: PathBuf
§

Rehydrate

Move named concepts back out of the cold file (0.9.0, C3).

Low priority for the same reason Archive is: it is bulk physical movement with no latency bound, and it holds the write lock for its whole transaction.

Fields

§archive_path: PathBuf
§

RebuildFts

Reconstruct the FTS index from concepts (§5.9, D-036, D-051).

Low priority: it is maintenance on a derivative table, and a search index that is a few seconds stale is a smaller cost than an interactive write that waits behind a full reindex.

Fields

§responder: Sender<Result<()>>
§

Analyze

Refresh or top up the query planner’s statistics (0.12.4, D-149).

Low priority, and not a close call: statistics being a few seconds stale costs a plan that was already the plan a moment ago, where preempting an interactive assertion costs a caller their latency bound. It is a write — it writes sqlite_stat1 — so it takes the write lock like anything else, and PRAGMA analysis_limit in configure is what keeps the hold a function of the index count instead of the table size.

Fields

§incremental: bool

true runs PRAGMA optimize, which re-analyses only what SQLite believes has gone stale; false runs ANALYZE unconditionally.

§responder: Sender<Result<()>>
§

ShadowRebuild

One step of a chunked shadow rebuild (§5.8, T1.2, D-082).

Low priority, and one command per step rather than one per rebuild: the whole value of building beside the live table is that the actor returns here between chunks. See Database::rebuild_current_chunked.

Fields

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoRequest<T> for T

Source§

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more