diff options
| author | Lai Jiangshan <laijs@cn.fujitsu.com> | 2010-03-18 12:25:33 -0700 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2010-03-18 21:25:32 +0100 |
| commit | 0cff810f54b3b52075c27f7a7021d5b195264b6c (patch) | |
| tree | 671189b10e1ac4d12a26d9a337a2ca053faed107 /Documentation | |
| parent | 7f5b774275df8c76a959eae7488128b637fcbfc8 (diff) | |
rcu: Fix local_irq_disable() CONFIG_PROVE_RCU=y false positives
It is documented that local_irq_disable() also delimits RCU_SCHED
read-site critical sections.
See the document of synchronize_sched() or
Documentation/RCU/whatisRCU.txt.
So we have to test irqs_disabled() in rcu_read_lock_sched_held().
Otherwise rcu-lockdep brings incorrect complaint.
Signed-off-by: Lai Jiangshan <laijs@cn.fujitsu.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Cc: dipankar@in.ibm.com
Cc: mathieu.desnoyers@polymtl.ca
Cc: josh@joshtriplett.org
Cc: dvhltc@us.ibm.com
Cc: niv@us.ibm.com
Cc: peterz@infradead.org
Cc: rostedt@goodmis.org
Cc: Valdis.Kletnieks@vt.edu
Cc: dhowells@redhat.com
Cc: eric.dumazet@gmail.com
LKML-Reference: <1268940334-10892-1-git-send-email-paulmck@linux.vnet.ibm.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions