Fiasco.OC: sigma0 stucks in ipc-path

Adam Lackorzynski adam at
Mon Jun 4 21:17:44 CEST 2012


On Mon Jun 04, 2012 at 13:21:19 +0200, Stefan kalkowski wrote:
> sorry I got you wrong in the first place. I didn't realized, that sigma0
> actually runs on a lower priority than any other thread in the system.
> Obviously the donated timeslice from the core-pager gets fully consumed,
> and after that it never gets scheduled again, because at any time
> another thread is active (which is a condition I actually build in with
> intention to trigger the "bug").
> I raised the priority of sigma0 and then it worked.
> So it seams to be no problem in the Fiasco.OC kernel at all.
> Nevertheless, it raises the question, whether it would be more
> reasonable to execute sigma0 on a higher priority by default?

Yes, that's a good question. This cannot really happen within L4Re due
to the eager memory allocation of moe, so it was never an issue there.
I do not really have an opinion on that right now but I'll try to get

Adam                 adam at

More information about the l4-hackers mailing list