SPEC CPU 2000 Benchmarks

Gernot Heiser gernot at nicta.com.au
Sun Jan 29 04:53:32 CET 2006

>>>>> On Sat, 28 Jan 2006 19:02:19 -0500, Julian Grizzard <grizzard at ece.gatech.edu> said:
JG> Hi all,
JG> Does anyone have any recent SPEC 2000 benchmarks comparing Linux to
JG> L4Linux running on Fiasco?  I'm getting surprisingly high results
JG> running on a Pentium IV 2.53 GHz forcing memory to be 256M in both
JG> systems.  I haven't even tweaked all the performance critical options in
JG> L4 to the "off" state yet.

What exactly do you expect to see when running SPEC CPU benchmarks?
They do almost no syscalls, and would hardly swap pages, so on a
processor with a hardware-walked page table, the underlying OS is
pretty much irrelevant.


More information about the l4-hackers mailing list