sched_t Struct Reference

Data Fields
const char *	name
l4_threadid_t	thread
l4_threadid_t	creator
int	id
int	prio
int	period
int	wcet
int	deadline
unsigned *	watch
l4thread_t	watcher
l4semaphore_t	watcher_end_sem
l4_cpu_time_t	dl_old
rt_mon_histogram_t *	dl_hist

---

Detailed Description

Definition at line 21 of file server/src/sched.h.

---

Field Documentation

const char* sched_t::name

Definition at line 22 of file server/src/sched.h.

Referenced by l4cpu_reserve_add_component(), l4cpu_reserve_delayed_preempt_component(), and sched_free().

l4_threadid_t sched_t::thread

Definition at line 23 of file server/src/sched.h.

Referenced by l4cpu_reserve_change_component(), and l4cpu_reserve_scheds_get_component().

l4_threadid_t sched_t::creator

Definition at line 24 of file server/src/sched.h.

Referenced by l4cpu_reserve_scheds_get_component().

int sched_t::id

Definition at line 25 of file server/src/sched.h.

Referenced by l4cpu_reserve_change_component(), and l4cpu_reserve_scheds_get_component().

int sched_t::prio

Definition at line 26 of file server/src/sched.h.

Referenced by get_max_dp(), l4cpu_reserve_change_component(), l4cpu_reserve_delayed_preempt_component(), l4cpu_reserve_scheds_get_component(), and sched_response_time().

int sched_t::period

Definition at line 27 of file server/src/sched.h.

Referenced by is_dp(), l4cpu_reserve_scheds_get_component(), and sched_response_time().

int sched_t::wcet

Definition at line 28 of file server/src/sched.h.

Referenced by get_max_dp(), l4cpu_reserve_change_component(), l4cpu_reserve_scheds_get_component(), and sched_response_time().

int sched_t::deadline

Definition at line 29 of file server/src/sched.h.

Referenced by l4cpu_reserve_change_component(), l4cpu_reserve_delayed_preempt_component(), l4cpu_reserve_scheds_get_component(), and sched_response_time().

unsigned* sched_t::watch

Definition at line 30 of file server/src/sched.h.

Referenced by l4cpu_reserve_watch_component(), sched_free(), and watch_hit_ts().

l4thread_t sched_t::watcher

Definition at line 31 of file server/src/sched.h.

Referenced by l4cpu_reserve_watch_component(), sched_free(), and sched_prepare_free().

l4semaphore_t sched_t::watcher_end_sem

Definition at line 32 of file server/src/sched.h.

Referenced by l4cpu_reserve_watch_component(), and sched_prepare_free().

l4_cpu_time_t sched_t::dl_old

Definition at line 33 of file server/src/sched.h.

Referenced by monitor_thread_dl().

rt_mon_histogram_t* sched_t::dl_hist

Definition at line 34 of file server/src/sched.h.

Referenced by monitor_start(), and sched_free().

---

The documentation for this struct was generated from the following file:

• server/src/sched.h