SPEC CPU 2000 Benchmarks

Julian Grizzard grizzard at ece.gatech.edu
Sun Jan 29 15:40:05 CET 2006

Hi Gernot,

Right, so it makes sense that the benchmarks should be close.  The
surprising results to me are that in some cases, the SPEC programs even
performed better under L4Linux than Linux.

I'm just looking for some comparison to other people to make sure that
my experiments are close to others.  Also, there is some mention of
testing operating system performance in the SPEC documents, although the
benchmark does not seem to be focused on that.  Does anyone have any
suggestions for the best way to compare Linux to L4Linux then?



Gernot Heiser wrote:
>>>>>>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.
> Gernot

More information about the l4-hackers mailing list