spinlock_debug.c 6.8 KB
Newer Older
I
Ingo Molnar 已提交
1 2 3 4 5 6 7 8 9
/*
 * Copyright 2005, Red Hat, Inc., Ingo Molnar
 * Released under the General Public License (GPL).
 *
 * This file contains the spinlock/rwlock implementations for
 * DEBUG_SPINLOCK.
 */

#include <linux/spinlock.h>
A
Andrew Morton 已提交
10
#include <linux/nmi.h>
I
Ingo Molnar 已提交
11
#include <linux/interrupt.h>
12
#include <linux/debug_locks.h>
I
Ingo Molnar 已提交
13
#include <linux/delay.h>
14
#include <linux/module.h>
I
Ingo Molnar 已提交
15

16 17 18 19 20 21 22 23
void __spin_lock_init(spinlock_t *lock, const char *name,
		      struct lock_class_key *key)
{
#ifdef CONFIG_DEBUG_LOCK_ALLOC
	/*
	 * Make sure we are not reinitializing a held lock:
	 */
	debug_check_no_locks_freed((void *)lock, sizeof(*lock));
24
	lockdep_init_map(&lock->dep_map, name, key, 0);
25
#endif
26
	lock->raw_lock = (arch_spinlock_t)__ARCH_SPIN_LOCK_UNLOCKED;
27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
	lock->magic = SPINLOCK_MAGIC;
	lock->owner = SPINLOCK_OWNER_INIT;
	lock->owner_cpu = -1;
}

EXPORT_SYMBOL(__spin_lock_init);

void __rwlock_init(rwlock_t *lock, const char *name,
		   struct lock_class_key *key)
{
#ifdef CONFIG_DEBUG_LOCK_ALLOC
	/*
	 * Make sure we are not reinitializing a held lock:
	 */
	debug_check_no_locks_freed((void *)lock, sizeof(*lock));
42
	lockdep_init_map(&lock->dep_map, name, key, 0);
43 44 45 46 47 48 49 50 51
#endif
	lock->raw_lock = (raw_rwlock_t) __RAW_RW_LOCK_UNLOCKED;
	lock->magic = RWLOCK_MAGIC;
	lock->owner = SPINLOCK_OWNER_INIT;
	lock->owner_cpu = -1;
}

EXPORT_SYMBOL(__rwlock_init);

I
Ingo Molnar 已提交
52 53 54 55
static void spin_bug(spinlock_t *lock, const char *msg)
{
	struct task_struct *owner = NULL;

56 57 58 59 60 61 62
	if (!debug_locks_off())
		return;

	if (lock->owner && lock->owner != SPINLOCK_OWNER_INIT)
		owner = lock->owner;
	printk(KERN_EMERG "BUG: spinlock %s on CPU#%d, %s/%d\n",
		msg, raw_smp_processor_id(),
63
		current->comm, task_pid_nr(current));
64 65 66 67
	printk(KERN_EMERG " lock: %p, .magic: %08x, .owner: %s/%d, "
			".owner_cpu: %d\n",
		lock, lock->magic,
		owner ? owner->comm : "<none>",
68
		owner ? task_pid_nr(owner) : -1,
69 70
		lock->owner_cpu);
	dump_stack();
I
Ingo Molnar 已提交
71 72 73 74
}

#define SPIN_BUG_ON(cond, lock, msg) if (unlikely(cond)) spin_bug(lock, msg)

75 76
static inline void
debug_spin_lock_before(spinlock_t *lock)
I
Ingo Molnar 已提交
77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103
{
	SPIN_BUG_ON(lock->magic != SPINLOCK_MAGIC, lock, "bad magic");
	SPIN_BUG_ON(lock->owner == current, lock, "recursion");
	SPIN_BUG_ON(lock->owner_cpu == raw_smp_processor_id(),
							lock, "cpu recursion");
}

static inline void debug_spin_lock_after(spinlock_t *lock)
{
	lock->owner_cpu = raw_smp_processor_id();
	lock->owner = current;
}

