DragonFly BSD
DragonFly kernel List (threaded) for 2006-08
[Date Prev][Date Next]  [Thread Prev][Thread Next]  [Date Index][Thread Index]

Re: How much of microkernel?

From: Joerg Sonnenberger <joerg@xxxxxxxxxxxxxxxxx>
Date: Tue, 22 Aug 2006 21:35:15 +0200
Mail-followup-to: kernel@crater.dragonflybsd.org

On Tue, Aug 22, 2006 at 07:22:57PM +0000, Thomas E. Spanjaard wrote:
> Thomas E. Spanjaard wrote:
> >A relevant benchmark here is the lat_ctx benchmark of lmbench, of which 
> >a comparison between Linux and L4 is given on [1]. Pretty impressive 
> >results I'd say, even when the rate of context switches is higher.
> Doh.
> [1] http://www.ertos.nicta.com.au/research/l4/performance.pml

This has been commented on as bogus before. In fact, most of the Linux
on top of L4 benchmarks are somewhat bogus, e.g. the original port was
"relatively" fast due to the short comings of the 2.4 kernel in various
areas, which got compensated by the L4 port.


[Date Prev][Date Next]  [Thread Prev][Thread Next]  [Date Index][Thread Index]