blob: 94970338d518866d1206b050d14f7976bd359c8d [file] [log] [blame]
Ingo Molnarfb1c8f92005-09-10 00:25:56 -07001/*
2 * Copyright 2005, Red Hat, Inc., Ingo Molnar
3 * Released under the General Public License (GPL).
4 *
5 * This file contains the spinlock/rwlock implementations for
6 * DEBUG_SPINLOCK.
7 */
8
Ingo Molnarfb1c8f92005-09-10 00:25:56 -07009#include <linux/spinlock.h>
Andrew Mortonbb81a092006-12-07 02:14:01 +010010#include <linux/nmi.h>
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070011#include <linux/interrupt.h>
Ingo Molnar9a11b49a2006-07-03 00:24:33 -070012#include <linux/debug_locks.h>
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070013#include <linux/delay.h>
Paul Gortmaker8bc3bcc2011-11-16 21:29:17 -050014#include <linux/export.h>
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070015
Thomas Gleixnerc2f21ce2009-12-02 20:02:59 +010016void __raw_spin_lock_init(raw_spinlock_t *lock, const char *name,
17 struct lock_class_key *key)
Ingo Molnar8a25d5d2006-07-03 00:24:54 -070018{
19#ifdef CONFIG_DEBUG_LOCK_ALLOC
20 /*
21 * Make sure we are not reinitializing a held lock:
22 */
23 debug_check_no_locks_freed((void *)lock, sizeof(*lock));
Peter Zijlstra4dfbb9d2006-10-11 01:45:14 -040024 lockdep_init_map(&lock->dep_map, name, key, 0);
Ingo Molnar8a25d5d2006-07-03 00:24:54 -070025#endif
Thomas Gleixneredc35bd2009-12-03 12:38:57 +010026 lock->raw_lock = (arch_spinlock_t)__ARCH_SPIN_LOCK_UNLOCKED;
Ingo Molnar8a25d5d2006-07-03 00:24:54 -070027 lock->magic = SPINLOCK_MAGIC;
28 lock->owner = SPINLOCK_OWNER_INIT;
29 lock->owner_cpu = -1;
30}
31
Thomas Gleixnerc2f21ce2009-12-02 20:02:59 +010032EXPORT_SYMBOL(__raw_spin_lock_init);
Ingo Molnar8a25d5d2006-07-03 00:24:54 -070033
Thomas Gleixner2c623202009-07-26 19:39:56 +020034#ifndef CONFIG_PREEMPT_RT_FULL
Ingo Molnar8a25d5d2006-07-03 00:24:54 -070035void __rwlock_init(rwlock_t *lock, const char *name,
36 struct lock_class_key *key)
37{
38#ifdef CONFIG_DEBUG_LOCK_ALLOC
39 /*
40 * Make sure we are not reinitializing a held lock:
41 */
42 debug_check_no_locks_freed((void *)lock, sizeof(*lock));
Peter Zijlstra4dfbb9d2006-10-11 01:45:14 -040043 lockdep_init_map(&lock->dep_map, name, key, 0);
Ingo Molnar8a25d5d2006-07-03 00:24:54 -070044#endif
Thomas Gleixnerfb3a6bb2009-12-03 20:01:19 +010045 lock->raw_lock = (arch_rwlock_t) __ARCH_RW_LOCK_UNLOCKED;
Ingo Molnar8a25d5d2006-07-03 00:24:54 -070046 lock->magic = RWLOCK_MAGIC;
47 lock->owner = SPINLOCK_OWNER_INIT;
48 lock->owner_cpu = -1;
49}
50
51EXPORT_SYMBOL(__rwlock_init);
Thomas Gleixner2c623202009-07-26 19:39:56 +020052#endif
Ingo Molnar8a25d5d2006-07-03 00:24:54 -070053
Akinobu Mita4e101b02011-10-31 17:12:29 -070054static void spin_dump(raw_spinlock_t *lock, const char *msg)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070055{
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070056 struct task_struct *owner = NULL;
57
Ingo Molnar9a11b49a2006-07-03 00:24:33 -070058 if (lock->owner && lock->owner != SPINLOCK_OWNER_INIT)
59 owner = lock->owner;
60 printk(KERN_EMERG "BUG: spinlock %s on CPU#%d, %s/%d\n",
61 msg, raw_smp_processor_id(),
Pavel Emelyanovba25f9d2007-10-18 23:40:40 -070062 current->comm, task_pid_nr(current));
Stephen Boyd4b068142012-07-30 14:41:11 -070063 printk(KERN_EMERG " lock: %pS, .magic: %08x, .owner: %s/%d, "
Ingo Molnar9a11b49a2006-07-03 00:24:33 -070064 ".owner_cpu: %d\n",
65 lock, lock->magic,
66 owner ? owner->comm : "<none>",
Pavel Emelyanovba25f9d2007-10-18 23:40:40 -070067 owner ? task_pid_nr(owner) : -1,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -070068 lock->owner_cpu);
69 dump_stack();
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070070}
71
Akinobu Mita4e101b02011-10-31 17:12:29 -070072static void spin_bug(raw_spinlock_t *lock, const char *msg)
73{
74 if (!debug_locks_off())
75 return;
76
77 spin_dump(lock, msg);
78}
79
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070080#define SPIN_BUG_ON(cond, lock, msg) if (unlikely(cond)) spin_bug(lock, msg)
81
Ingo Molnar9a11b49a2006-07-03 00:24:33 -070082static inline void
Thomas Gleixnerc2f21ce2009-12-02 20:02:59 +010083debug_spin_lock_before(raw_spinlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070084{
85 SPIN_BUG_ON(lock->magic != SPINLOCK_MAGIC, lock, "bad magic");
86 SPIN_BUG_ON(lock->owner == current, lock, "recursion");
87 SPIN_BUG_ON(lock->owner_cpu == raw_smp_processor_id(),
88 lock, "cpu recursion");
89}
90
Thomas Gleixnerc2f21ce2009-12-02 20:02:59 +010091static inline void debug_spin_lock_after(raw_spinlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070092{
93 lock->owner_cpu = raw_smp_processor_id();
94 lock->owner = current;
95}
96
Thomas Gleixnerc2f21ce2009-12-02 20:02:59 +010097static inline void debug_spin_unlock(raw_spinlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -070098{
99 SPIN_BUG_ON(lock->magic != SPINLOCK_MAGIC, lock, "bad magic");
Thomas Gleixnerc2f21ce2009-12-02 20:02:59 +0100100 SPIN_BUG_ON(!raw_spin_is_locked(lock), lock, "already unlocked");
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700101 SPIN_BUG_ON(lock->owner != current, lock, "wrong owner");
102 SPIN_BUG_ON(lock->owner_cpu != raw_smp_processor_id(),
103 lock, "wrong CPU");
104 lock->owner = SPINLOCK_OWNER_INIT;
105 lock->owner_cpu = -1;
106}
107
Thomas Gleixnerc2f21ce2009-12-02 20:02:59 +0100108static void __spin_lock_debug(raw_spinlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700109{
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700110 u64 i;
Chuck Ebbertc22f008b2006-09-29 01:59:14 -0700111 u64 loops = loops_per_jiffy * HZ;
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700112
Vikram Mulukutla214f7662012-10-04 17:13:22 -0700113 for (i = 0; i < loops; i++) {
114 if (arch_spin_trylock(&lock->raw_lock))
115 return;
116 __delay(1);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700117 }
Vikram Mulukutla214f7662012-10-04 17:13:22 -0700118 /* lockup suspected: */
119 spin_dump(lock, "lockup suspected");
120#ifdef CONFIG_SMP
121 trigger_all_cpu_backtrace();
122#endif
123
124 /*
125 * The trylock above was causing a livelock. Give the lower level arch
126 * specific lock code a chance to acquire the lock. We have already
127 * printed a warning/backtrace at this point. The non-debug arch
128 * specific code might actually succeed in acquiring the lock. If it is
129 * not successful, the end-result is the same - there is no forward
130 * progress.
131 */
132 arch_spin_lock(&lock->raw_lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700133}
134
Thomas Gleixner9828ea92009-12-03 20:55:53 +0100135void do_raw_spin_lock(raw_spinlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700136{
137 debug_spin_lock_before(lock);
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100138 if (unlikely(!arch_spin_trylock(&lock->raw_lock)))
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700139 __spin_lock_debug(lock);
140 debug_spin_lock_after(lock);
141}
142
Thomas Gleixner9828ea92009-12-03 20:55:53 +0100143int do_raw_spin_trylock(raw_spinlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700144{
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100145 int ret = arch_spin_trylock(&lock->raw_lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700146
147 if (ret)
148 debug_spin_lock_after(lock);
149#ifndef CONFIG_SMP
150 /*
151 * Must not happen on UP:
152 */
153 SPIN_BUG_ON(!ret, lock, "trylock failure on UP");
154#endif
155 return ret;
156}
157
Thomas Gleixner9828ea92009-12-03 20:55:53 +0100158void do_raw_spin_unlock(raw_spinlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700159{
160 debug_spin_unlock(lock);
Thomas Gleixner0199c4e2009-12-02 20:01:25 +0100161 arch_spin_unlock(&lock->raw_lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700162}
163
Thomas Gleixner2c623202009-07-26 19:39:56 +0200164#ifndef CONFIG_PREEMPT_RT_FULL
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700165static void rwlock_bug(rwlock_t *lock, const char *msg)
166{
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700167 if (!debug_locks_off())
168 return;
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700169
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700170 printk(KERN_EMERG "BUG: rwlock %s on CPU#%d, %s/%d, %p\n",
171 msg, raw_smp_processor_id(), current->comm,
Pavel Emelyanovba25f9d2007-10-18 23:40:40 -0700172 task_pid_nr(current), lock);
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700173 dump_stack();
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700174}
175
176#define RWLOCK_BUG_ON(cond, lock, msg) if (unlikely(cond)) rwlock_bug(lock, msg)
177
Andrew Morton72f0b4e2006-08-05 12:13:47 -0700178#if 0 /* __write_lock_debug() can lock up - maybe this can too? */
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700179static void __read_lock_debug(rwlock_t *lock)
180{
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700181 u64 i;
Chuck Ebbertc22f008b2006-09-29 01:59:14 -0700182 u64 loops = loops_per_jiffy * HZ;
183 int print_once = 1;
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700184
185 for (;;) {
Chuck Ebbertc22f008b2006-09-29 01:59:14 -0700186 for (i = 0; i < loops; i++) {
Thomas Gleixnere5931942009-12-03 20:08:46 +0100187 if (arch_read_trylock(&lock->raw_lock))
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700188 return;
Ingo Molnare0a60292006-02-07 12:58:54 -0800189 __delay(1);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700190 }
191 /* lockup suspected: */
192 if (print_once) {
193 print_once = 0;
Dave Jones51989b92006-01-09 20:51:32 -0800194 printk(KERN_EMERG "BUG: read-lock lockup on CPU#%d, "
195 "%s/%d, %p\n",
Ingo Molnarbb44f112005-12-20 11:54:17 +0100196 raw_smp_processor_id(), current->comm,
197 current->pid, lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700198 dump_stack();
199 }
200 }
201}
Andrew Morton72f0b4e2006-08-05 12:13:47 -0700202#endif
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700203
Thomas Gleixner9828ea92009-12-03 20:55:53 +0100204void do_raw_read_lock(rwlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700205{
206 RWLOCK_BUG_ON(lock->magic != RWLOCK_MAGIC, lock, "bad magic");
Thomas Gleixnere5931942009-12-03 20:08:46 +0100207 arch_read_lock(&lock->raw_lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700208}
209
Thomas Gleixner9828ea92009-12-03 20:55:53 +0100210int do_raw_read_trylock(rwlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700211{
Thomas Gleixnere5931942009-12-03 20:08:46 +0100212 int ret = arch_read_trylock(&lock->raw_lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700213
214#ifndef CONFIG_SMP
215 /*
216 * Must not happen on UP:
217 */
218 RWLOCK_BUG_ON(!ret, lock, "trylock failure on UP");
219#endif
220 return ret;
221}
222
Thomas Gleixner9828ea92009-12-03 20:55:53 +0100223void do_raw_read_unlock(rwlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700224{
225 RWLOCK_BUG_ON(lock->magic != RWLOCK_MAGIC, lock, "bad magic");
Thomas Gleixnere5931942009-12-03 20:08:46 +0100226 arch_read_unlock(&lock->raw_lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700227}
228
229static inline void debug_write_lock_before(rwlock_t *lock)
230{
231 RWLOCK_BUG_ON(lock->magic != RWLOCK_MAGIC, lock, "bad magic");
232 RWLOCK_BUG_ON(lock->owner == current, lock, "recursion");
233 RWLOCK_BUG_ON(lock->owner_cpu == raw_smp_processor_id(),
234 lock, "cpu recursion");
235}
236
237static inline void debug_write_lock_after(rwlock_t *lock)
238{
239 lock->owner_cpu = raw_smp_processor_id();
240 lock->owner = current;
241}
242
243static inline void debug_write_unlock(rwlock_t *lock)
244{
245 RWLOCK_BUG_ON(lock->magic != RWLOCK_MAGIC, lock, "bad magic");
246 RWLOCK_BUG_ON(lock->owner != current, lock, "wrong owner");
247 RWLOCK_BUG_ON(lock->owner_cpu != raw_smp_processor_id(),
248 lock, "wrong CPU");
249 lock->owner = SPINLOCK_OWNER_INIT;
250 lock->owner_cpu = -1;
251}
252
Andrew Morton72f0b4e2006-08-05 12:13:47 -0700253#if 0 /* This can cause lockups */
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700254static void __write_lock_debug(rwlock_t *lock)
255{
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700256 u64 i;
Chuck Ebbertc22f008b2006-09-29 01:59:14 -0700257 u64 loops = loops_per_jiffy * HZ;
258 int print_once = 1;
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700259
260 for (;;) {
Chuck Ebbertc22f008b2006-09-29 01:59:14 -0700261 for (i = 0; i < loops; i++) {
Thomas Gleixnere5931942009-12-03 20:08:46 +0100262 if (arch_write_trylock(&lock->raw_lock))
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700263 return;
Ingo Molnare0a60292006-02-07 12:58:54 -0800264 __delay(1);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700265 }
266 /* lockup suspected: */
267 if (print_once) {
268 print_once = 0;
Dave Jones51989b92006-01-09 20:51:32 -0800269 printk(KERN_EMERG "BUG: write-lock lockup on CPU#%d, "
270 "%s/%d, %p\n",
Ingo Molnarbb44f112005-12-20 11:54:17 +0100271 raw_smp_processor_id(), current->comm,
272 current->pid, lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700273 dump_stack();
274 }
275 }
276}
Andrew Morton72f0b4e2006-08-05 12:13:47 -0700277#endif
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700278
Thomas Gleixner9828ea92009-12-03 20:55:53 +0100279void do_raw_write_lock(rwlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700280{
281 debug_write_lock_before(lock);
Thomas Gleixnere5931942009-12-03 20:08:46 +0100282 arch_write_lock(&lock->raw_lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700283 debug_write_lock_after(lock);
284}
285
Thomas Gleixner9828ea92009-12-03 20:55:53 +0100286int do_raw_write_trylock(rwlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700287{
Thomas Gleixnere5931942009-12-03 20:08:46 +0100288 int ret = arch_write_trylock(&lock->raw_lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700289
290 if (ret)
291 debug_write_lock_after(lock);
292#ifndef CONFIG_SMP
293 /*
294 * Must not happen on UP:
295 */
296 RWLOCK_BUG_ON(!ret, lock, "trylock failure on UP");
297#endif
298 return ret;
299}
300
Thomas Gleixner9828ea92009-12-03 20:55:53 +0100301void do_raw_write_unlock(rwlock_t *lock)
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700302{
303 debug_write_unlock(lock);
Thomas Gleixnere5931942009-12-03 20:08:46 +0100304 arch_write_unlock(&lock->raw_lock);
Ingo Molnarfb1c8f92005-09-10 00:25:56 -0700305}
Thomas Gleixner2c623202009-07-26 19:39:56 +0200306
307#endif