diff options
| author |   Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2016-11-28 12:08:49 -0800 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2017-01-25 12:54:22 -0800 |
| commit | d85b62f18d543c663cbdd6061054efeb9e66cee7 (patch) | |
| tree | f057b276302012d5f62a6c0a2727e0b334e26866 /tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes | |
| parent | srcu: Implement more-efficient reader counts (diff) | |
| download | linux-dev-d85b62f18d543c663cbdd6061054efeb9e66cee7.tar.xz linux-dev-d85b62f18d543c663cbdd6061054efeb9e66cee7.zip | |
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 <ldr709@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
[ paulmck: Further smp_mb() adjustment per email with Lance Roy. ]
Diffstat (limited to 'tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes')
0 files changed, 0 insertions, 0 deletions