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