Files | |
| file | sched.h |
| Scheduler interface header. | |
| file | sched-idle.c |
| Idle scheduling class implementation (i.e. Linux placeholder). | |
| file | sched-rt.c |
| Common real-time scheduling class implementation (FIFO + RR). | |
| file | sched-sporadic.c |
| POSIX SCHED_SPORADIC scheduling class. | |
| file | sched-tp.c |
| Temporal partitioning (typical of IMA systems). | |
Data Structures | |
| struct | xnsched |
| Scheduling information structure. More... | |
Typedefs | |
| typedef struct xnsched | xnsched_t |
| Scheduling information structure. | |
Functions | |
| static void | xnsched_rotate (struct xnsched *sched, struct xnsched_class *sched_class, const union xnsched_policy_param *sched_param) |
| Rotate a scheduler runqueue. | |
| void xnsched_rotate | ( | struct xnsched * | sched, | |
| struct xnsched_class * | sched_class, | |||
| const union xnsched_policy_param * | param | |||
| ) | [inline, static] |
Rotate a scheduler runqueue.
The specified scheduling class is requested to rotate its runqueue for the given scheduler. Rotation is performed according to the scheduling parameter specified by sched_param.
| sched | The per-CPU scheduler hosting the target scheduling class. | |
| sched_class | The scheduling class which should rotate its runqueue. | |
| sched_param | The scheduling parameter providing rotation information to the specified scheduling class. |
This service should be called from:
Rescheduling: never.
1.5.6