TierEvict

Enum TierEvict 

Source
pub enum TierEvict {
    Spill {
        slot: usize,
        key: u64,
        depth: usize,
    },
    Drop {
        slot: usize,
        depth: usize,
    },
}
Expand description

Outcome of crate::prefix_cache::PrefixCache::evict_snapshot_to_tier.

The spill side of the tier has a cost gate (ATLAS_SSM_SPILL_MIN_TOKENS) mirroring the fault-in side’s ATLAS_SSM_FAULT_MIN_TOKENS, and the gate has to be applied at VICTIM SELECTION, not at the byte move. Gating only the byte move would leave the index entry marked tiered — findable by lookup_tiered — with no blob behind it, so every warm turn would pay a full-blob allocation plus a store.get only to learn it misses.

Both arms free the victim’s HBM slot, so the caller’s invariant “a reclaim always yields a slot” is preserved either way.

Variants§

§

Spill

Move the victim’s bytes to the tier and keep its index entry findable (tiered = true) so a warm turn faults it back instead of recomputing.

Fields

§slot: usize

The freed HBM snapshot slot (spill FROM here, then free it).

§key: u64

Tier key = the entry’s prefix hash.

§depth: usize

Victim depth in tokens — what the spill’s cost buys back.

§

Drop

Too shallow to be worth a spill: the index entry was REMOVED, no tier key exists, and tier_spills was not incremented. Identical to the pre-tier drop path.

Fields

§slot: usize

The freed HBM snapshot slot.

§depth: usize

Victim depth in tokens (for the gate-skip log line).

Implementations§

Source§

impl TierEvict

Source

pub fn slot(&self) -> usize

The freed HBM slot, whichever arm was taken.

Trait Implementations§

Source§

impl Clone for TierEvict

Source§

fn clone(&self) -> TierEvict

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for TierEvict

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for TierEvict

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Copy for TierEvict

Source§

impl Eq for TierEvict

Source§

impl StructuralPartialEq for TierEvict

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

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

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

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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
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.
§

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

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

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
§

fn with_current_subscriber(self) -> WithDispatch<Self>

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