Andi Kleen
Is this worth a bugreport? Anything else I should supply?
Are you sure the user land setup is identical?
Yes, it should be the same - I just rebooted the machine.
nohz tends to come with hr timers so in theory there might be more wakeups if you're unlucky because hr timers will wake up programs at the exact time they request if the time source can deliver it; not always rounded to jiffies (2.5ms)
It might be interesting to try with a NOHZ kernel without CONFIG_HIGH_RES_TIMERS
The question is as well what is the cpu frequency scaling doing? Andreas -- Andreas Jaeger, Director Platform/openSUSE, aj@suse.de SUSE LINUX Products GmbH, GF: Markus Rex, HRB 16746 (AG Nürnberg) Maxfeldstr. 5, 90409 Nürnberg, Germany GPG fingerprint = 93A3 365E CE47 B889 DF7F FED1 389A 563C C272 A126