Struct AddressSpaceToken 

pub struct AddressSpaceToken(/* private fields */);

Unique destruction right for one runtime-owned address-space object.

The scheduler may copy AddressSpaceHandle values derived from this token into dispatch metadata, but exactly one token owns the eventual crate::runtime::TaskRuntime::destroy_address_space operation.

Implementations

impl AddressSpaceToken

pub const NONE: Self

Empty token used by kernel threads and pure scheduler models.

pub const unsafe fn from_raw(raw: usize) -> Self

Creates an owning token from a fresh runtime object.

Safety

A non-zero value must identify a live runtime-owned address-space object whose unique destruction right is transferred to the caller.

pub const fn handle(&self) -> AddressSpaceHandle

Borrows the opaque identity without transferring destruction rights.

pub const fn is_none(&self) -> bool

Returns whether this token owns no runtime object.

Trait Implementations

impl Debug for AddressSpaceToken

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

Formats the value using the given formatter.

impl Eq for AddressSpaceToken

impl PartialEq for AddressSpaceToken

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AddressSpaceToken