Partitioned Scheduling

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Aug 29 23:03:27 CEST 2016


Hi,

On Sun Aug 28, 2016 at 18:17:24 +0000, Edinger, Stefan wrote:
> is it possible to have partitioned scheduling in the way that one can
> use different schedulers for different cpu-cores?

No, there's just one scheduler in the kernel, for all cores.
However, given that scheduling is core-local only, cores could
principally also have different schedulers.

> And if yes, can I do the mapping from scheduler to core on runtime or
> is it done at compile time?



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/



More information about the l4-hackers mailing list