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?
Thanks!
Julian
Gernot Heiser wrote:
On Sat, 28 Jan 2006 19:02:19 -0500, Julian Grizzard grizzard@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