Lines Matching refs:priority
78 seL4 uses a preemptive, tickless scheduler with 256 priority levels (0 --- 255). All threads have
79 a maximum controlled priority (MCP) and a priority, the latter being the effective priority of the
81 When a thread modifies a another threads priority (including itself) it must provide a
84 The initial task starts with an MCP and priority as the highest priority in the system (\texttt{seL4\_MaxPrio}).
85 Thread priority and MCP can be
91 Of threads eligible for scheduling, the highest priority thread in a runnable state is chosen.
93 Thread priority (structure \texttt{seL4\_PrioProps\_t}) consists of two values as follows:
95 \begin{description} \item[Priority] the priority a thread will be scheduled with. \item[Maximum
96 controlled priority (MCP)] the highest priority a thread can set itself or another thread to.
113 represent a lower bound on execution, as a thread must have the highest or equal highest priority
147 for its priority and appended at the tail.
261 Of threads eligible for scheduling, the highest priority thread in a runnable state is chosen.
263 Threads of sufficient maximum controlled priority and with possession of the
268 however when a thread executes is determined by thread priority. Consequently,
272 the highest priority thread will always run, however it is up to the system