Module sched

Expand description

This module provides access to the scheduler.

Modules§

dispch 🔒
rr
rt
task: This module provides the basic task and thread structures for the scheduler.
thread

disable: This will disable rescheduling until the next call to enable. Use with caution!
enable
init: Initializes the scheduler. This should be called once during kernel initialization, before any threads are created.
kick_thread: Wake a thread by raw uid. C-FFI so ISR-context callers can use it without going through the syscall path. Errors are swallowed: not-yet-sleeping is normal.
needs_reschedule: This should be called on each timer tick, and if it returns true, sched_enter should be called to reschedule.
reschedule: Triggers a reschedule immediately, when interrupts are enabled. This must be called after enqueueing a thread, or after waking up a thread, or putting the current thread to sleep.
sched_enter: This will be called by the architecture-specific code to enter the scheduler. It will land the current thread, pick the next thread to run, and return its context and task.
thread_finalizer 🔒
with: This function provides safe access to the global scheduler. It disables interrupts and locks the scheduler. Use with caution!