Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-04 Thread Joel Fernandes
On Sun, Nov 04, 2018 at 07:43:30PM -0800, Paul E. McKenney wrote: [...] > > > > > > > > Also about GP memory ordering and RCU-tree-locking, I think you > > > > > > > > mentioned to > > > > > > > > me that the RCU reader-sections are virtually extended both > > > > > > > > forward and > > > > > >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-04 Thread Joel Fernandes
On Sun, Nov 04, 2018 at 07:43:30PM -0800, Paul E. McKenney wrote: [...] > > > > > > > > Also about GP memory ordering and RCU-tree-locking, I think you > > > > > > > > mentioned to > > > > > > > > me that the RCU reader-sections are virtually extended both > > > > > > > > forward and > > > > > >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-04 Thread Paul E. McKenney
On Sat, Nov 03, 2018 at 08:49:56PM -0700, Joel Fernandes wrote: > On Sat, Nov 03, 2018 at 04:22:59PM -0700, Paul E. McKenney wrote: > > On Fri, Nov 02, 2018 at 10:12:26PM -0700, Joel Fernandes wrote: > > > On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > > > On Wed, Oct 31,

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-04 Thread Paul E. McKenney
On Sat, Nov 03, 2018 at 08:49:56PM -0700, Joel Fernandes wrote: > On Sat, Nov 03, 2018 at 04:22:59PM -0700, Paul E. McKenney wrote: > > On Fri, Nov 02, 2018 at 10:12:26PM -0700, Joel Fernandes wrote: > > > On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > > > On Wed, Oct 31,

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-03 Thread Joel Fernandes
On Sat, Nov 03, 2018 at 04:22:59PM -0700, Paul E. McKenney wrote: > On Fri, Nov 02, 2018 at 10:12:26PM -0700, Joel Fernandes wrote: > > On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > > On Wed, Oct 31, 2018 at 10:00:19PM -0700, Joel Fernandes wrote: > > > > On Wed, Oct 31,

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-03 Thread Joel Fernandes
On Sat, Nov 03, 2018 at 04:22:59PM -0700, Paul E. McKenney wrote: > On Fri, Nov 02, 2018 at 10:12:26PM -0700, Joel Fernandes wrote: > > On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > > On Wed, Oct 31, 2018 at 10:00:19PM -0700, Joel Fernandes wrote: > > > > On Wed, Oct 31,

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-03 Thread Paul E. McKenney
On Fri, Nov 02, 2018 at 10:12:26PM -0700, Joel Fernandes wrote: > On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > On Wed, Oct 31, 2018 at 10:00:19PM -0700, Joel Fernandes wrote: > > > On Wed, Oct 31, 2018 at 11:17:48AM -0700, Paul E. McKenney wrote: > > > > On Tue, Oct 30,

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-03 Thread Paul E. McKenney
On Fri, Nov 02, 2018 at 10:12:26PM -0700, Joel Fernandes wrote: > On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > On Wed, Oct 31, 2018 at 10:00:19PM -0700, Joel Fernandes wrote: > > > On Wed, Oct 31, 2018 at 11:17:48AM -0700, Paul E. McKenney wrote: > > > > On Tue, Oct 30,

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Joel Fernandes
On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > On Wed, Oct 31, 2018 at 10:00:19PM -0700, Joel Fernandes wrote: > > On Wed, Oct 31, 2018 at 11:17:48AM -0700, Paul E. McKenney wrote: > > > On Tue, Oct 30, 2018 at 06:11:19PM -0700, Joel Fernandes wrote: > > > > Hi Paul, > > > >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Joel Fernandes
On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > On Wed, Oct 31, 2018 at 10:00:19PM -0700, Joel Fernandes wrote: > > On Wed, Oct 31, 2018 at 11:17:48AM -0700, Paul E. McKenney wrote: > > > On Tue, Oct 30, 2018 at 06:11:19PM -0700, Joel Fernandes wrote: > > > > Hi Paul, > > > >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Paul E. McKenney
On Fri, Nov 02, 2018 at 03:14:29PM -0700, Joel Fernandes wrote: > On Fri, Nov 02, 2018 at 01:00:00PM -0700, Paul E. McKenney wrote: > [..] > > > I think it would make sense also to combine it with other memory-ordering > > > topics like the memory model and rseq/cpu-opv things that Mathieu was >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Paul E. McKenney
On Fri, Nov 02, 2018 at 03:14:29PM -0700, Joel Fernandes wrote: > On Fri, Nov 02, 2018 at 01:00:00PM -0700, Paul E. McKenney wrote: > [..] > > > I think it would make sense also to combine it with other memory-ordering > > > topics like the memory model and rseq/cpu-opv things that Mathieu was >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Joel Fernandes
On Fri, Nov 02, 2018 at 01:00:00PM -0700, Paul E. McKenney wrote: [..] > > I think it would make sense also to combine it with other memory-ordering > > topics like the memory model and rseq/cpu-opv things that Mathieu was doing > > (if it makes sense to combine). But yes, I am definitely

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Joel Fernandes
On Fri, Nov 02, 2018 at 01:00:00PM -0700, Paul E. McKenney wrote: [..] > > I think it would make sense also to combine it with other memory-ordering > > topics like the memory model and rseq/cpu-opv things that Mathieu was doing > > (if it makes sense to combine). But yes, I am definitely

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Paul E. McKenney
On Thu, Nov 01, 2018 at 11:15:18PM -0700, Joel Fernandes wrote: > On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > > > > BTW I do want to discuss about this smp_mb patch above with you at > > > > > LPC if you > > > > > had time, even though we are removing it from the

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Paul E. McKenney
On Thu, Nov 01, 2018 at 11:15:18PM -0700, Joel Fernandes wrote: > On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > > > > BTW I do want to discuss about this smp_mb patch above with you at > > > > > LPC if you > > > > > had time, even though we are removing it from the

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Joel Fernandes
On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > > > BTW I do want to discuss about this smp_mb patch above with you at LPC > > > > if you > > > > had time, even though we are removing it from the documentation. I > > > > thought > > > > about it a few times, and I was not

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-02 Thread Joel Fernandes
On Thu, Nov 01, 2018 at 09:13:07AM -0700, Paul E. McKenney wrote: > > > > BTW I do want to discuss about this smp_mb patch above with you at LPC > > > > if you > > > > had time, even though we are removing it from the documentation. I > > > > thought > > > > about it a few times, and I was not

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-01 Thread Paul E. McKenney
On Wed, Oct 31, 2018 at 10:00:19PM -0700, Joel Fernandes wrote: > On Wed, Oct 31, 2018 at 11:17:48AM -0700, Paul E. McKenney wrote: > > On Tue, Oct 30, 2018 at 06:11:19PM -0700, Joel Fernandes wrote: > > > Hi Paul, > > > > > > On Tue, Oct 30, 2018 at 04:43:36PM -0700, Paul E. McKenney wrote: > >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-11-01 Thread Paul E. McKenney
On Wed, Oct 31, 2018 at 10:00:19PM -0700, Joel Fernandes wrote: > On Wed, Oct 31, 2018 at 11:17:48AM -0700, Paul E. McKenney wrote: > > On Tue, Oct 30, 2018 at 06:11:19PM -0700, Joel Fernandes wrote: > > > Hi Paul, > > > > > > On Tue, Oct 30, 2018 at 04:43:36PM -0700, Paul E. McKenney wrote: > >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-31 Thread Joel Fernandes
On Wed, Oct 31, 2018 at 11:17:48AM -0700, Paul E. McKenney wrote: > On Tue, Oct 30, 2018 at 06:11:19PM -0700, Joel Fernandes wrote: > > Hi Paul, > > > > On Tue, Oct 30, 2018 at 04:43:36PM -0700, Paul E. McKenney wrote: > > > On Tue, Oct 30, 2018 at 03:26:49PM -0700, Joel Fernandes wrote: > > > >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-31 Thread Joel Fernandes
On Wed, Oct 31, 2018 at 11:17:48AM -0700, Paul E. McKenney wrote: > On Tue, Oct 30, 2018 at 06:11:19PM -0700, Joel Fernandes wrote: > > Hi Paul, > > > > On Tue, Oct 30, 2018 at 04:43:36PM -0700, Paul E. McKenney wrote: > > > On Tue, Oct 30, 2018 at 03:26:49PM -0700, Joel Fernandes wrote: > > > >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-31 Thread Paul E. McKenney
On Tue, Oct 30, 2018 at 06:11:19PM -0700, Joel Fernandes wrote: > Hi Paul, > > On Tue, Oct 30, 2018 at 04:43:36PM -0700, Paul E. McKenney wrote: > > On Tue, Oct 30, 2018 at 03:26:49PM -0700, Joel Fernandes wrote: > > > Hi Paul, > > > > > > On Sat, Oct 27, 2018 at 09:30:46PM -0700, Joel Fernandes

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-31 Thread Paul E. McKenney
On Tue, Oct 30, 2018 at 06:11:19PM -0700, Joel Fernandes wrote: > Hi Paul, > > On Tue, Oct 30, 2018 at 04:43:36PM -0700, Paul E. McKenney wrote: > > On Tue, Oct 30, 2018 at 03:26:49PM -0700, Joel Fernandes wrote: > > > Hi Paul, > > > > > > On Sat, Oct 27, 2018 at 09:30:46PM -0700, Joel Fernandes

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-30 Thread Joel Fernandes
Hi Paul, On Tue, Oct 30, 2018 at 04:43:36PM -0700, Paul E. McKenney wrote: > On Tue, Oct 30, 2018 at 03:26:49PM -0700, Joel Fernandes wrote: > > Hi Paul, > > > > On Sat, Oct 27, 2018 at 09:30:46PM -0700, Joel Fernandes (Google) wrote: > > > As per this thread [1], it seems this smp_mb isn't

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-30 Thread Joel Fernandes
Hi Paul, On Tue, Oct 30, 2018 at 04:43:36PM -0700, Paul E. McKenney wrote: > On Tue, Oct 30, 2018 at 03:26:49PM -0700, Joel Fernandes wrote: > > Hi Paul, > > > > On Sat, Oct 27, 2018 at 09:30:46PM -0700, Joel Fernandes (Google) wrote: > > > As per this thread [1], it seems this smp_mb isn't

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-30 Thread Paul E. McKenney
On Tue, Oct 30, 2018 at 03:26:49PM -0700, Joel Fernandes wrote: > Hi Paul, > > On Sat, Oct 27, 2018 at 09:30:46PM -0700, Joel Fernandes (Google) wrote: > > As per this thread [1], it seems this smp_mb isn't needed anymore: > > "So the smp_mb() that I was trying to add doesn't need to be there." >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-30 Thread Paul E. McKenney
On Tue, Oct 30, 2018 at 03:26:49PM -0700, Joel Fernandes wrote: > Hi Paul, > > On Sat, Oct 27, 2018 at 09:30:46PM -0700, Joel Fernandes (Google) wrote: > > As per this thread [1], it seems this smp_mb isn't needed anymore: > > "So the smp_mb() that I was trying to add doesn't need to be there." >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-30 Thread Joel Fernandes
Hi Paul, On Sat, Oct 27, 2018 at 09:30:46PM -0700, Joel Fernandes (Google) wrote: > As per this thread [1], it seems this smp_mb isn't needed anymore: > "So the smp_mb() that I was trying to add doesn't need to be there." > > So let us remove this part from the memory ordering documentation. >

Re: [RFC] doc: rcu: remove note on smp_mb during synchronize_rcu

2018-10-30 Thread Joel Fernandes
Hi Paul, On Sat, Oct 27, 2018 at 09:30:46PM -0700, Joel Fernandes (Google) wrote: > As per this thread [1], it seems this smp_mb isn't needed anymore: > "So the smp_mb() that I was trying to add doesn't need to be there." > > So let us remove this part from the memory ordering documentation. >