rcu: Fix local_irq_disable() CONFIG_PROVE_RCU=y false positives
authorLai Jiangshan <laijs@cn.fujitsu.com>
Thu, 18 Mar 2010 19:25:33 +0000 (12:25 -0700)
committerIngo Molnar <mingo@elte.hu>
Thu, 18 Mar 2010 20:25:32 +0000 (21:25 +0100)
commit0cff810f54b3b52075c27f7a7021d5b195264b6c
tree671189b10e1ac4d12a26d9a337a2ca053faed107
parent7f5b774275df8c76a959eae7488128b637fcbfc8
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>
include/linux/rcupdate.h