L4Re Operating System Framework
Interface and Usage Documentation
|
Scheduler object functions. More...
Go to the source code of this file.
Data Structures | |
struct | l4_sched_cpu_set_t |
CPU sets. More... | |
struct | l4_sched_param_t |
Scheduler parameter set. More... | |
Typedefs | |
typedef struct l4_sched_cpu_set_t | l4_sched_cpu_set_t |
CPU sets. | |
typedef struct l4_sched_param_t | l4_sched_param_t |
Scheduler parameter set. | |
Enumerations | |
enum | L4_scheduler_classes { L4_SCHEDULER_CLASS_FIXED_PRIO = 1UL << 1 , L4_SCHEDULER_CLASS_WFQ = 1UL << 2 } |
Supported scheduler classes. More... | |
enum | L4_scheduler_ops { L4_SCHEDULER_INFO_OP = 0UL , L4_SCHEDULER_RUN_THREAD_OP = 1UL , L4_SCHEDULER_IDLE_TIME_OP = 2UL } |
Operations on the Scheduler object. More... | |
Functions | |
l4_sched_cpu_set_t | l4_sched_cpu_set (l4_umword_t offset, unsigned char granularity, l4_umword_t map=1) L4_NOTHROW |
l4_msgtag_t | l4_scheduler_info (l4_cap_idx_t scheduler, l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus) L4_NOTHROW)) |
Get scheduler information. | |
l4_msgtag_t | l4_scheduler_info_with_classes (l4_cap_idx_t scheduler, l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus, l4_umword_t *sched_classes) L4_NOTHROW)) |
Get scheduler information. | |
l4_sched_param_t | l4_sched_param (unsigned prio, l4_umword_t quantum=0) L4_NOTHROW |
Construct scheduler parameter. | |
l4_msgtag_t | l4_scheduler_run_thread (l4_cap_idx_t scheduler, l4_cap_idx_t thread, l4_sched_param_t const *sp) L4_NOTHROW) |
Run a thread on a Scheduler. | |
l4_msgtag_t | l4_scheduler_idle_time (l4_cap_idx_t scheduler, l4_sched_cpu_set_t const *cpus, l4_kernel_clock_t *us) L4_NOTHROW) |
Query the idle time (in µs) of a CPU. | |
int | l4_scheduler_is_online (l4_cap_idx_t scheduler, l4_umword_t cpu) L4_NOTHROW |
Query if a CPU is online. | |
Scheduler object functions.
Definition in file scheduler.h.