diff options
author | Paul E. McKenney <paul.mckenney@linaro.org> | 2012-02-23 13:30:16 -0800 |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2012-04-24 20:54:53 -0700 |
commit | 6d8133919bac4270883b24328500875a49e71b36 (patch) | |
tree | eae66c4640e429446ef254e468fafb9ceadb142b /kernel/timer.c | |
parent | dabb8aa96020bde8359bc73e76c484dd7ff9b7f2 (diff) | |
download | op-kernel-dev-6d8133919bac4270883b24328500875a49e71b36.zip op-kernel-dev-6d8133919bac4270883b24328500875a49e71b36.tar.gz |
rcu: Document why rcu_blocking_is_gp() is safe
The rcu_blocking_is_gp() function tests to see if there is only one
online CPU, and if so, synchronize_sched() and friends become no-ops.
However, for larger systems, num_online_cpus() scans a large vector,
and might be preempted while doing so. While preempted, any number
of CPUs might come online and go offline, potentially resulting in
num_online_cpus() returning 1 when there never had only been one
CPU online. This could result in a too-short RCU grace period, which
could in turn result in total failure, except that the only way that
the grace period is too short is if there is an RCU read-side critical
section spanning it. For RCU-sched and RCU-bh (which are the only
cases using rcu_blocking_is_gp()), RCU read-side critical sections
have either preemption or bh disabled, which prevents CPUs from going
offline. This in turn prevents actual failures from occurring.
This commit therefore adds a large block comment to rcu_blocking_is_gp()
documenting why it is safe. This commit also moves rcu_blocking_is_gp()
into kernel/rcutree.c, which should help prevent unwary developers from
mistaking it for a generally useful function.
Signed-off-by: Paul E. McKenney <paul.mckenney@linaro.org>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Diffstat (limited to 'kernel/timer.c')
0 files changed, 0 insertions, 0 deletions