genode/repos/base-hw/src/core
Martin Stein 1b1fd1e1f9 hw: add and test totally sophisticated scheduler
The new scheduler serves the orthogonal requirements of both
high-throughput-oriented scheduling contexts (shortly called fill in the
scheduler) and low-latency-oriented scheduling contexts (shortly called
claim in the scheduler). Thus it knows two scheduling modes. Every claim
owns a CPU-time-quota expressed as percentage of a super period
(currently 1 second) and a priority that is absolute as long as the
claim has quota left for the current super period. At the end of a super
period the quota of all claims gets refreshed. During a super period,
the claim mode is dominant as long as any active claim has quota left.
Every time this isn't the case, the scheduler switches to scheduling of
fills. Fills are scheduled in a simple round robin with identical time
slices. Order and time-slices of the fill scheduling are not affected by
the super period. Now on thread creation, two arguments, priority and
quota are needed. If quota is 0, the new thread participates in CPU
scheduling with a fill only.  Otherwise he participates with both a
claim and a fill. This concept dovetails nicely with Genodes quota based
resource management as any process can grant subsets of its own
CPU-time and priorities to its child without knowing the global means of
CPU-time and priority.

The commit also adds a run script that enables an automated unit test of the
scheduler implementation.

fix #1225
2014-11-28 12:02:35 +01:00
..
include hw: add and test totally sophisticated scheduler 2014-11-28 12:02:35 +01:00
kernel hw: add and test totally sophisticated scheduler 2014-11-28 12:02:35 +01:00
spec hw: print page faults of core (fix #1286) 2014-11-28 12:00:44 +01:00
boot_modules.s hw: map binaries of boot modules on demand 2014-06-06 14:54:31 +02:00
console.cc hw: re-organize file structure 2014-08-15 10:19:48 +02:00
core_rm_session.cc hw: map a dataspace in core according to its flags 2014-07-24 10:18:06 +02:00
cpu_session_support.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
cpu.cc hw: rename processor CPU 2014-08-15 10:19:48 +02:00
io_mem_session_support.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
irq_session_component.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
pager.cc hw: re-organize file structure 2014-08-15 10:19:48 +02:00
perf_counter.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
platform_pd.cc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
platform_thread.cc hw: add and test totally sophisticated scheduler 2014-11-28 12:02:35 +01:00
platform.cc hw: don't preserve mmio of core devices 2014-10-13 14:51:55 +02:00
ram_session_support.cc hw: correctly flush cache on ARM (fix #1257) 2014-10-10 13:02:30 +02:00
rm_session_support.cc base: introduce caching attributes (fix #1184) 2014-06-26 10:57:26 +02:00
signal_session_component.cc hw: re-organize file structure 2014-08-15 10:19:48 +02:00
target.mk hw: enable kernel-internal tests via run tool 2014-11-28 12:02:34 +01:00
thread_start.cc hw: re-organize file structure 2014-08-15 10:19:48 +02:00
vm_session_component.cc hw: map a dataspace in core according to its flags 2014-07-24 10:18:06 +02:00