Skip to main content

RawValueRootGuard

Struct RawValueRootGuard 

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

RAII guard for one or more heap JSVal slots registered with the GC extra-roots table (AddRawValueRoot) — the general form of PersistentGlobal’s rooting, for values that must survive across an async window (pending fetch promises, fs/crypto callbacks, …).

§Why the slots live in a Box<[JSVal]>

AddRawValueRoot registers the slot’s address: the GC scans and updates that memory in place for as long as the root is registered, and RemoveRawValueRoot removes by pointer — the registered address must therefore stay both valid and identical until removal. Rooting a stack local whose frame then returns leaves the GC tracing dead stack memory, and removing with a different address is a silent no-op (the root table is keyed by pointer), leaking the dangling root. The Box pins the slots at a stable heap address for the guard’s whole life; moving the guard only moves the Box pointer, never the rooted memory.

§Drop semantics (liveness-guarded, leak-on-foreign)

On drop, when the current thread’s Runtime::get() still resolves to the captured context, every slot is unrooted and the values freed. Otherwise (dropped from a foreign thread while the context is alive, or after the runtime went away) the rooted slots are leaked, never freed — freeing memory the root table may still point at would leave the GC a dangling scan address, which is strictly worse than a bounded leak.

Implementations§

Source§

impl RawValueRootGuard

Source

pub unsafe fn new( cx: *mut JSContext, vals: &[Value], name: &'static CStr, ) -> Option<RawValueRootGuard>

Root vals for an async window that spans ticks/frames.

Returns None if any registration failed (OOM): slots registered before the failure are unrooted before returning, so a None carries no leaked roots and the caller keeps its own rooting (the pre-existing degraded path at the call sites).

§Safety
  • cx must be a live JSContext on the current thread.
  • Each value must be a valid JSVal. After this call the guard’s slots are the live copies — read them via Self::get, not via pre-existing snapshots.
Source

pub fn get(&self, i: usize) -> Value

The live (GC-updated) value at i. After any window in which a GC may have run, this — not a snapshot taken at spawn time — is the value to use (a moving GC updates the guard’s slot in place).

Source

pub fn len(&self) -> usize

Number of rooted slots.

Source

pub fn into_inner(self) -> Option<Box<[Value]>>

Release the roots and take ownership of the values (explicit ownership transfer before the guard’s natural drop site).

Returns None when the roots could not be released (foreign thread or dead runtime): the rooted memory is then leaked by the guard — the caller must NOT receive memory the GC root table still points at.

Trait Implementations§

Source§

impl Drop for RawValueRootGuard

Source§

fn drop(&mut self)

Executes the destructor for this type. Read more
Source§

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)
Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned. Read more

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> AsCtxPtr for T
where T: ?Sized,

Source§

fn as_ctx_ptr(&self) -> *mut Self
where Self: Sized,

self’s address as *mut Self for deferred-task / scopeguard / ref_guard ctx slots. The closures/trampolines deref it as shared (&*p) — every method they reach is &self post-R-2, so no write provenance is required; the *mut spelling is purely to match the existing DerefOnDrop / HasAutoFlush / RefCount ABI.
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> ErasedDestructor for T
where T: 'static,

Source§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<T> Filterable for T

Source§

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
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> IntoEither for T

Source§

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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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
Source§

impl<T> MaybeBoxed<Box<T>> for T

Source§

fn maybe_boxed(self) -> Box<T>

Convert
Source§

impl<T> MaybeBoxed<T> for T

Source§

fn maybe_boxed(self) -> T

Convert
Source§

impl<T> MaybeSendSync for T

Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
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> Send for T
where T: ?Sized,

Source§

impl<T, S> SimdFrom<T, S> for T
where S: Simd,

Source§

fn simd_from(_simd: S, value: T) -> T

Source§

impl<F, T, S> SimdInto<T, S> for F
where T: SimdFrom<F, S>, S: Simd,

Source§

fn simd_into(self, simd: S) -> T

Source§

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

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