pub struct ControlledTerminationToken(/* private fields */);Expand description
Request-scoped evidence that the exact isolated backend was killed and reaped. It is deliberately monotonic: only a confirmed kill + wait may set it, and every adaptive/retry boundary can cheaply observe it afterward.
Implementations§
Source§impl ControlledTerminationToken
impl ControlledTerminationToken
Sourcepub fn confirm_exact_backend_termination(&self)
pub fn confirm_exact_backend_termination(&self)
Publish exact backend termination evidence. Callers must only invoke this after the isolated process has both accepted termination and been waited/reaped; body drops and async kill requests do not qualify.
pub fn is_confirmed(&self) -> bool
pub fn error_if_confirmed(&self) -> Result<(), InferenceError>
Trait Implementations§
Source§impl Clone for ControlledTerminationToken
impl Clone for ControlledTerminationToken
Source§impl Debug for ControlledTerminationToken
impl Debug for ControlledTerminationToken
Auto Trait Implementations§
impl Freeze for ControlledTerminationToken
impl RefUnwindSafe for ControlledTerminationToken
impl Send for ControlledTerminationToken
impl Sync for ControlledTerminationToken
impl Unpin for ControlledTerminationToken
impl UnsafeUnpin for ControlledTerminationToken
impl UnwindSafe for ControlledTerminationToken
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> ErasedDestructor for Twhere
T: 'static,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more