Blame view
kernel/mutex-debug.c
3.08 KB
408894ee4
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 |
/* * kernel/mutex-debug.c * * Debugging code for mutexes * * Started by Ingo Molnar: * * Copyright (C) 2004, 2005, 2006 Red Hat, Inc., Ingo Molnar <mingo@redhat.com> * * lock debugging, locking tree, deadlock detection started by: * * Copyright (C) 2004, LynuxWorks, Inc., Igor Manyilov, Bill Huey * Released under the General Public License (GPL). */ #include <linux/mutex.h> #include <linux/sched.h> #include <linux/delay.h> #include <linux/module.h> |
a7807a32b
|
19 |
#include <linux/poison.h> |
408894ee4
|
20 21 22 |
#include <linux/spinlock.h> #include <linux/kallsyms.h> #include <linux/interrupt.h> |
9a11b49a8
|
23 |
#include <linux/debug_locks.h> |
408894ee4
|
24 |
|
408894ee4
|
25 26 27 |
#include "mutex-debug.h" /* |
408894ee4
|
28 29 |
* Must be called with lock->wait_lock held. */ |
9a11b49a8
|
30 |
void debug_mutex_set_owner(struct mutex *lock, struct thread_info *new_owner) |
408894ee4
|
31 32 |
{ lock->owner = new_owner; |
408894ee4
|
33 |
} |
9a11b49a8
|
34 |
void debug_mutex_lock_common(struct mutex *lock, struct mutex_waiter *waiter) |
408894ee4
|
35 |
{ |
a7807a32b
|
36 |
memset(waiter, MUTEX_DEBUG_INIT, sizeof(*waiter)); |
408894ee4
|
37 38 39 40 41 42 |
waiter->magic = waiter; INIT_LIST_HEAD(&waiter->list); } void debug_mutex_wake_waiter(struct mutex *lock, struct mutex_waiter *waiter) { |
9e7f4d451
|
43 44 45 46 |
SMP_DEBUG_LOCKS_WARN_ON(!spin_is_locked(&lock->wait_lock)); DEBUG_LOCKS_WARN_ON(list_empty(&lock->wait_list)); DEBUG_LOCKS_WARN_ON(waiter->magic != waiter); DEBUG_LOCKS_WARN_ON(list_empty(&waiter->list)); |
408894ee4
|
47 48 49 50 |
} void debug_mutex_free_waiter(struct mutex_waiter *waiter) { |
9e7f4d451
|
51 |
DEBUG_LOCKS_WARN_ON(!list_empty(&waiter->list)); |
a7807a32b
|
52 |
memset(waiter, MUTEX_DEBUG_FREE, sizeof(*waiter)); |
408894ee4
|
53 54 55 |
} void debug_mutex_add_waiter(struct mutex *lock, struct mutex_waiter *waiter, |
9a11b49a8
|
56 |
struct thread_info *ti) |
408894ee4
|
57 |
{ |
9e7f4d451
|
58 |
SMP_DEBUG_LOCKS_WARN_ON(!spin_is_locked(&lock->wait_lock)); |
9a11b49a8
|
59 |
|
408894ee4
|
60 61 62 63 64 65 66 67 |
/* Mark the current thread as blocked on the lock: */ ti->task->blocked_on = waiter; waiter->lock = lock; } void mutex_remove_waiter(struct mutex *lock, struct mutex_waiter *waiter, struct thread_info *ti) { |
9e7f4d451
|
68 69 70 |
DEBUG_LOCKS_WARN_ON(list_empty(&waiter->list)); DEBUG_LOCKS_WARN_ON(waiter->task != ti->task); DEBUG_LOCKS_WARN_ON(ti->task->blocked_on != waiter); |
408894ee4
|
71 72 73 74 75 76 77 78 |
ti->task->blocked_on = NULL; list_del_init(&waiter->list); waiter->task = NULL; } void debug_mutex_unlock(struct mutex *lock) { |
2ee91f197
|
79 80 |
if (unlikely(!debug_locks)) return; |
9a11b49a8
|
81 |
DEBUG_LOCKS_WARN_ON(lock->owner != current_thread_info()); |
9e7f4d451
|
82 83 84 |
DEBUG_LOCKS_WARN_ON(lock->magic != lock); DEBUG_LOCKS_WARN_ON(!lock->wait_list.prev && !lock->wait_list.next); DEBUG_LOCKS_WARN_ON(lock->owner != current_thread_info()); |
408894ee4
|
85 |
} |
ef5d4707b
|
86 87 |
void debug_mutex_init(struct mutex *lock, const char *name, struct lock_class_key *key) |
408894ee4
|
88 |
{ |
ef5d4707b
|
89 |
#ifdef CONFIG_DEBUG_LOCK_ALLOC |
408894ee4
|
90 91 92 |
/* * Make sure we are not reinitializing a held lock: */ |
9a11b49a8
|
93 |
debug_check_no_locks_freed((void *)lock, sizeof(*lock)); |
4dfbb9d8c
|
94 |
lockdep_init_map(&lock->dep_map, name, key, 0); |
ef5d4707b
|
95 |
#endif |
408894ee4
|
96 |
lock->owner = NULL; |
408894ee4
|
97 98 99 100 101 102 103 104 105 106 107 108 109 |
lock->magic = lock; } /*** * mutex_destroy - mark a mutex unusable * @lock: the mutex to be destroyed * * This function marks the mutex uninitialized, and any subsequent * use of the mutex is forbidden. The mutex must not be locked when * this function is called. */ void fastcall mutex_destroy(struct mutex *lock) { |
9e7f4d451
|
110 |
DEBUG_LOCKS_WARN_ON(mutex_is_locked(lock)); |
408894ee4
|
111 112 113 114 |
lock->magic = NULL; } EXPORT_SYMBOL_GPL(mutex_destroy); |