aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFrederic Weisbecker <frederic@kernel.org>2017-11-06 10:01:17 -0500
committerIngo Molnar <mingo@kernel.org>2017-11-08 05:13:47 -0500
commitf54bb2ec02c839f6bfe3e8d438cd93d30b4809dd (patch)
treea2262fe18525d4a7eccf48f7adf6f1dbeca536de
parent11752adb68a388724b1935d57bf543897c34d80b (diff)
locking/lockdep: Add IRQs disabled/enabled assertion APIs: lockdep_assert_irqs_enabled()/disabled()
Checking whether IRQs are enabled or disabled is a very common sanity check, however not free of overhead especially on fastpath where such assertion is very common. Lockdep is a good host for such concurrency correctness check and it even already tracks down IRQs disablement state. Just reuse its machinery. This will allow us to get rid of the flags pop and check overhead from fast path when kernel is built for production. Suggested-by: Peter Zijlstra <peterz@infradead.org> Signed-off-by: Frederic Weisbecker <frederic@kernel.org> Acked-by: Thomas Gleixner <tglx@linutronix.de> Cc: David S . Miller <davem@davemloft.net> Cc: Lai Jiangshan <jiangshanlai@gmail.com> Cc: Linus Torvalds <torvalds@linux-foundation.org> Cc: Paul E. McKenney <paulmck@linux.vnet.ibm.com> Cc: Tejun Heo <tj@kernel.org> Link: http://lkml.kernel.org/r/1509980490-4285-2-git-send-email-frederic@kernel.org Signed-off-by: Ingo Molnar <mingo@kernel.org>
-rw-r--r--include/linux/lockdep.h15
1 files changed, 15 insertions, 0 deletions
diff --git a/include/linux/lockdep.h b/include/linux/lockdep.h
index 02720769c159..a842551fe044 100644
--- a/include/linux/lockdep.h
+++ b/include/linux/lockdep.h
@@ -725,9 +725,24 @@ do { \
725 lock_acquire(&(lock)->dep_map, 0, 0, 1, 1, NULL, _THIS_IP_); \ 725 lock_acquire(&(lock)->dep_map, 0, 0, 1, 1, NULL, _THIS_IP_); \
726 lock_release(&(lock)->dep_map, 0, _THIS_IP_); \ 726 lock_release(&(lock)->dep_map, 0, _THIS_IP_); \
727} while (0) 727} while (0)
728
729#define lockdep_assert_irqs_enabled() do { \
730 WARN_ONCE(debug_locks && !current->lockdep_recursion && \
731 !current->hardirqs_enabled, \
732 "IRQs not enabled as expected\n"); \
733 } while (0)
734
735#define lockdep_assert_irqs_disabled() do { \
736 WARN_ONCE(debug_locks && !current->lockdep_recursion && \
737 current->hardirqs_enabled, \
738 "IRQs not disabled as expected\n"); \
739 } while (0)
740
728#else 741#else
729# define might_lock(lock) do { } while (0) 742# define might_lock(lock) do { } while (0)
730# define might_lock_read(lock) do { } while (0) 743# define might_lock_read(lock) do { } while (0)
744# define lockdep_assert_irqs_enabled() do { } while (0)
745# define lockdep_assert_irqs_disabled() do { } while (0)
731#endif 746#endif
732 747
733#ifdef CONFIG_LOCKDEP 748#ifdef CONFIG_LOCKDEP