Re: [PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

On Fri, Feb 16, 2018 at 12:19:58AM +0100, Andrea Parri wrote: > On Thu, Feb 15, 2018 at 02:49:37PM -0800, Paul E. McKenney wrote: > > On Thu, Feb 15, 2018 at 11:30:09PM +0100, Andrea Parri wrote: > > > On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote: > > > > Signed-off-by: Paul E.

Re: [PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

On Fri, Feb 16, 2018 at 12:19:58AM +0100, Andrea Parri wrote: > On Thu, Feb 15, 2018 at 02:49:37PM -0800, Paul E. McKenney wrote: > > On Thu, Feb 15, 2018 at 11:30:09PM +0100, Andrea Parri wrote: > > > On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote: > > > > Signed-off-by: Paul E.

Re: [PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

On Thu, Feb 15, 2018 at 02:49:37PM -0800, Paul E. McKenney wrote: > On Thu, Feb 15, 2018 at 11:30:09PM +0100, Andrea Parri wrote: > > On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote: > > > Signed-off-by: Paul E. McKenney > > > > nit:

Re: [PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

On Thu, Feb 15, 2018 at 02:49:37PM -0800, Paul E. McKenney wrote: > On Thu, Feb 15, 2018 at 11:30:09PM +0100, Andrea Parri wrote: > > On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote: > > > Signed-off-by: Paul E. McKenney > > > > nit: s/understore/underscore (a very

Re: [PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

On Thu, Feb 15, 2018 at 11:30:09PM +0100, Andrea Parri wrote: > On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote: > > Signed-off-by: Paul E. McKenney > > nit: s/understore/underscore (a very understandable lapsus, BTW ;-) ;-) Will fix when

Re: [PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

On Thu, Feb 15, 2018 at 11:30:09PM +0100, Andrea Parri wrote: > On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote: > > Signed-off-by: Paul E. McKenney > > nit: s/understore/underscore (a very understandable lapsus, BTW ;-) ;-) Will fix when squashing. > According to the cover

Re: [PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote: > Signed-off-by: Paul E. McKenney nit: s/understore/underscore (a very understandable lapsus, BTW ;-) According to the cover letter, patches 8-10 of this series are intended to be squashed together;

Re: [PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote: > Signed-off-by: Paul E. McKenney nit: s/understore/underscore (a very understandable lapsus, BTW ;-) According to the cover letter, patches 8-10 of this series are intended to be squashed together; it could be useful to add a

[PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

Signed-off-by: Paul E. McKenney --- tools/memory-model/linux-kernel.bell | 2 +- tools/memory-model/linux-kernel.cat | 2 +- tools/memory-model/linux-kernel.def | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git

[PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings

Signed-off-by: Paul E. McKenney --- tools/memory-model/linux-kernel.bell | 2 +- tools/memory-model/linux-kernel.cat | 2 +- tools/memory-model/linux-kernel.def | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/memory-model/linux-kernel.bell