SPEC CPU 2000 Benchmarks
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
SPEC CPU 2000
*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:
>>>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).
More information about the l4-hackers