[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20110525205234.GB28397@elte.hu>
Date: Wed, 25 May 2011 22:52:34 +0200
From: Ingo Molnar <mingo@...e.hu>
To: "Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>
Cc: Yinghai Lu <yinghai@...nel.org>, linux-kernel@...r.kernel.org,
mingo@...hat.com, hpa@...or.com, tglx@...utronix.de
Subject: Re: [tip:core/rcu] Revert "rcu: Decrease memory-barrier usage based
on semi-formal proof"
* Paul E. McKenney <paulmck@...ux.vnet.ibm.com> wrote:
> > We already fixed the worst problem via a revert, the semi-hang:
> > so i don't think there's pressure to do other reverts - other
> > than for diagnostic purposes, of course.
>
> Given that I have to debug in any case, I am happier debugging in
> the forward direction rather than in the backwards direction. ;-)
hehe, fair enough :-)
Thanks,
Ingo
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists