Struct TlbQuarantine 

pub struct TlbQuarantine { /* private fields */ }

Holds detached frames until every CPU named by a shootdown acknowledges it.

The queue is intentionally frame-only: VMA metadata and page-cache locks are never held while an IPI is sent or retried. A timeout leaves entries in this queue, making unsafe reuse impossible.

Implementations

impl TlbQuarantine

pub fn defer( &self, frame: FrameLease, request: TlbRequest, ) -> Result<(), QuarantineFailure>

Adds a detached frame to the quarantine.

The frame is returned inside QuarantineFailure when the queue cannot reserve storage. Dropping a frame on this path would release physical memory while an old translation may still be live, so there is deliberately no infallible or fire-and-forget variant of this API.

pub fn try_defer( &self, frame: FrameLease, request: TlbRequest, ) -> Result<(), QuarantineFailure>

pub fn try_defer_recoverable( &self, frame: FrameLease, request: TlbRequest, ) -> Result<(), QuarantineFailure>

Fallible insertion that returns ownership of the frame on allocation failure. Callers performing teardown can then quarantine it in a higher-level repair queue instead of accidentally dropping a frame while a stale translation may still exist.

pub fn pending(&self) -> usize

pub fn requests(&self) -> Result<Vec<TlbRequest>, QuarantineError>

pub fn contains_request(&self, space_id: AddressSpaceId, epoch: VmEpoch) -> bool

pub fn reap_ready(&self) -> Result<Vec<FrameLease>, QuarantineError>

Removes entries whose obligations were already satisfied by a local flush. Remote acknowledgements are still handled by Self::acknowledge.

pub fn acknowledge( &self, space_id: AddressSpaceId, epoch: VmEpoch, cpu: usize, ) -> Result<Vec<FrameLease>, QuarantineError>

Records one acknowledgement and returns frames that became reclaimable.

Trait Implementations

impl Debug for TlbQuarantine

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

Formats the value using the given formatter.

impl Default for TlbQuarantine

fn default() -> TlbQuarantine

Returns the “default value” for a type.