rcu: Implement a variant of Peter's SRCU algorithm
authorLai Jiangshan <laijs@cn.fujitsu.com>
Mon, 27 Feb 2012 17:29:09 +0000 (09:29 -0800)
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Mon, 30 Apr 2012 17:48:22 +0000 (10:48 -0700)
commitb52ce066c55a6a53cf1f8d71308d74f908e31b99
treee814e4e175f2bd8e1c0795247f413d711c7350df
parent18108ebfebe9e871d0a9af830baf8f5df69eb5fc
rcu: Implement a variant of Peter's SRCU algorithm

This commit implements a variant of Peter's algorithm, which may be found
at https://lkml.org/lkml/2012/2/1/119.

o Make the checking lock-free to enable parallel checking.
Parallel checking is required when (1) the original checking
task is preempted for a long time, (2) sychronize_srcu_expedited()
starts during an ongoing SRCU grace period, or (3) we wish to
avoid acquiring a lock.

o Since the checking is lock-free, we avoid a mutex in state machine
for call_srcu().

o Remove the SRCU_REF_MASK and remove the coupling with the flipping.
This might allow us to remove the preempt_disable() in future
versions, though such removal will need great care because it
rescinds the one-old-reader-per-CPU guarantee.

o Remove a smp_mb(), simplify the comments and make the smp_mb() pairs
more intuitive.

Inspired-by: Peter Zijlstra <peterz@infradead.org>
Signed-off-by: Lai Jiangshan <laijs@cn.fujitsu.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
include/linux/srcu.h
kernel/srcu.c