Module cpu_core 

Proof model for ownership of one CPU’s local resources.

A CpuCoreOwner permanently owns the CPU-local resources assigned to one logical CPU. Scheduling changes only the owner’s current_task; it never transfers those resources to the task. Runtime CPU-local access temporarily opens the owner into a linear CpuCoreOwnerHandle and its typed local state, then restores that state before returning the owner to the scheduler.

Structs

CpuCoreOwner

Scheduler-owned proof state for one CPU’s local resources.

CpuCoreOwnerHandle

Linear identity and scheduling state left while CPU-local resources are temporarily being accessed.

CpuCoreOwnerView

Logical scheduling state carried by a CPU-local resource owner.

Traits

CpuCoreLocalState

A typed collection of resources that belongs permanently to one CPU.