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: "Thomas E. Spanjaard" <tgen@xxxxxxxxxxxxx>
Date: Tue, 22 Aug 2006 19:22:57 +0000

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

Cheers,
--
        Thomas E. Spanjaard
        tgen@xxxxxxxxxxxxx

Attachment: signature.asc
Description: OpenPGP digital signature



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