diff options
| author | Paul E. McKenney <[email protected]> | 2016-11-28 12:08:49 -0800 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2017-01-25 12:54:22 -0800 |
| commit | d85b62f18d543c663cbdd6061054efeb9e66cee7 (patch) | |
| tree | f057b276302012d5f62a6c0a2727e0b334e26866 /include/linux | |
| parent | f2c4689640e9a34bc45c013032185ed4ce47e7ff (diff) | |
srcu: Force full grace-period ordering
If a process invokes synchronize_srcu(), is delayed just the right amount
of time, and thus does not sleep when waiting for the grace period to
complete, there is no ordering between the end of the grace period and
the code following the synchronize_srcu(). Similarly, there can be a
lack of ordering between the end of the SRCU grace period and callback
invocation.
This commit adds the necessary ordering.
Reported-by: Lance Roy <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
[ paulmck: Further smp_mb() adjustment per email with Lance Roy. ]
Diffstat (limited to 'include/linux')
| -rw-r--r-- | include/linux/rcupdate.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/include/linux/rcupdate.h b/include/linux/rcupdate.h index 01f71e1d2e94..6ade6a52d9d4 100644 --- a/include/linux/rcupdate.h +++ b/include/linux/rcupdate.h @@ -1161,5 +1161,17 @@ do { \ ftrace_dump(oops_dump_mode); \ } while (0) +/* + * Place this after a lock-acquisition primitive to guarantee that + * an UNLOCK+LOCK pair acts as a full barrier. This guarantee applies + * if the UNLOCK and LOCK are executed by the same CPU or if the + * UNLOCK and LOCK operate on the same lock variable. + */ +#ifdef CONFIG_PPC +#define smp_mb__after_unlock_lock() smp_mb() /* Full ordering for lock. */ +#else /* #ifdef CONFIG_PPC */ +#define smp_mb__after_unlock_lock() do { } while (0) +#endif /* #else #ifdef CONFIG_PPC */ + #endif /* __LINUX_RCUPDATE_H */ |