Some questions about L4 operating system

[Adam Lackorzynski]

On Thu Jul 16, 2015 at 11:33:24 -0400, Yuxin Ren wrote:
> On Thu, Jul 16, 2015 at 7:31 AM, Qing Wei <wq_idol at 163.com> wrote:
> > Hi,
> >   I am a beginner to L4, and very interested in it. I think it is great in
> > terms of its minimality and security. However, I have some questions
> > about it,
> > (1) How is its performance compared to other monolithic kernel,
> > say, Linux. Could it make use of multicore, multiprocessor to
> > enjoy the performance scalability?
>    The performance of Fiasco kernel is not bad, and it should be
> better than Linux.

>    Fiasco kernel can support multicore very well, while it has deadlock issue.

Could you elaborate on the deadlock?



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