Fiasco.OC: sigma0 stucks in ipc-path

[Adam Lackorzynski]

Hi,

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
one.



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