static inline void debug_spin_unlock(spinlock_t *lock)
{
	SPIN_BUG_ON(lock->magic != SPINLOCK_MAGIC, lock, "bad magic");
	SPIN_BUG_ON(!spin_is_locked(lock), lock, "already unlocked");
	SPIN_BUG_ON(lock->owner != current, lock, "wrong owner");
	SPIN_BUG_ON(lock->owner_cpu != raw_smp_processor_id(),
							lock, "wrong CPU");
	lock->owner = SPINLOCK_OWNER_INIT;
	lock->owner_cpu = -1;
}

static void __spin_lock_debug(spinlock_t *lock)
{
	u64 i;
104 105
	u64 loops = loops_per_jiffy * HZ;
	int print_once = 1;
I
Ingo Molnar 已提交
106 107

	for (;;) {
108
		for (i = 0; i < loops; i++) {
I
Ingo Molnar 已提交
109 110
			if (__raw_spin_trylock(&lock->raw_lock))
				return;
111
			__delay(1);
I
Ingo Molnar 已提交
112 113 114 115
		}
		/* lockup suspected: */
		if (print_once) {
			print_once = 0;
116 117
			printk(KERN_EMERG "BUG: spinlock lockup on CPU#%d, "
					"%s/%d, %p\n",
118
				raw_smp_processor_id(), current->comm,
119
				task_pid_nr(current), lock);
I
Ingo Molnar 已提交
120
			dump_stack();
A
Andrew Morton 已提交
121 122 123
#ifdef CONFIG_SMP
			trigger_all_cpu_backtrace();
#endif
I
Ingo Molnar 已提交
124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158
		}
	}
}

void _raw_spin_lock(spinlock_t *lock)
{
	debug_spin_lock_before(lock);
	if (unlikely(!__raw_spin_trylock(&lock->raw_lock)))
		__spin_lock_debug(lock);
	debug_spin_lock_after(lock);
}

int _raw_spin_trylock(spinlock_t *lock)
{
	int ret = __raw_spin_trylock(&lock->raw_lock);

	if (ret)
		debug_spin_lock_after(lock);
#ifndef CONFIG_SMP
	/*
	 * Must not happen on UP:
	 */
	SPIN_BUG_ON(!ret, lock, "trylock failure on UP");
#endif
	return ret;
}

void _raw_spin_unlock(spinlock_t *lock)
{
	debug_spin_unlock(lock);
	__raw_spin_unlock(&lock->raw_lock);
}

static void rwlock_bug(rwlock_t *lock, const char *msg)
{
159 160 161 162 163
	if (!debug_locks_off())
		return;

	printk(KERN_EMERG "BUG: rwlock %s on CPU#%d, %s/%d, %p\n",
		msg, raw_smp_processor_id(), current->comm,
164
		task_pid_nr(current), lock);
165
	dump_stack();
I
Ingo Molnar 已提交
166 167 168 169
}

#define RWLOCK_BUG_ON(cond, lock, msg) if (unlikely(cond)) rwlock_bug(lock, msg)

170
#if 0		/* __write_lock_debug() can lock up - maybe this can too? */
I
Ingo Molnar 已提交
171 172 173
static void __read_lock_debug(rwlock_t *lock)
{
	u64 i;
174 175
	u64 loops = loops_per_jiffy * HZ;
	int print_once = 1;
I
Ingo Molnar 已提交
176 177

	for (;;) {
178
		for (i = 0; i < loops; i++) {
I
Ingo Molnar 已提交
179 180
			if (__raw_read_trylock(&lock->raw_lock))
				return;
181
			__delay(1);
I
Ingo Molnar 已提交
182 183 184 185
		}
		/* lockup suspected: */
		if (print_once) {
			print_once = 0;
186 187
			printk(KERN_EMERG "BUG: read-lock lockup on CPU#%d, "
					"%s/%d, %p\n",
188 189
				raw_smp_processor_id(), current->comm,
				current->pid, lock);
I
Ingo Molnar 已提交
190 191 192 193
			dump_stack();
		}
	}
}
194
#endif
I
Ingo Molnar 已提交
195 196 197 198

