SPEC CPU 2000 Benchmarks
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