]>
Commit | Line | Data |
---|---|---|
408894ee IM |
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 |