Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks

2015-09-08 Thread Paul E. McKenney
On Mon, Sep 07, 2015 at 02:52:47PM +0200, Oleg Nesterov wrote: > On 09/07, Daniel Wagner wrote: > > > > On 08/29/2015 05:35 AM, Paul E. McKenney wrote: > > > +extern bool __rcu_sync_is_idle(struct rcu_sync *); > > > + > > > /** > > > * rcu_sync_is_idle() - Are readers permitted to use their

Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks

2015-09-08 Thread Paul E. McKenney
On Mon, Sep 07, 2015 at 02:52:47PM +0200, Oleg Nesterov wrote: > On 09/07, Daniel Wagner wrote: > > > > On 08/29/2015 05:35 AM, Paul E. McKenney wrote: > > > +extern bool __rcu_sync_is_idle(struct rcu_sync *); > > > + > > > /** > > > * rcu_sync_is_idle() - Are readers permitted to use their

Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks

2015-09-07 Thread Oleg Nesterov
On 09/07, Daniel Wagner wrote: > > On 08/29/2015 05:35 AM, Paul E. McKenney wrote: > > +extern bool __rcu_sync_is_idle(struct rcu_sync *); > > + > > /** > > * rcu_sync_is_idle() - Are readers permitted to use their fastpaths? > > * @rsp: Pointer to rcu_sync structure to use for

Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks

2015-09-07 Thread Daniel Wagner
On 08/29/2015 05:35 AM, Paul E. McKenney wrote: > +extern bool __rcu_sync_is_idle(struct rcu_sync *); > + > /** > * rcu_sync_is_idle() - Are readers permitted to use their fastpaths? > * @rsp: Pointer to rcu_sync structure to use for synchronization > @@ -50,7 +52,11 @@ struct rcu_sync { >

Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks

2015-09-07 Thread Daniel Wagner
On 08/29/2015 05:35 AM, Paul E. McKenney wrote: > +extern bool __rcu_sync_is_idle(struct rcu_sync *); > + > /** > * rcu_sync_is_idle() - Are readers permitted to use their fastpaths? > * @rsp: Pointer to rcu_sync structure to use for synchronization > @@ -50,7 +52,11 @@ struct rcu_sync { >

Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks

2015-09-07 Thread Oleg Nesterov
On 09/07, Daniel Wagner wrote: > > On 08/29/2015 05:35 AM, Paul E. McKenney wrote: > > +extern bool __rcu_sync_is_idle(struct rcu_sync *); > > + > > /** > > * rcu_sync_is_idle() - Are readers permitted to use their fastpaths? > > * @rsp: Pointer to rcu_sync structure to use for

[PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks

2015-08-28 Thread Paul E. McKenney
From: Oleg Nesterov This commit validates that the caller of rcu_sync_is_idle() holds the corresponding type of RCU read-side lock, but only in kernels built with CONFIG_PROVE_RCU=y. This validation is carried out via a new rcu_sync_ops->held() method that is checked within rcu_sync_is_idle().

[PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks

2015-08-28 Thread Paul E. McKenney
From: Oleg Nesterov o...@redhat.com This commit validates that the caller of rcu_sync_is_idle() holds the corresponding type of RCU read-side lock, but only in kernels built with CONFIG_PROVE_RCU=y. This validation is carried out via a new rcu_sync_ops-held() method that is checked within