Re: [tip:timers/nohz] nohz: Move full nohz kick to its own IPI

From: Ingo Molnar
Date: Wed May 07 2014 - 15:07:30 EST



* Peter Zijlstra <peterz@xxxxxxxxxxxxx> wrote:

> On Wed, May 07, 2014 at 06:05:08PM +0200, Frederic Weisbecker wrote:
> > So we can as well zap these commits and replace them with the irq_work_on()
> > conversion (still preparing that).
>
> I hear you, but I think Ingo doesn't want to rebase the tree because its
> public, but maybe he can make an exception..

Since tip:timers/nohz only contains these commits:

fc1781cc66b1 Merge branch 'timers/nohz-ipi-for-tip-v3' of git://git.kernel.org/pub/scm/linux/kernel/git/frederic/linux-dynticks into timers/nohz
72aacf0259bb nohz: Move full nohz kick to its own IPI
55d77c215c74 smp: Non busy-waiting IPI queue

we can zap them all, or even keep 55d77c215c74.

Frederic, which one would you prefer?

Thanks,

Ingo
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/