SPEC CPU 2000 Benchmarks

Gernot Heiser gernot at cse.unsw.edu.au
Mon Jan 30 05:39:59 CET 2006


>>>>> 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