Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.kernel > #1220011
| From | Daniel Wagner <wagi@monom.org> |
|---|---|
| Newsgroups | linux.kernel |
| Subject | Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks |
| Date | 2015-09-07 11:20 +0200 |
| Message-ID | <q60KK-1gO-5@gated-at.bofh.it> (permalink) |
| References | <q2Fjr-6Q1-5@gated-at.bofh.it> <q2Fjr-6Q1-7@gated-at.bofh.it> <q2Fjs-6Q1-25@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
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 {
> */
> static inline bool rcu_sync_is_idle(struct rcu_sync *rsp)
> {
> +#ifdef CONFIG_PROVE_RCU
> + return __rcu_sync_is_idle(rss);
s/rss/rsp?
> +#else
> return !rsp->gp_state; /* GP_IDLE */
> +#endif
> }
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Back to linux.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
[PATCH RFC tip/core/rcu 1/9] rcu: Create rcu_sync infrastructure "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-08-29 05:50 +0200
[PATCH RFC tip/core/rcu 6/9] locking/percpu-rwsem: Make use of the rcu_sync infrastructure "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-08-29 05:50 +0200
[PATCH RFC tip/core/rcu 2/9] rcu_sync: Simplify rcu_sync using new rcu_sync_ops structure "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-08-29 05:50 +0200
[PATCH RFC tip/core/rcu 5/9] locking/percpu-rwsem: Make percpu_free_rwsem() after kzalloc() safe "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-08-29 05:50 +0200
[PATCH RFC tip/core/rcu 7/9] locking/percpu-rwsem: Fix the comments outdated by rcu_sync "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-08-29 05:50 +0200
[PATCH RFC tip/core/rcu 8/9] locking/percpu-rwsem: Clean up the lockdep annotations in percpu_down_read() "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-08-29 05:50 +0200
[PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-08-29 05:50 +0200
Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks Daniel Wagner <wagi@monom.org> - 2015-09-07 11:20 +0200
Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks Oleg Nesterov <oleg@redhat.com> - 2015-09-07 15:00 +0200
Re: [PATCH RFC tip/core/rcu 3/9] rcu_sync: Add CONFIG_PROVE_RCU checks "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-09-09 01:40 +0200
csiph-web