kernel/mutex-debug.h

   1 /*
   2  * Mutexes: blocking mutual exclusion locks
   3  *
   4  * started by Ingo Molnar:
   5  *
   6  *  Copyright (C) 2004, 2005, 2006 Red Hat, Inc., Ingo Molnar <mingo@redhat.com>
   7  *
   8  * This file contains mutex debugging related internal declarations,
   9  * prototypes and inline functions, for the CONFIG_DEBUG_MUTEXES case.
  10  * More details are in kernel/mutex-debug.c.
  11  */
  12
  13 extern spinlock_t debug_mutex_lock;
  14 extern struct list_head debug_mutex_held_locks;
  15 extern int debug_mutex_on;
  16
  17 /*
  18  * In the debug case we carry the caller's instruction pointer into
  19  * other functions, but we dont want the function argument overhead
  20  * in the nondebug case - hence these macros:
  21  */
  22 #define __IP_DECL__             , unsigned long ip
  23 #define __IP__                  , ip
  24 #define __RET_IP__              , (unsigned long)__builtin_return_address(0)
  25
  26 /*
  27  * This must be called with lock->wait_lock held.
  28  */
  29 extern void debug_mutex_set_owner(struct mutex *lock,
  30                                   struct thread_info *new_owner __IP_DECL__);
  31
  32 static inline void debug_mutex_clear_owner(struct mutex *lock)
  33 {
  34         lock->owner = NULL;
  35 }
  36
  37 extern void debug_mutex_init_waiter(struct mutex_waiter *waiter);
  38 extern void debug_mutex_wake_waiter(struct mutex *lock,
  39                                     struct mutex_waiter *waiter);
  40 extern void debug_mutex_free_waiter(struct mutex_waiter *waiter);
  41 extern void debug_mutex_add_waiter(struct mutex *lock,
  42                                    struct mutex_waiter *waiter,
  43                                    struct thread_info *ti __IP_DECL__);
  44 extern void mutex_remove_waiter(struct mutex *lock, struct mutex_waiter *waiter,
  45                                 struct thread_info *ti);
  46 extern void debug_mutex_unlock(struct mutex *lock);
  47 extern void debug_mutex_init(struct mutex *lock, const char *name);
  48
  49 #define debug_spin_lock(lock)                           \
  50         do {                                            \
  51                 local_irq_disable();                    \
  52                 if (debug_mutex_on)                     \
  53                         spin_lock(lock);                \
  54         } while (0)
  55
  56 #define debug_spin_unlock(lock)                         \
  57         do {                                            \
  58                 if (debug_mutex_on)                     \
  59                         spin_unlock(lock);              \
  60                 local_irq_enable();                     \
  61                 preempt_check_resched();                \
  62         } while (0)
  63
  64 #define debug_spin_lock_save(lock, flags)               \
  65         do {                                            \
  66                 local_irq_save(flags);                  \
  67                 if (debug_mutex_on)                     \
  68                         spin_lock(lock);                \
  69         } while (0)
  70
  71 #define debug_spin_lock_restore(lock, flags)            \
  72         do {                                            \
  73                 if (debug_mutex_on)                     \
  74                         spin_unlock(lock);              \
  75                 local_irq_restore(flags);               \
  76                 preempt_check_resched();                \
  77         } while (0)
  78
  79 #define spin_lock_mutex(lock)                           \
  80         do {                                            \
  81                 struct mutex *l = container_of(lock, struct mutex, wait_lock); \
  82                                                         \
  83                 DEBUG_WARN_ON(in_interrupt());          \
  84                 debug_spin_lock(&debug_mutex_lock);     \
  85                 spin_lock(lock);                        \
  86                 DEBUG_WARN_ON(l->magic != l);           \
  87         } while (0)
  88
  89 #define spin_unlock_mutex(lock)                         \
  90         do {                                            \
  91                 spin_unlock(lock);                      \
  92                 debug_spin_unlock(&debug_mutex_lock);   \
  93         } while (0)
  94
  95 #define DEBUG_OFF()                                     \
  96 do {                                                    \
  97         if (debug_mutex_on) {                           \
  98                 debug_mutex_on = 0;                     \
  99                 console_verbose();                      \
 100                 if (spin_is_locked(&debug_mutex_lock))  \
 101                         spin_unlock(&debug_mutex_lock); \
 102         }                                               \
 103 } while (0)
 104
 105 #define DEBUG_BUG()                                     \
 106 do {                                                    \
 107         if (debug_mutex_on) {                           \
 108                 DEBUG_OFF();                            \
 109                 BUG();                                  \
 110         }                                               \
 111 } while (0)
 112
 113 #define DEBUG_WARN_ON(c)                                \
 114 do {                                                    \
 115         if (unlikely(c && debug_mutex_on)) {            \
 116                 DEBUG_OFF();                            \
 117                 WARN_ON(1);                             \
 118         }                                               \
 119 } while (0)
 120
 121 # define DEBUG_BUG_ON(c)                                \
 122 do {                                                    \
 123         if (unlikely(c))                                \
 124                 DEBUG_BUG();                            \
 125 } while (0)
 126
 127 #ifdef CONFIG_SMP
 128 # define SMP_DEBUG_WARN_ON(c)                   DEBUG_WARN_ON(c)
 129 # define SMP_DEBUG_BUG_ON(c)                    DEBUG_BUG_ON(c)
 130 #else
 131 # define SMP_DEBUG_WARN_ON(c)                   do { } while (0)
 132 # define SMP_DEBUG_BUG_ON(c)                    do { } while (0)
 133 #endif
 134