To view parent comment, click here.
To read all comments associated with this story, please click here.
well, they aren't just comparing the performance of the kernel but of the whole os. it seems to be relatively simple to write a fast second generation microkernel, but it's a huge endeavor to build an usefull new os around this kernel. in most cases, an old os is bolted on top of the microkernel, and the additional layer costs about 5% performance in case of l4linux:
http://os.inf.tu-dresden.de/pubs/sosp97/
even the l4darwin/darbat project, which started as an attempt to swap mach with l4 in the xnu-kernel stopped trying and implements xnu on top of l4:
http://www.ertos.nicta.com.au/publications/papers/Lee_Gray_06.pdf
as such, microkernels are probably more usefull as hardware-abstraction layer than to build a full fledged os.






Member since:
2005-07-24
Well, off the top of my head, how about this:
http://lwn.net/Articles/220255/