* does nohz still need to be disabled?
@ 2011-08-31 11:50 Maarten Lankhorst
2011-09-01 19:35 ` Thomas Gleixner
0 siblings, 1 reply; 2+ messages in thread
From: Maarten Lankhorst @ 2011-08-31 11:50 UTC (permalink / raw)
To: linux-rt-users
Hey all,
I've been running 3.0.4-rt12 forsome time now without issues and nohz enabled,
with RCU_BOOST is set to 80 (same level as my emergency serial console),
is there still a reason why nohz needs to be disabled?
~Maarten
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: does nohz still need to be disabled?
2011-08-31 11:50 does nohz still need to be disabled? Maarten Lankhorst
@ 2011-09-01 19:35 ` Thomas Gleixner
0 siblings, 0 replies; 2+ messages in thread
From: Thomas Gleixner @ 2011-09-01 19:35 UTC (permalink / raw)
To: Maarten Lankhorst; +Cc: linux-rt-users
On Wed, 31 Aug 2011, Maarten Lankhorst wrote:
> Hey all,
>
> I've been running 3.0.4-rt12 forsome time now without issues and nohz enabled,
> with RCU_BOOST is set to 80 (same level as my emergency serial console),
> is there still a reason why nohz needs to be disabled?
I'm going to reenable it and see whether the various fixes in that
area plugged all the problems. I mainly disabled it to narrow down the
failure combinations.
Thanks,
tglx
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2011-09-01 19:35 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2011-08-31 11:50 does nohz still need to be disabled? Maarten Lankhorst
2011-09-01 19:35 ` Thomas Gleixner
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox