Scheduler of RIOT

Scheduler
Kernel
The RIOT scheduler. More…

Detailed Description

RIOT features a tickless, preemptive, priority based scheduler. Context switches can occur either preemptively (i.e. on interrupts), voluntarily, or when a blocking operation (like msg_receive()) is executed. Being tickless means it does not have a timer that fires periodically in order to emulate concurrent execution by switching threads continuously.

Priorities:

Every thread is given a priority on creation. The priority values are “order” or “nice” values, i.e. a higher value means a lower priority.

Example:

Given threads with priorities A=6, B=1, and C=3, B has the highest priority.

A higher priority means that the scheduler will run this thread whenever it becomes runnable instead of a thread with a lower priority. In case of equal priorities, the threads are scheduled in a semi-cooperative fashion. That means that unless an interrupt happens, threads with the same priority will only switch due to voluntary or implicit context switches.

Interrupts:

When an interrupt occurs, e.g. because a timer fired or a network packet was received, the active context is saved and an interrupt service routine (ISR) that handles the interrupt is executed in another context. When the ISR is finished, the sched_context_switch_request flag can be checked. In case it is set, the sched_run() function is called to determine the next active thread. (In the special case that the ISR knows that it can not enable a thread switch, this check can of course be omitted.) If the flag is not set, the original context is being restored and the thread resumes immediately.

Voluntary Context Switches:

There are two function calls that can lead to a voluntary context switch: thread_yield() and thread_sleep(). While the latter disables (think blocks) the thread until it is woken (think unblocked) again via thread_wakeup(), the former only leads to a context switch in case there is another runnable thread with at least the same priority.

Implicit Context Switches:

Some functions that unblock another thread, e.g. msg_send() or mutex_unlock(), can cause a thread switch, if the target had a higher priority.

Files
file native_sched.h
Add definitions required on the native board.

file sched.h
Scheduler API definition.

Macros

define SCHED_PRIO_LEVELS 16

The number of thread priority levels. 

Typedefs
typedef struct _thread thread_t
forward declaration for thread_t, defined in thread.h

Functions
int sched_run (void)
Triggers the scheduler to schedule the next thread. More…

void sched_set_status (thread_t *process, unsigned int status)
Set the status of the specified process. More…

void sched_switch (uint16_t other_prio)
Yield if approriate. More…

NORETURN void cpu_switch_context_exit (void)
Call context switching at thread exit.

NORETURN void sched_task_exit (void)
Removes thread from scheduler and set status to STATUS_STOPPED.

Variables
volatile unsigned int sched_context_switch_request
Flag indicating whether a context switch is necessary after handling an interrupt. More…

volatile thread_t * sched_threads [KERNEL_PID_LAST+1]
Thread table.

volatile thread_t * sched_active_thread
Currently active thread.

volatile int sched_num_threads
Number of running (non-terminated) threads.

volatile kernel_pid_t sched_active_pid
Process ID of active thread.

clist_node_t sched_runqueues [SCHED_PRIO_LEVELS]
List of runqueues per priority level.

Function Documentation

int sched_run ( void )
Returns
1 if sched_active_thread/sched_active_pid was changed, 0 otherwise.
void sched_set_status ( thread_t * process,
unsigned int status
)
Parameters
[in] process Pointer to the thread control block of the targeted process
[in] status The new status of this thread
void sched_switch ( uint16_t other_prio )
Either yield if other_prio is higher than the current priority, or if the current thread is not on the runqueue.

Depending on whether the current execution is in an ISR (irq_is_in()), thread_yield_higher() is called or sched_context_switch_request is set, respectively.

Parameters
[in] other_prio The priority of the target thread.
Variable Documentation

volatile unsigned int sched_context_switch_request
Supposed to be set in an ISR.