Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 1 | /* |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 2 | * Debugging code for mutexes |
| 3 | * |
| 4 | * Started by Ingo Molnar: |
| 5 | * |
| 6 | * Copyright (C) 2004, 2005, 2006 Red Hat, Inc., Ingo Molnar <mingo@redhat.com> |
| 7 | * |
| 8 | * lock debugging, locking tree, deadlock detection started by: |
| 9 | * |
| 10 | * Copyright (C) 2004, LynuxWorks, Inc., Igor Manyilov, Bill Huey |
| 11 | * Released under the General Public License (GPL). |
| 12 | */ |
| 13 | #include <linux/mutex.h> |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 14 | #include <linux/delay.h> |
Paul Gortmaker | 9984de1 | 2011-05-23 14:51:41 -0400 | [diff] [blame] | 15 | #include <linux/export.h> |
Randy Dunlap | a7807a3 | 2006-06-27 02:53:54 -0700 | [diff] [blame] | 16 | #include <linux/poison.h> |
Alexey Dobriyan | d43c36d | 2009-10-07 17:09:06 +0400 | [diff] [blame] | 17 | #include <linux/sched.h> |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 18 | #include <linux/spinlock.h> |
| 19 | #include <linux/kallsyms.h> |
| 20 | #include <linux/interrupt.h> |
Ingo Molnar | 9a11b49a | 2006-07-03 00:24:33 -0700 | [diff] [blame] | 21 | #include <linux/debug_locks.h> |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 22 | |
Thomas Gleixner | a321fb9 | 2021-08-17 16:17:38 +0200 | [diff] [blame] | 23 | #include "mutex.h" |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 24 | |
| 25 | /* |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 26 | * Must be called with lock->wait_lock held. |
| 27 | */ |
Ingo Molnar | 9a11b49a | 2006-07-03 00:24:33 -0700 | [diff] [blame] | 28 | void debug_mutex_lock_common(struct mutex *lock, struct mutex_waiter *waiter) |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 29 | { |
Randy Dunlap | a7807a3 | 2006-06-27 02:53:54 -0700 | [diff] [blame] | 30 | memset(waiter, MUTEX_DEBUG_INIT, sizeof(*waiter)); |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 31 | waiter->magic = waiter; |
| 32 | INIT_LIST_HEAD(&waiter->list); |
Peter Zijlstra | c0afb0f | 2021-08-15 23:28:39 +0200 | [diff] [blame] | 33 | waiter->ww_ctx = MUTEX_POISON_WW_CTX; |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 34 | } |
| 35 | |
| 36 | void debug_mutex_wake_waiter(struct mutex *lock, struct mutex_waiter *waiter) |
| 37 | { |
Lance Roy | 0454772 | 2018-10-04 23:45:46 -0700 | [diff] [blame] | 38 | lockdep_assert_held(&lock->wait_lock); |
Ingo Molnar | 9e7f4d4 | 2006-07-03 00:24:30 -0700 | [diff] [blame] | 39 | DEBUG_LOCKS_WARN_ON(list_empty(&lock->wait_list)); |
| 40 | DEBUG_LOCKS_WARN_ON(waiter->magic != waiter); |
| 41 | DEBUG_LOCKS_WARN_ON(list_empty(&waiter->list)); |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 42 | } |
| 43 | |
| 44 | void debug_mutex_free_waiter(struct mutex_waiter *waiter) |
| 45 | { |
Ingo Molnar | 9e7f4d4 | 2006-07-03 00:24:30 -0700 | [diff] [blame] | 46 | DEBUG_LOCKS_WARN_ON(!list_empty(&waiter->list)); |
Randy Dunlap | a7807a3 | 2006-06-27 02:53:54 -0700 | [diff] [blame] | 47 | memset(waiter, MUTEX_DEBUG_FREE, sizeof(*waiter)); |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 48 | } |
| 49 | |
| 50 | void debug_mutex_add_waiter(struct mutex *lock, struct mutex_waiter *waiter, |
Linus Torvalds | 6720a30 | 2016-06-23 12:11:17 -0700 | [diff] [blame] | 51 | struct task_struct *task) |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 52 | { |
Lance Roy | 0454772 | 2018-10-04 23:45:46 -0700 | [diff] [blame] | 53 | lockdep_assert_held(&lock->wait_lock); |
Ingo Molnar | 9a11b49a | 2006-07-03 00:24:33 -0700 | [diff] [blame] | 54 | |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 55 | /* Mark the current thread as blocked on the lock: */ |
Linus Torvalds | 6720a30 | 2016-06-23 12:11:17 -0700 | [diff] [blame] | 56 | task->blocked_on = waiter; |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 57 | } |
| 58 | |
Zqiang | 3a010c4 | 2021-05-17 11:40:05 +0800 | [diff] [blame] | 59 | void debug_mutex_remove_waiter(struct mutex *lock, struct mutex_waiter *waiter, |
Linus Torvalds | 6720a30 | 2016-06-23 12:11:17 -0700 | [diff] [blame] | 60 | struct task_struct *task) |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 61 | { |
Ingo Molnar | 9e7f4d4 | 2006-07-03 00:24:30 -0700 | [diff] [blame] | 62 | DEBUG_LOCKS_WARN_ON(list_empty(&waiter->list)); |
Linus Torvalds | 6720a30 | 2016-06-23 12:11:17 -0700 | [diff] [blame] | 63 | DEBUG_LOCKS_WARN_ON(waiter->task != task); |
| 64 | DEBUG_LOCKS_WARN_ON(task->blocked_on != waiter); |
| 65 | task->blocked_on = NULL; |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 66 | |
Zqiang | 3a010c4 | 2021-05-17 11:40:05 +0800 | [diff] [blame] | 67 | INIT_LIST_HEAD(&waiter->list); |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 68 | waiter->task = NULL; |
| 69 | } |
| 70 | |
| 71 | void debug_mutex_unlock(struct mutex *lock) |
| 72 | { |
Peter Zijlstra | a227960 | 2014-04-10 16:15:59 +0200 | [diff] [blame] | 73 | if (likely(debug_locks)) { |
| 74 | DEBUG_LOCKS_WARN_ON(lock->magic != lock); |
Peter Zijlstra | a227960 | 2014-04-10 16:15:59 +0200 | [diff] [blame] | 75 | DEBUG_LOCKS_WARN_ON(!lock->wait_list.prev && !lock->wait_list.next); |
Peter Zijlstra | a227960 | 2014-04-10 16:15:59 +0200 | [diff] [blame] | 76 | } |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 77 | } |
| 78 | |
Ingo Molnar | ef5d470 | 2006-07-03 00:24:55 -0700 | [diff] [blame] | 79 | void debug_mutex_init(struct mutex *lock, const char *name, |
| 80 | struct lock_class_key *key) |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 81 | { |
Ingo Molnar | ef5d470 | 2006-07-03 00:24:55 -0700 | [diff] [blame] | 82 | #ifdef CONFIG_DEBUG_LOCK_ALLOC |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 83 | /* |
| 84 | * Make sure we are not reinitializing a held lock: |
| 85 | */ |
Ingo Molnar | 9a11b49a | 2006-07-03 00:24:33 -0700 | [diff] [blame] | 86 | debug_check_no_locks_freed((void *)lock, sizeof(*lock)); |
Peter Zijlstra | de8f5e4 | 2020-03-21 12:26:01 +0100 | [diff] [blame] | 87 | lockdep_init_map_wait(&lock->dep_map, name, key, 0, LD_WAIT_SLEEP); |
Ingo Molnar | ef5d470 | 2006-07-03 00:24:55 -0700 | [diff] [blame] | 88 | #endif |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 89 | lock->magic = lock; |
| 90 | } |
| 91 | |
| 92 | /*** |
| 93 | * mutex_destroy - mark a mutex unusable |
| 94 | * @lock: the mutex to be destroyed |
| 95 | * |
| 96 | * This function marks the mutex uninitialized, and any subsequent |
| 97 | * use of the mutex is forbidden. The mutex must not be locked when |
| 98 | * this function is called. |
| 99 | */ |
Harvey Harrison | 7ad5b3a | 2008-02-08 04:19:53 -0800 | [diff] [blame] | 100 | void mutex_destroy(struct mutex *lock) |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 101 | { |
Ingo Molnar | 9e7f4d4 | 2006-07-03 00:24:30 -0700 | [diff] [blame] | 102 | DEBUG_LOCKS_WARN_ON(mutex_is_locked(lock)); |
Ingo Molnar | 408894e | 2006-01-09 15:59:20 -0800 | [diff] [blame] | 103 | lock->magic = NULL; |
| 104 | } |
| 105 | |
| 106 | EXPORT_SYMBOL_GPL(mutex_destroy); |