rcu: Fix synchronization for rcu_process_gp_end() uses of ->completed counter
authorPaul E. McKenney <[email protected]>
Mon, 2 Nov 2009 21:52:28 +0000 (13:52 -0800)
committerIngo Molnar <[email protected]>
Tue, 10 Nov 2009 03:11:54 +0000 (04:11 +0100)
commitd09b62dfa336447c52a5ec9bb88adbc479b0f3b8
tree70a002fed2e0471def01ea3c166137449cb1527d
parent281d150c5f8892f158747594ab49ce2823fd8b8c
rcu: Fix synchronization for rcu_process_gp_end() uses of ->completed counter

Impose a clear locking design on the rcu_process_gp_end()
function's use of the ->completed counter.  This is done by
creating a ->completed field in the rcu_node structure, which
can safely be accessed under the protection of that structure's
lock.  Performance and scalability are maintained by using a
form of double-checked locking, so that rcu_process_gp_end()
only acquires the leaf rcu_node structure's ->lock if a grace
period has recently ended.

This fix reduces rcutorture failure rate by at least two orders
of magnitude under heavy stress with force_quiescent_state()
being invoked artificially often.  Without this fix,
unsynchronized access to the ->completed field can cause
rcu_process_gp_end() to advance callbacks whose grace period has
not yet expired.  (Bad idea!)

Signed-off-by: Paul E. McKenney <[email protected]>
Cc: [email protected]
Cc: [email protected]
Cc: [email protected]
Cc: [email protected]
Cc: [email protected]
Cc: [email protected]
Cc: [email protected]
Cc: [email protected]
Cc: [email protected]
Cc: [email protected]
Cc: <[email protected]> # .32.x
LKML-Reference: <12571987494069-git-send-email->
Signed-off-by: Ingo Molnar <[email protected]>
kernel/rcutree.c
kernel/rcutree.h