Skip to main content

KeyValueDiskANNPruner

Struct KeyValueDiskANNPruner 

Source
pub struct KeyValueDiskANNPruner { /* private fields */ }
Expand description

Complete origin evidence retained from an actual immutable provider source. Verification occurs once per handle; bounded pruning pages reuse point lookup without rescanning the artifact or retaining build input.

Implementations§

Source§

impl KeyValueDiskANNPruner

Source

pub fn statistics( &self, journal: &dyn DiskANNChangeRead, request: DiskANNStatisticsRequest, control: &StorageReadControl, ) -> StorageBackendResult<DiskANNStatisticsPage>

Examine exact outstanding changes on the provider’s single captured canonical/journal view under this selected generation. This does not stage writes or grant publication authority.

Source

pub fn open( source: Arc<KeyValueDiskANNSource>, maximum: usize, control: &StorageReadControl, ) -> StorageBackendResult<Self>

Source

pub fn require_selected( &self, scope: &DiskANNIndexScope, dimensions: u32, parameters: DiskANNIndexParams, read: &dyn KeyValueRead, batch: &mut dyn KeyValueBatch, control: &StorageReadControl, ) -> StorageBackendResult<()>

Provider boundary: require this actual source’s generation to remain the committed selected head in the supplied mutation. The provider must also guard its captured catalog binding and use this same mutation for journal deletion.

Source

pub fn prune( &self, journal: &mut dyn DiskANNChangeJournal, request: DiskANNPruneRequest, control: &StorageReadControl, ) -> StorageBackendResult<DiskANNPruneResult>

Evaluate bounded exact-key deletions after require_selected and the provider’s catalog/private-input guards. On any error the enclosing mutation must discard all partial operations. Advance the returned cursor only after durable commit.

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<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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> 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 = !

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

fn try_from(value: U) -> Result<T, !>

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.