Re: [Bridge] [PATCH v3 tip/core/rcu 0/14] Sparse-related updates for 3.13

2013-10-13 Thread Paul E. McKenney
On Sat, Oct 12, 2013 at 07:43:54PM +0200, Hannes Frederic Sowa wrote: > On Sat, Oct 12, 2013 at 07:39:30PM +0200, Hannes Frederic Sowa wrote: > > On Sat, Oct 12, 2013 at 10:13:45AM -0700, Paul E. McKenney wrote: > > > On Fri, Oct 11, 2013 at 11:53:27PM -0700, Josh Triplett wrote: > > > > On Fri, Oc

Re: [Bridge] [PATCH v3 tip/core/rcu 0/14] Sparse-related updates for 3.13

2013-10-13 Thread Paul E. McKenney
On Sat, Oct 12, 2013 at 07:39:30PM +0200, Hannes Frederic Sowa wrote: > On Sat, Oct 12, 2013 at 10:13:45AM -0700, Paul E. McKenney wrote: > > On Fri, Oct 11, 2013 at 11:53:27PM -0700, Josh Triplett wrote: > > > On Fri, Oct 11, 2013 at 04:16:59PM -0700, Paul E. McKenney wrote: > > > > Changes from v

Re: [Bridge] [PATCH v3 tip/core/rcu 0/14] Sparse-related updates for 3.13

2013-10-12 Thread Hannes Frederic Sowa
On Sat, Oct 12, 2013 at 07:39:30PM +0200, Hannes Frederic Sowa wrote: > On Sat, Oct 12, 2013 at 10:13:45AM -0700, Paul E. McKenney wrote: > > On Fri, Oct 11, 2013 at 11:53:27PM -0700, Josh Triplett wrote: > > > On Fri, Oct 11, 2013 at 04:16:59PM -0700, Paul E. McKenney wrote: > > > > Changes from v

Re: [Bridge] [PATCH v3 tip/core/rcu 0/14] Sparse-related updates for 3.13

2013-10-12 Thread Hannes Frederic Sowa
On Sat, Oct 12, 2013 at 10:13:45AM -0700, Paul E. McKenney wrote: > On Fri, Oct 11, 2013 at 11:53:27PM -0700, Josh Triplett wrote: > > On Fri, Oct 11, 2013 at 04:16:59PM -0700, Paul E. McKenney wrote: > > > Changes from v2: > > > > > > o Switch from rcu_assign_pointer() to ACCESS_ONCE() given that

Re: [PATCH v3 tip/core/rcu 0/14] Sparse-related updates for 3.13

2013-10-12 Thread Paul E. McKenney
On Fri, Oct 11, 2013 at 11:53:27PM -0700, Josh Triplett wrote: > On Fri, Oct 11, 2013 at 04:16:59PM -0700, Paul E. McKenney wrote: > > Changes from v2: > > > > o Switch from rcu_assign_pointer() to ACCESS_ONCE() given that > > the pointers are all --rcu and already visible to readers, > >

Re: [PATCH v3 tip/core/rcu 0/14] Sparse-related updates for 3.13

2013-10-11 Thread Josh Triplett
On Fri, Oct 11, 2013 at 04:16:59PM -0700, Paul E. McKenney wrote: > Changes from v2: > > o Switch from rcu_assign_pointer() to ACCESS_ONCE() given that > the pointers are all --rcu and already visible to readers, > as suggested by Eric Dumazet and Josh Triplett. Hang on a moment.

[PATCH v3 tip/core/rcu 0/14] Sparse-related updates for 3.13

2013-10-11 Thread Paul E. McKenney
Hello! This series features updates to allow sparse to do a better job of statically analyzing RCU usage: 1. Add a comment indicating that despite appearances, rcu_assign_pointer() really only evaluates its arguments once, as a cpp macro should. 2-13. Apply ACCESS_ONCE() t