Module resource

Expand description

Runtime resource ownership and address-space lifecycle.

Structs§

AddressSpaceHandle: Borrowed opaque handle to a runtime-owned address space.
AddressSpaceMembarrierId: Stable identity of one Linux-style address-space generation.
AddressSpaceMembarrierState: Allocation-free snapshot of one address space’s membarrier state.
AddressSpaceToken: Unique destruction right for one runtime-owned address-space object.
ExecutionContextHandle: Opaque handle to an architecture execution context.
KernelContextRequest: Architecture-neutral request for a new kernel execution context.
StackHandle: Opaque handle to a runtime-owned stack allocation.
StackRequest: Stack allocation requirements supplied to the runtime.
ThreadResources: Runtime-owned resources whose lifetime follows one thread.
TlsHandle: Opaque handle to a runtime-owned TLS allocation.
UserContextRequest: Architecture-neutral request for a context that will enter userspace.

AddressSpaceDestroyOutcome: Result of consuming an address-space destruction attempt.
AddressSpaceReclaimArmOutcome: Result of arming the active-mm last-user notification.
MembarrierRegistration: One membarrier facility registered by an address space.
MembarrierRegistrationPhase: Phase of one irreversible per-address-space registration.
RuntimeMembarrierAction: Bounded operation executed synchronously on a target CPU.

detach_current_address_space: Detaches the current thread’s scheduler-visible user address space.
notify_address_space_reclaim: Notifies the resource reaper after a runtime drops the last active-mm lease.
release_address_space_token: Transfers an obsolete address-space token to task-context reclamation.
replace_current_address_space: Replaces the current thread’s scheduler-visible address-space token.