Question about L4/Fiasco running the kernel with interrupts disable

[Adam Lackorzynski]

On Wed Apr 08, 2015 at 14:10:44 +0800, deng.chao1 at zte.com.cn wrote:
> 
> Hi all，
> I have read the wikipedia website of L4 kernel(http://en.wikipedia.org/wiki/L4_microkernel_family), it says that  L4/Fiasco was designed "fully preemptible to achieve a low interrupt latency " at first, however "the complexities of a fully preemptible design resulted in later versions of Fiasco to return to the traditional L4 approach of running the kernel with interrupts disabled ".
> I am very interested in the kernel's interrupt latency. I have check the latest versions of Fiasco kernel in running, and it keeps interrupts disabled indeed.
> So I wonder whether there was any early version of L4/Fiasco which supported fully preemptible?
> Or was there any article talked about this ?

You, and your colleage, should look at this dissertation:
http://os.inf.tu-dresden.de/papers_ps/hohmuth-phd.pdf


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