Struct TaskAddressSpace 

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

Move-only runtime token for one user address space.

Implementations

impl TaskAddressSpace

pub fn new( root: PhysAddr, owner: impl Send + Sync + 'static, ) -> Result<Self, TaskError>

Creates a scheduler token that owns owner until address-space reap.

pub fn new_with_task_detach<T: Send + Sync + 'static>( root: PhysAddr, cpu_state: Arc<AddressSpaceCpuState>, owner: T, detach: fn(&T), ) -> Result<Self, TaskError>

Creates a scheduler token with task-detach ownership semantics.

detach runs once in ordinary task context after the attached thread has entered lazy kernel-mm state. It may release task-scoped accounting, but owner must keep the hardware page-table root valid until its final drop after all active-CPU leases have drained.

pub fn new_managed<T: UserAddressSpaceOwner + 'static>( root: PhysAddr, cpu_state: Arc<AddressSpaceCpuState>, owner: T, ) -> Result<Self, TaskError>

Creates a task token backed by an OS-owned MM lifecycle. Allocation occurs here in task context, before scheduler publication.

Trait Implementations

impl Drop for TaskAddressSpace

fn drop(&mut self)

Executes the destructor for this type.

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.