| Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 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 | |