Re: [PATCH] rcu: remove SPARSE_RCU_POINTER

From: Paul E. McKenney
Date: Thu Jan 06 2011 - 01:00:06 EST


On Wed, Jan 05, 2011 at 09:30:24AM +0800, Lai Jiangshan wrote:
> On 01/05/2011 05:19 AM, Paul E. McKenney wrote:
> > On Tue, Jan 04, 2011 at 11:36:02AM +0100, Arnd Bergmann wrote:
> >> On Tuesday 04 January 2011 09:43:01 Lai Jiangshan wrote:
> >>> As I known, __rcu annotations do not effect the result compiled kernel.
> >>>
> >>> They work only when we use spare("make C=1" or "make C=2"),
> >>> So we don't need another new switch for it since we have one
> >>> for debugging(use spare or not).
> >>>
> >>> signed-off-by: Lai Jiangshan <laijs@xxxxxxxxxxxxxx>
> >>
> >> The intention of this option was to avoid introducing an excessive
> >> number of false positives when using sparse.
> >>
> >> We should only make that unconditional if we are reasonably convinced
> >> that all the majority of warnings caused by it should actually
> >> lead to changes in the code.
> >
> > I agree with Arnd here -- the changes required are extensive in many
> > cases, and a number of subsystems are making decent progress.
> >
> > Thanx, Paul
>
> I also agree. Most guys like to use direct read to the rcu pointer
> on update side or direct read/write when initializing the rcu pointer.
> This causes a lot of false positives.

And it is good to see some people, most notably Eric Dumazet, making
good use of __rcu! We will learn from the experiences of the early
adopters, and perhaps be more aggressive pushing __rcu out to the rest
of the community in a year or two, depending on how it goes.

It is quite possible that __rcu will be something that only some of the
maintainers make use of for some time -- and that is OK.

Thanx, Paul
--
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/