SPEC CPU 2000 Benchmarks

Julian Grizzard grizzard at ece.gatech.edu
Tue Jan 31 15:10:33 CET 2006

Benno, Gernot, and All,

Here's the benchmarks I will try to use then:

kernel compile time

*Won't be able to use this one in the near future as I don't have
immediate access to it.



Gernot Heiser wrote:
>>>>>>On Mon, 30 Jan 2006 07:41:09 +1100, Benno <benjl at cse.unsw.edu.au> said:
> B> On Sun Jan 29, 2006 at 09:40:05 -0500, Julian Grizzard wrote:
>>>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?
> B> Well, it really depends on what workload you want to test.
> B> lmbench is often used for measuring system call overheads.
> B> SpecWEB, or the traditional "kernel compile" benchmark, are also
> B> often used as application benchmarks.
> AIM (or reaim).
> Gernot

More information about the l4-hackers mailing list