Module switch 

Context-switch plans, entry contracts and completion.

Structs

ContextThreadBinding

Immutable association between one runtime context and scheduler ownership.

CurrentThreadOwnerHandle

Opaque pointer to the Arc-backed scheduler core of the current thread.

CurrentThreadPublication

Immutable scheduler publication owned by one runtime execution context.

RuntimeSchedulerFrameEnterResult

Atomic runtime result of claiming one scheduler frame.

RuntimeSwitchPlan

Move-only runtime transaction for one committed scheduler switch.

SchedSwitchRecord

Allocation-free scheduler switch diagnostic record.

ScheduleDecision

Result of one scheduler safe-point decision.

ThreadIdentityV1

Versioned generation-bearing thread identity for runtime context binding.

Enums

RuntimeScheduleOrigin

Scheduler entry whose context constraints the runtime must validate.

RuntimeSchedulerEntry

Typed source of one scheduler-frame baton.

RuntimeSchedulerReturn

Raw IRQ state expected by the suspended scheduler continuation.

SchedulerOutcome

Result of one bounded scheduler safe point.

YieldOutcome

Result of an explicit scheduler yield.

Functions

finish_initial_context_switch^⚠

Completes switch tail and consumes the inherited IRQ guard on first entry.

schedule_current_cpu

Runs one scheduler decision at a task/IRQ-return safe point.

schedule_current_cpu_from_irq_guard_exit^⚠

Services the final task-context IRQ publication guard exit without restoring IRQs before the scheduler owns its CPU-local baton.

schedule_current_cpu_from_preempt_exit^⚠

Services the final preemption-guard exit without exposing a preemptible window before the scheduler owns its CPU-local baton.