Xenomai API
2.5.6.1
|
Data Structures | |
struct | xnsched |
Scheduling information structure. More... | |
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). | |
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. |
Environments:
This service should be called from:
Rescheduling: never.