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