void _raw_read_lock(rwlock_t *lock)
{
	RWLOCK_BUG_ON(lock->magic != RWLOCK_MAGIC, lock, "bad magic");
199
	__raw_read_lock(&lock->raw_lock);
I
Ingo Molnar 已提交
200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244
}

int _raw_read_trylock(rwlock_t *lock)
{
	int ret = __raw_read_trylock(&lock->raw_lock);

#ifndef CONFIG_SMP
	/*
	 * Must not happen on UP:
	 */
	RWLOCK_BUG_ON(!ret, lock, "trylock failure on UP");
#endif
	return ret;
}

void _raw_read_unlock(rwlock_t *lock)
{
	RWLOCK_BUG_ON(lock->magic != RWLOCK_MAGIC, lock, "bad magic");
	__raw_read_unlock(&lock->raw_lock);
}

static inline void debug_write_lock_before(rwlock_t *lock)
{
	RWLOCK_BUG_ON(lock->magic != RWLOCK_MAGIC, lock, "bad magic");
	RWLOCK_BUG_ON(lock->owner == current, lock, "recursion");
	RWLOCK_BUG_ON(lock->owner_cpu == raw_smp_processor_id(),
							lock, "cpu recursion");
}

static inline void debug_write_lock_after(rwlock_t *lock)
{
	lock->owner_cpu = raw_smp_processor_id();
	lock->owner = current;
}

static inline void debug_write_unlock(rwlock_t *lock)
{
	RWLOCK_BUG_ON(lock->magic != RWLOCK_MAGIC, lock, "bad magic");
	RWLOCK_BUG_ON(lock->owner != current, lock, "wrong owner");
	RWLOCK_BUG_ON(lock->owner_cpu != raw_smp_processor_id(),
							lock, "wrong CPU");
	lock->owner = SPINLOCK_OWNER_INIT;
	lock->owner_cpu = -1;
}

245
#if 0		/* This can cause lockups */
I
Ingo Molnar 已提交
246 247 248
static void __write_lock_debug(rwlock_t *lock)
{
	u64 i;
249 250
	u64 loops = loops_per_jiffy * HZ;
	int print_once = 1;
I
Ingo Molnar 已提交
251 252

	for (;;) {
253
		for (i = 0; i < loops; i++) {
I
Ingo Molnar 已提交
254 255
			if (__raw_write_trylock(&lock->raw_lock))
				return;
256
			__delay(1);
I
Ingo Molnar 已提交
257 258 259 260
		}
		/* lockup suspected: */
		if (print_once) {
			print_once = 0;
261 262
			printk(KERN_EMERG "BUG: write-lock lockup on CPU#%d, "
					"%s/%d, %p\n",
263 264
				raw_smp_processor_id(), current->comm,
				current->pid, lock);
I
Ingo Molnar 已提交
265 266 267 268
			dump_stack();
		}
	}
}
269
#endif
I
Ingo Molnar 已提交
270 271 272 273

void _raw_write_lock(rwlock_t *lock)
{
	debug_write_lock_before(lock);
274
	__raw_write_lock(&lock->raw_lock);
I
Ingo Molnar 已提交
275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297
	debug_write_lock_after(lock);
}

int _raw_write_trylock(rwlock_t *lock)
{
	int ret = __raw_write_trylock(&lock->raw_lock);

	if (ret)
		debug_write_lock_after(lock);
#ifndef CONFIG_SMP
	/*
	 * Must not happen on UP:
	 */
	RWLOCK_BUG_ON(!ret, lock, "trylock failure on UP");
#endif
	return ret;
}

void _raw_write_unlock(rwlock_t *lock)
{
	debug_write_unlock(lock);
	__raw_write_unlock(&lock->raw_lock);
}