Module thread 

ArceOS ownership and trait-FFI glue for the OS-independent task system.

Structs

AddressSpaceCpuState

Shared CPU-footprint state for one hardware page-table root.

AddressSpaceSwitchProof

Evidence that this CPU has replaced its previous hardware root.

SchedulerAddressSpaceActivation

An inline reservation, subsequently owned by the CPU that installs it.

TaskAddressSpace

Move-only runtime token for one user address space.

UserContextOptions

Initial user address space and architecture-specific floating-point state.

Traits

SchedulerAddressSpaceOwner

Preallocated MM accounting retained by one CPU activation.

UserAddressSpaceOwner

OS ownership held by a runtime task token until its last CPU lease drains.

Functions

builder

Applies ArceOS stack and guard-page defaults to the common thread builder.

default_task_stack_size

Returns the kernel stack size used by ordinary runtime threads.

detach_current_address_space

Detaches the running user task from its address space before exit publication, matching Linux exit_mm ordering.

exit_current

Exits an ArceOS task, preserving the primary bootstrap termination policy.

prepare_user_thread^⚠

Prepares user architecture resources without publishing or activating the task.

reset_current_user_fp_state

Resets the current task’s user FPU image during a successful executable replacement.

switch_current_address_space

Replaces the running user task’s owning address-space token.