xref: /linux-6.15/lib/locking-selftest.c (revision 12235da8)
1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
2cae2ed9aSIngo Molnar /*
3cae2ed9aSIngo Molnar  * lib/locking-selftest.c
4cae2ed9aSIngo Molnar  *
5cae2ed9aSIngo Molnar  * Testsuite for various locking APIs: spinlocks, rwlocks,
6cae2ed9aSIngo Molnar  * mutexes and rw-semaphores.
7cae2ed9aSIngo Molnar  *
8cae2ed9aSIngo Molnar  * It is checking both false positives and false negatives.
9cae2ed9aSIngo Molnar  *
10cae2ed9aSIngo Molnar  * Started by Ingo Molnar:
11cae2ed9aSIngo Molnar  *
12cae2ed9aSIngo Molnar  *  Copyright (C) 2006 Red Hat, Inc., Ingo Molnar <[email protected]>
13cae2ed9aSIngo Molnar  */
14cae2ed9aSIngo Molnar #include <linux/rwsem.h>
15cae2ed9aSIngo Molnar #include <linux/mutex.h>
161b375dc3SMaarten Lankhorst #include <linux/ww_mutex.h>
17cae2ed9aSIngo Molnar #include <linux/sched.h>
18d5037d1dSDaniel Vetter #include <linux/sched/mm.h>
19cae2ed9aSIngo Molnar #include <linux/delay.h>
20fbb9ce95SIngo Molnar #include <linux/lockdep.h>
21cae2ed9aSIngo Molnar #include <linux/spinlock.h>
22cae2ed9aSIngo Molnar #include <linux/kallsyms.h>
23cae2ed9aSIngo Molnar #include <linux/interrupt.h>
24cae2ed9aSIngo Molnar #include <linux/debug_locks.h>
25cae2ed9aSIngo Molnar #include <linux/irqflags.h>
26018956d6SPeter Zijlstra #include <linux/rtmutex.h>
277e923e6aSPeter Zijlstra #include <linux/local_lock.h>
28cae2ed9aSIngo Molnar 
29cae2ed9aSIngo Molnar /*
30cae2ed9aSIngo Molnar  * Change this to 1 if you want to see the failure printouts:
31cae2ed9aSIngo Molnar  */
32cae2ed9aSIngo Molnar static unsigned int debug_locks_verbose;
33e9181886SBoqun Feng unsigned int force_read_lock_recursive;
34cae2ed9aSIngo Molnar 
3508295b3bSThomas Hellstrom static DEFINE_WD_CLASS(ww_lockdep);
361de99445SMaarten Lankhorst 
37cae2ed9aSIngo Molnar static int __init setup_debug_locks_verbose(char *str)
38cae2ed9aSIngo Molnar {
39cae2ed9aSIngo Molnar 	get_option(&str, &debug_locks_verbose);
40cae2ed9aSIngo Molnar 
41cae2ed9aSIngo Molnar 	return 1;
42cae2ed9aSIngo Molnar }
43cae2ed9aSIngo Molnar 
44cae2ed9aSIngo Molnar __setup("debug_locks_verbose=", setup_debug_locks_verbose);
45cae2ed9aSIngo Molnar 
46cae2ed9aSIngo Molnar #define FAILURE		0
47cae2ed9aSIngo Molnar #define SUCCESS		1
48cae2ed9aSIngo Molnar 
49cae2ed9aSIngo Molnar #define LOCKTYPE_SPIN	0x1
50cae2ed9aSIngo Molnar #define LOCKTYPE_RWLOCK	0x2
51cae2ed9aSIngo Molnar #define LOCKTYPE_MUTEX	0x4
52cae2ed9aSIngo Molnar #define LOCKTYPE_RWSEM	0x8
531de99445SMaarten Lankhorst #define LOCKTYPE_WW	0x10
54018956d6SPeter Zijlstra #define LOCKTYPE_RTMUTEX 0x20
557e923e6aSPeter Zijlstra #define LOCKTYPE_LL	0x40
568946ccc2SBoqun Feng #define LOCKTYPE_SPECIAL 0x80
571de99445SMaarten Lankhorst 
581de99445SMaarten Lankhorst static struct ww_acquire_ctx t, t2;
59f3cf139eSMaarten Lankhorst static struct ww_mutex o, o2, o3;
60cae2ed9aSIngo Molnar 
61cae2ed9aSIngo Molnar /*
62cae2ed9aSIngo Molnar  * Normal standalone locks, for the circular and irq-context
63cae2ed9aSIngo Molnar  * dependency tests:
64cae2ed9aSIngo Molnar  */
65a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_A);
66a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_B);
67a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_C);
68a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_D);
69cae2ed9aSIngo Molnar 
709271a40dSBoqun Feng static DEFINE_RAW_SPINLOCK(raw_lock_A);
719271a40dSBoqun Feng static DEFINE_RAW_SPINLOCK(raw_lock_B);
729271a40dSBoqun Feng 
73cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_A);
74cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_B);
75cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_C);
76cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_D);
77cae2ed9aSIngo Molnar 
78cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_A);
79cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_B);
80cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_C);
81cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_D);
82cae2ed9aSIngo Molnar 
83cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_A);
84cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_B);
85cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_C);
86cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_D);
87cae2ed9aSIngo Molnar 
88018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
89018956d6SPeter Zijlstra 
90018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_A);
91018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_B);
92018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_C);
93018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_D);
94018956d6SPeter Zijlstra 
95018956d6SPeter Zijlstra #endif
96018956d6SPeter Zijlstra 
97cae2ed9aSIngo Molnar /*
98cae2ed9aSIngo Molnar  * Locks that we initialize dynamically as well so that
99cae2ed9aSIngo Molnar  * e.g. X1 and X2 becomes two instances of the same class,
100cae2ed9aSIngo Molnar  * but X* and Y* are different classes. We do this so that
101cae2ed9aSIngo Molnar  * we do not trigger a real lockup:
102cae2ed9aSIngo Molnar  */
103a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_X1);
104a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_X2);
105a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_Y1);
106a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_Y2);
107a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_Z1);
108a2e9ae58SPeter Zijlstra static DEFINE_SPINLOCK(lock_Z2);
109cae2ed9aSIngo Molnar 
110cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_X1);
111cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_X2);
112cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Y1);
113cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Y2);
114cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Z1);
115cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Z2);
116cae2ed9aSIngo Molnar 
117cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_X1);
118cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_X2);
119cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Y1);
120cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Y2);
121cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Z1);
122cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Z2);
123cae2ed9aSIngo Molnar 
124cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_X1);
125cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_X2);
126cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Y1);
127cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Y2);
128cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Z1);
129cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Z2);
130cae2ed9aSIngo Molnar 
131018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
132018956d6SPeter Zijlstra 
133018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_X1);
134018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_X2);
135018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Y1);
136018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Y2);
137018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Z1);
138018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Z2);
139018956d6SPeter Zijlstra 
140018956d6SPeter Zijlstra #endif
141018956d6SPeter Zijlstra 
1427e923e6aSPeter Zijlstra static local_lock_t local_A = INIT_LOCAL_LOCK(local_A);
1437e923e6aSPeter Zijlstra 
144cae2ed9aSIngo Molnar /*
145cae2ed9aSIngo Molnar  * non-inlined runtime initializers, to let separate locks share
146cae2ed9aSIngo Molnar  * the same lock-class:
147cae2ed9aSIngo Molnar  */
148cae2ed9aSIngo Molnar #define INIT_CLASS_FUNC(class) 				\
149cae2ed9aSIngo Molnar static noinline void					\
150a2e9ae58SPeter Zijlstra init_class_##class(spinlock_t *lock, rwlock_t *rwlock, \
1519fb1b90cSYong Zhang 	struct mutex *mutex, struct rw_semaphore *rwsem)\
152cae2ed9aSIngo Molnar {							\
153a2e9ae58SPeter Zijlstra 	spin_lock_init(lock);			\
154cae2ed9aSIngo Molnar 	rwlock_init(rwlock);				\
155cae2ed9aSIngo Molnar 	mutex_init(mutex);				\
156cae2ed9aSIngo Molnar 	init_rwsem(rwsem);				\
157cae2ed9aSIngo Molnar }
158cae2ed9aSIngo Molnar 
159cae2ed9aSIngo Molnar INIT_CLASS_FUNC(X)
160cae2ed9aSIngo Molnar INIT_CLASS_FUNC(Y)
161cae2ed9aSIngo Molnar INIT_CLASS_FUNC(Z)
162cae2ed9aSIngo Molnar 
163cae2ed9aSIngo Molnar static void init_shared_classes(void)
164cae2ed9aSIngo Molnar {
165018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
166018956d6SPeter Zijlstra 	static struct lock_class_key rt_X, rt_Y, rt_Z;
167018956d6SPeter Zijlstra 
168018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_X1, __func__, &rt_X);
169018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_X2, __func__, &rt_X);
170018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Y1, __func__, &rt_Y);
171018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Y2, __func__, &rt_Y);
172018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Z1, __func__, &rt_Z);
173018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Z2, __func__, &rt_Z);
174018956d6SPeter Zijlstra #endif
175018956d6SPeter Zijlstra 
176cae2ed9aSIngo Molnar 	init_class_X(&lock_X1, &rwlock_X1, &mutex_X1, &rwsem_X1);
177cae2ed9aSIngo Molnar 	init_class_X(&lock_X2, &rwlock_X2, &mutex_X2, &rwsem_X2);
178cae2ed9aSIngo Molnar 
179cae2ed9aSIngo Molnar 	init_class_Y(&lock_Y1, &rwlock_Y1, &mutex_Y1, &rwsem_Y1);
180cae2ed9aSIngo Molnar 	init_class_Y(&lock_Y2, &rwlock_Y2, &mutex_Y2, &rwsem_Y2);
181cae2ed9aSIngo Molnar 
182cae2ed9aSIngo Molnar 	init_class_Z(&lock_Z1, &rwlock_Z1, &mutex_Z1, &rwsem_Z1);
183cae2ed9aSIngo Molnar 	init_class_Z(&lock_Z2, &rwlock_Z2, &mutex_Z2, &rwsem_Z2);
184cae2ed9aSIngo Molnar }
185cae2ed9aSIngo Molnar 
186cae2ed9aSIngo Molnar /*
187cae2ed9aSIngo Molnar  * For spinlocks and rwlocks we also do hardirq-safe / softirq-safe tests.
188cae2ed9aSIngo Molnar  * The following functions use a lock from a simulated hardirq/softirq
189cae2ed9aSIngo Molnar  * context, causing the locks to be marked as hardirq-safe/softirq-safe:
190cae2ed9aSIngo Molnar  */
191cae2ed9aSIngo Molnar 
192cae2ed9aSIngo Molnar #define HARDIRQ_DISABLE		local_irq_disable
193cae2ed9aSIngo Molnar #define HARDIRQ_ENABLE		local_irq_enable
194cae2ed9aSIngo Molnar 
195cae2ed9aSIngo Molnar #define HARDIRQ_ENTER()				\
196cae2ed9aSIngo Molnar 	local_irq_disable();			\
197ba9f207cSFrederic Weisbecker 	__irq_enter();				\
198c0c2c0daSPeter Zijlstra 	lockdep_hardirq_threaded();		\
199cae2ed9aSIngo Molnar 	WARN_ON(!in_irq());
200cae2ed9aSIngo Molnar 
201cae2ed9aSIngo Molnar #define HARDIRQ_EXIT()				\
202cae2ed9aSIngo Molnar 	__irq_exit();				\
203cae2ed9aSIngo Molnar 	local_irq_enable();
204cae2ed9aSIngo Molnar 
205cae2ed9aSIngo Molnar #define SOFTIRQ_DISABLE		local_bh_disable
206cae2ed9aSIngo Molnar #define SOFTIRQ_ENABLE		local_bh_enable
207cae2ed9aSIngo Molnar 
208cae2ed9aSIngo Molnar #define SOFTIRQ_ENTER()				\
209cae2ed9aSIngo Molnar 		local_bh_disable();		\
210cae2ed9aSIngo Molnar 		local_irq_disable();		\
211d820ac4cSIngo Molnar 		lockdep_softirq_enter();	\
212cae2ed9aSIngo Molnar 		WARN_ON(!in_softirq());
213cae2ed9aSIngo Molnar 
214cae2ed9aSIngo Molnar #define SOFTIRQ_EXIT()				\
215d820ac4cSIngo Molnar 		lockdep_softirq_exit();		\
216cae2ed9aSIngo Molnar 		local_irq_enable();		\
217cae2ed9aSIngo Molnar 		local_bh_enable();
218cae2ed9aSIngo Molnar 
219cae2ed9aSIngo Molnar /*
220cae2ed9aSIngo Molnar  * Shortcuts for lock/unlock API variants, to keep
221cae2ed9aSIngo Molnar  * the testcases compact:
222cae2ed9aSIngo Molnar  */
223a2e9ae58SPeter Zijlstra #define L(x)			spin_lock(&lock_##x)
224a2e9ae58SPeter Zijlstra #define U(x)			spin_unlock(&lock_##x)
225cae2ed9aSIngo Molnar #define LU(x)			L(x); U(x)
226a2e9ae58SPeter Zijlstra #define SI(x)			spin_lock_init(&lock_##x)
227cae2ed9aSIngo Molnar 
228cae2ed9aSIngo Molnar #define WL(x)			write_lock(&rwlock_##x)
229cae2ed9aSIngo Molnar #define WU(x)			write_unlock(&rwlock_##x)
230cae2ed9aSIngo Molnar #define WLU(x)			WL(x); WU(x)
231cae2ed9aSIngo Molnar 
232cae2ed9aSIngo Molnar #define RL(x)			read_lock(&rwlock_##x)
233cae2ed9aSIngo Molnar #define RU(x)			read_unlock(&rwlock_##x)
234cae2ed9aSIngo Molnar #define RLU(x)			RL(x); RU(x)
235cae2ed9aSIngo Molnar #define RWI(x)			rwlock_init(&rwlock_##x)
236cae2ed9aSIngo Molnar 
237cae2ed9aSIngo Molnar #define ML(x)			mutex_lock(&mutex_##x)
238cae2ed9aSIngo Molnar #define MU(x)			mutex_unlock(&mutex_##x)
239cae2ed9aSIngo Molnar #define MI(x)			mutex_init(&mutex_##x)
240cae2ed9aSIngo Molnar 
241018956d6SPeter Zijlstra #define RTL(x)			rt_mutex_lock(&rtmutex_##x)
242018956d6SPeter Zijlstra #define RTU(x)			rt_mutex_unlock(&rtmutex_##x)
243018956d6SPeter Zijlstra #define RTI(x)			rt_mutex_init(&rtmutex_##x)
244018956d6SPeter Zijlstra 
245cae2ed9aSIngo Molnar #define WSL(x)			down_write(&rwsem_##x)
246cae2ed9aSIngo Molnar #define WSU(x)			up_write(&rwsem_##x)
247cae2ed9aSIngo Molnar 
248cae2ed9aSIngo Molnar #define RSL(x)			down_read(&rwsem_##x)
249cae2ed9aSIngo Molnar #define RSU(x)			up_read(&rwsem_##x)
250cae2ed9aSIngo Molnar #define RWSI(x)			init_rwsem(&rwsem_##x)
251cae2ed9aSIngo Molnar 
2521de99445SMaarten Lankhorst #ifndef CONFIG_DEBUG_WW_MUTEX_SLOWPATH
2531de99445SMaarten Lankhorst #define WWAI(x)			ww_acquire_init(x, &ww_lockdep)
2541de99445SMaarten Lankhorst #else
2551de99445SMaarten Lankhorst #define WWAI(x)			do { ww_acquire_init(x, &ww_lockdep); (x)->deadlock_inject_countdown = ~0U; } while (0)
2561de99445SMaarten Lankhorst #endif
2571de99445SMaarten Lankhorst #define WWAD(x)			ww_acquire_done(x)
2581de99445SMaarten Lankhorst #define WWAF(x)			ww_acquire_fini(x)
2591de99445SMaarten Lankhorst 
2601de99445SMaarten Lankhorst #define WWL(x, c)		ww_mutex_lock(x, c)
261*12235da8SMaarten Lankhorst #define WWT(x)			ww_mutex_trylock(x, NULL)
2621de99445SMaarten Lankhorst #define WWL1(x)			ww_mutex_lock(x, NULL)
2631de99445SMaarten Lankhorst #define WWU(x)			ww_mutex_unlock(x)
2641de99445SMaarten Lankhorst 
2651de99445SMaarten Lankhorst 
266cae2ed9aSIngo Molnar #define LOCK_UNLOCK_2(x,y)	LOCK(x); LOCK(y); UNLOCK(y); UNLOCK(x)
267cae2ed9aSIngo Molnar 
268cae2ed9aSIngo Molnar /*
269cae2ed9aSIngo Molnar  * Generate different permutations of the same testcase, using
270cae2ed9aSIngo Molnar  * the same basic lock-dependency/state events:
271cae2ed9aSIngo Molnar  */
272cae2ed9aSIngo Molnar 
273cae2ed9aSIngo Molnar #define GENERATE_TESTCASE(name)			\
274cae2ed9aSIngo Molnar 						\
275cae2ed9aSIngo Molnar static void name(void) { E(); }
276cae2ed9aSIngo Molnar 
277cae2ed9aSIngo Molnar #define GENERATE_PERMUTATIONS_2_EVENTS(name)	\
278cae2ed9aSIngo Molnar 						\
279cae2ed9aSIngo Molnar static void name##_12(void) { E1(); E2(); }	\
280cae2ed9aSIngo Molnar static void name##_21(void) { E2(); E1(); }
281cae2ed9aSIngo Molnar 
282cae2ed9aSIngo Molnar #define GENERATE_PERMUTATIONS_3_EVENTS(name)		\
283cae2ed9aSIngo Molnar 							\
284cae2ed9aSIngo Molnar static void name##_123(void) { E1(); E2(); E3(); }	\
285cae2ed9aSIngo Molnar static void name##_132(void) { E1(); E3(); E2(); }	\
286cae2ed9aSIngo Molnar static void name##_213(void) { E2(); E1(); E3(); }	\
287cae2ed9aSIngo Molnar static void name##_231(void) { E2(); E3(); E1(); }	\
288cae2ed9aSIngo Molnar static void name##_312(void) { E3(); E1(); E2(); }	\
289cae2ed9aSIngo Molnar static void name##_321(void) { E3(); E2(); E1(); }
290cae2ed9aSIngo Molnar 
291cae2ed9aSIngo Molnar /*
292cae2ed9aSIngo Molnar  * AA deadlock:
293cae2ed9aSIngo Molnar  */
294cae2ed9aSIngo Molnar 
295cae2ed9aSIngo Molnar #define E()					\
296cae2ed9aSIngo Molnar 						\
297cae2ed9aSIngo Molnar 	LOCK(X1);				\
298cae2ed9aSIngo Molnar 	LOCK(X2); /* this one should fail */
299cae2ed9aSIngo Molnar 
300cae2ed9aSIngo Molnar /*
301cae2ed9aSIngo Molnar  * 6 testcases:
302cae2ed9aSIngo Molnar  */
303cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
304cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_spin)
305cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
306cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_wlock)
307cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
308cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_rlock)
309cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
310cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_mutex)
311cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
312cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_wsem)
313cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
314cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_rsem)
315cae2ed9aSIngo Molnar 
316018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
317018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
318018956d6SPeter Zijlstra GENERATE_TESTCASE(AA_rtmutex);
319018956d6SPeter Zijlstra #endif
320018956d6SPeter Zijlstra 
321cae2ed9aSIngo Molnar #undef E
322cae2ed9aSIngo Molnar 
323cae2ed9aSIngo Molnar /*
324cae2ed9aSIngo Molnar  * Special-case for read-locking, they are
3256c9076ecSIngo Molnar  * allowed to recurse on the same lock class:
326cae2ed9aSIngo Molnar  */
327cae2ed9aSIngo Molnar static void rlock_AA1(void)
328cae2ed9aSIngo Molnar {
329cae2ed9aSIngo Molnar 	RL(X1);
330cae2ed9aSIngo Molnar 	RL(X1); // this one should NOT fail
331cae2ed9aSIngo Molnar }
332cae2ed9aSIngo Molnar 
333cae2ed9aSIngo Molnar static void rlock_AA1B(void)
334cae2ed9aSIngo Molnar {
335cae2ed9aSIngo Molnar 	RL(X1);
3366c9076ecSIngo Molnar 	RL(X2); // this one should NOT fail
337cae2ed9aSIngo Molnar }
338cae2ed9aSIngo Molnar 
339cae2ed9aSIngo Molnar static void rsem_AA1(void)
340cae2ed9aSIngo Molnar {
341cae2ed9aSIngo Molnar 	RSL(X1);
342cae2ed9aSIngo Molnar 	RSL(X1); // this one should fail
343cae2ed9aSIngo Molnar }
344cae2ed9aSIngo Molnar 
345cae2ed9aSIngo Molnar static void rsem_AA1B(void)
346cae2ed9aSIngo Molnar {
347cae2ed9aSIngo Molnar 	RSL(X1);
348cae2ed9aSIngo Molnar 	RSL(X2); // this one should fail
349cae2ed9aSIngo Molnar }
350cae2ed9aSIngo Molnar /*
351cae2ed9aSIngo Molnar  * The mixing of read and write locks is not allowed:
352cae2ed9aSIngo Molnar  */
353cae2ed9aSIngo Molnar static void rlock_AA2(void)
354cae2ed9aSIngo Molnar {
355cae2ed9aSIngo Molnar 	RL(X1);
356cae2ed9aSIngo Molnar 	WL(X2); // this one should fail
357cae2ed9aSIngo Molnar }
358cae2ed9aSIngo Molnar 
359cae2ed9aSIngo Molnar static void rsem_AA2(void)
360cae2ed9aSIngo Molnar {
361cae2ed9aSIngo Molnar 	RSL(X1);
362cae2ed9aSIngo Molnar 	WSL(X2); // this one should fail
363cae2ed9aSIngo Molnar }
364cae2ed9aSIngo Molnar 
365cae2ed9aSIngo Molnar static void rlock_AA3(void)
366cae2ed9aSIngo Molnar {
367cae2ed9aSIngo Molnar 	WL(X1);
368cae2ed9aSIngo Molnar 	RL(X2); // this one should fail
369cae2ed9aSIngo Molnar }
370cae2ed9aSIngo Molnar 
371cae2ed9aSIngo Molnar static void rsem_AA3(void)
372cae2ed9aSIngo Molnar {
373cae2ed9aSIngo Molnar 	WSL(X1);
374cae2ed9aSIngo Molnar 	RSL(X2); // this one should fail
375cae2ed9aSIngo Molnar }
376cae2ed9aSIngo Molnar 
377cae2ed9aSIngo Molnar /*
378e9149858SPeter Zijlstra  * read_lock(A)
379e9149858SPeter Zijlstra  * spin_lock(B)
380e9149858SPeter Zijlstra  *		spin_lock(B)
381e9149858SPeter Zijlstra  *		write_lock(A)
382e9149858SPeter Zijlstra  */
383e9149858SPeter Zijlstra static void rlock_ABBA1(void)
384e9149858SPeter Zijlstra {
385e9149858SPeter Zijlstra 	RL(X1);
386e9149858SPeter Zijlstra 	L(Y1);
387e9149858SPeter Zijlstra 	U(Y1);
388e9149858SPeter Zijlstra 	RU(X1);
389e9149858SPeter Zijlstra 
390e9149858SPeter Zijlstra 	L(Y1);
391e9149858SPeter Zijlstra 	WL(X1);
392e9149858SPeter Zijlstra 	WU(X1);
393e9149858SPeter Zijlstra 	U(Y1); // should fail
394e9149858SPeter Zijlstra }
395e9149858SPeter Zijlstra 
396e9149858SPeter Zijlstra static void rwsem_ABBA1(void)
397e9149858SPeter Zijlstra {
398e9149858SPeter Zijlstra 	RSL(X1);
399e9149858SPeter Zijlstra 	ML(Y1);
400e9149858SPeter Zijlstra 	MU(Y1);
401e9149858SPeter Zijlstra 	RSU(X1);
402e9149858SPeter Zijlstra 
403e9149858SPeter Zijlstra 	ML(Y1);
404e9149858SPeter Zijlstra 	WSL(X1);
405e9149858SPeter Zijlstra 	WSU(X1);
406e9149858SPeter Zijlstra 	MU(Y1); // should fail
407e9149858SPeter Zijlstra }
408e9149858SPeter Zijlstra 
409e9149858SPeter Zijlstra /*
410e9149858SPeter Zijlstra  * read_lock(A)
411e9149858SPeter Zijlstra  * spin_lock(B)
412e9149858SPeter Zijlstra  *		spin_lock(B)
413d4f200e5SBoqun Feng  *		write_lock(A)
414d4f200e5SBoqun Feng  *
415d4f200e5SBoqun Feng  * This test case is aimed at poking whether the chain cache prevents us from
416d4f200e5SBoqun Feng  * detecting a read-lock/lock-write deadlock: if the chain cache doesn't differ
417d4f200e5SBoqun Feng  * read/write locks, the following case may happen
418d4f200e5SBoqun Feng  *
419d4f200e5SBoqun Feng  * 	{ read_lock(A)->lock(B) dependency exists }
420d4f200e5SBoqun Feng  *
421d4f200e5SBoqun Feng  * 	P0:
422d4f200e5SBoqun Feng  * 	lock(B);
423d4f200e5SBoqun Feng  * 	read_lock(A);
424d4f200e5SBoqun Feng  *
425d4f200e5SBoqun Feng  *	{ Not a deadlock, B -> A is added in the chain cache }
426d4f200e5SBoqun Feng  *
427d4f200e5SBoqun Feng  *	P1:
428d4f200e5SBoqun Feng  *	lock(B);
429d4f200e5SBoqun Feng  *	write_lock(A);
430d4f200e5SBoqun Feng  *
431d4f200e5SBoqun Feng  *	{ B->A found in chain cache, not reported as a deadlock }
432d4f200e5SBoqun Feng  *
433d4f200e5SBoqun Feng  */
434d4f200e5SBoqun Feng static void rlock_chaincache_ABBA1(void)
435d4f200e5SBoqun Feng {
436d4f200e5SBoqun Feng 	RL(X1);
437d4f200e5SBoqun Feng 	L(Y1);
438d4f200e5SBoqun Feng 	U(Y1);
439d4f200e5SBoqun Feng 	RU(X1);
440d4f200e5SBoqun Feng 
441d4f200e5SBoqun Feng 	L(Y1);
442d4f200e5SBoqun Feng 	RL(X1);
443d4f200e5SBoqun Feng 	RU(X1);
444d4f200e5SBoqun Feng 	U(Y1);
445d4f200e5SBoqun Feng 
446d4f200e5SBoqun Feng 	L(Y1);
447d4f200e5SBoqun Feng 	WL(X1);
448d4f200e5SBoqun Feng 	WU(X1);
449d4f200e5SBoqun Feng 	U(Y1); // should fail
450d4f200e5SBoqun Feng }
451d4f200e5SBoqun Feng 
452d4f200e5SBoqun Feng /*
453d4f200e5SBoqun Feng  * read_lock(A)
454d4f200e5SBoqun Feng  * spin_lock(B)
455d4f200e5SBoqun Feng  *		spin_lock(B)
456e9149858SPeter Zijlstra  *		read_lock(A)
457e9149858SPeter Zijlstra  */
458e9149858SPeter Zijlstra static void rlock_ABBA2(void)
459e9149858SPeter Zijlstra {
460e9149858SPeter Zijlstra 	RL(X1);
461e9149858SPeter Zijlstra 	L(Y1);
462e9149858SPeter Zijlstra 	U(Y1);
463e9149858SPeter Zijlstra 	RU(X1);
464e9149858SPeter Zijlstra 
465e9149858SPeter Zijlstra 	L(Y1);
466e9149858SPeter Zijlstra 	RL(X1);
467e9149858SPeter Zijlstra 	RU(X1);
468e9149858SPeter Zijlstra 	U(Y1); // should NOT fail
469e9149858SPeter Zijlstra }
470e9149858SPeter Zijlstra 
471e9149858SPeter Zijlstra static void rwsem_ABBA2(void)
472e9149858SPeter Zijlstra {
473e9149858SPeter Zijlstra 	RSL(X1);
474e9149858SPeter Zijlstra 	ML(Y1);
475e9149858SPeter Zijlstra 	MU(Y1);
476e9149858SPeter Zijlstra 	RSU(X1);
477e9149858SPeter Zijlstra 
478e9149858SPeter Zijlstra 	ML(Y1);
479e9149858SPeter Zijlstra 	RSL(X1);
480e9149858SPeter Zijlstra 	RSU(X1);
481e9149858SPeter Zijlstra 	MU(Y1); // should fail
482e9149858SPeter Zijlstra }
483e9149858SPeter Zijlstra 
484e9149858SPeter Zijlstra 
485e9149858SPeter Zijlstra /*
486e9149858SPeter Zijlstra  * write_lock(A)
487e9149858SPeter Zijlstra  * spin_lock(B)
488e9149858SPeter Zijlstra  *		spin_lock(B)
489e9149858SPeter Zijlstra  *		write_lock(A)
490e9149858SPeter Zijlstra  */
491e9149858SPeter Zijlstra static void rlock_ABBA3(void)
492e9149858SPeter Zijlstra {
493e9149858SPeter Zijlstra 	WL(X1);
494e9149858SPeter Zijlstra 	L(Y1);
495e9149858SPeter Zijlstra 	U(Y1);
496e9149858SPeter Zijlstra 	WU(X1);
497e9149858SPeter Zijlstra 
498e9149858SPeter Zijlstra 	L(Y1);
499e9149858SPeter Zijlstra 	WL(X1);
500e9149858SPeter Zijlstra 	WU(X1);
501e9149858SPeter Zijlstra 	U(Y1); // should fail
502e9149858SPeter Zijlstra }
503e9149858SPeter Zijlstra 
504e9149858SPeter Zijlstra static void rwsem_ABBA3(void)
505e9149858SPeter Zijlstra {
506e9149858SPeter Zijlstra 	WSL(X1);
507e9149858SPeter Zijlstra 	ML(Y1);
508e9149858SPeter Zijlstra 	MU(Y1);
509e9149858SPeter Zijlstra 	WSU(X1);
510e9149858SPeter Zijlstra 
511e9149858SPeter Zijlstra 	ML(Y1);
512e9149858SPeter Zijlstra 	WSL(X1);
513e9149858SPeter Zijlstra 	WSU(X1);
514e9149858SPeter Zijlstra 	MU(Y1); // should fail
515e9149858SPeter Zijlstra }
516e9149858SPeter Zijlstra 
517e9149858SPeter Zijlstra /*
518cae2ed9aSIngo Molnar  * ABBA deadlock:
519cae2ed9aSIngo Molnar  */
520cae2ed9aSIngo Molnar 
521cae2ed9aSIngo Molnar #define E()					\
522cae2ed9aSIngo Molnar 						\
523cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
524cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, A); /* fail */
525cae2ed9aSIngo Molnar 
526cae2ed9aSIngo Molnar /*
527cae2ed9aSIngo Molnar  * 6 testcases:
528cae2ed9aSIngo Molnar  */
529cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
530cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_spin)
531cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
532cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_wlock)
533cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
534cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_rlock)
535cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
536cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_mutex)
537cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
538cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_wsem)
539cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
540cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_rsem)
541cae2ed9aSIngo Molnar 
542018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
543018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
544018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBA_rtmutex);
545018956d6SPeter Zijlstra #endif
546018956d6SPeter Zijlstra 
547cae2ed9aSIngo Molnar #undef E
548cae2ed9aSIngo Molnar 
549cae2ed9aSIngo Molnar /*
550cae2ed9aSIngo Molnar  * AB BC CA deadlock:
551cae2ed9aSIngo Molnar  */
552cae2ed9aSIngo Molnar 
553cae2ed9aSIngo Molnar #define E()					\
554cae2ed9aSIngo Molnar 						\
555cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
556cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
557cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, A); /* fail */
558cae2ed9aSIngo Molnar 
559cae2ed9aSIngo Molnar /*
560cae2ed9aSIngo Molnar  * 6 testcases:
561cae2ed9aSIngo Molnar  */
562cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
563cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_spin)
564cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
565cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_wlock)
566cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
567cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_rlock)
568cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
569cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_mutex)
570cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
571cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_wsem)
572cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
573cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_rsem)
574cae2ed9aSIngo Molnar 
575018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
576018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
577018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBCCA_rtmutex);
578018956d6SPeter Zijlstra #endif
579018956d6SPeter Zijlstra 
580cae2ed9aSIngo Molnar #undef E
581cae2ed9aSIngo Molnar 
582cae2ed9aSIngo Molnar /*
583cae2ed9aSIngo Molnar  * AB CA BC deadlock:
584cae2ed9aSIngo Molnar  */
585cae2ed9aSIngo Molnar 
586cae2ed9aSIngo Molnar #define E()					\
587cae2ed9aSIngo Molnar 						\
588cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
589cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, A);			\
590cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C); /* fail */
591cae2ed9aSIngo Molnar 
592cae2ed9aSIngo Molnar /*
593cae2ed9aSIngo Molnar  * 6 testcases:
594cae2ed9aSIngo Molnar  */
595cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
596cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_spin)
597cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
598cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_wlock)
599cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
600cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_rlock)
601cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
602cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_mutex)
603cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
604cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_wsem)
605cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
606cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_rsem)
607cae2ed9aSIngo Molnar 
608018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
609018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
610018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCABC_rtmutex);
611018956d6SPeter Zijlstra #endif
612018956d6SPeter Zijlstra 
613cae2ed9aSIngo Molnar #undef E
614cae2ed9aSIngo Molnar 
615cae2ed9aSIngo Molnar /*
616cae2ed9aSIngo Molnar  * AB BC CD DA deadlock:
617cae2ed9aSIngo Molnar  */
618cae2ed9aSIngo Molnar 
619cae2ed9aSIngo Molnar #define E()					\
620cae2ed9aSIngo Molnar 						\
621cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
622cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
623cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
624cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
625cae2ed9aSIngo Molnar 
626cae2ed9aSIngo Molnar /*
627cae2ed9aSIngo Molnar  * 6 testcases:
628cae2ed9aSIngo Molnar  */
629cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
630cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_spin)
631cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
632cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_wlock)
633cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
634cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_rlock)
635cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
636cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_mutex)
637cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
638cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_wsem)
639cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
640cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_rsem)
641cae2ed9aSIngo Molnar 
642018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
643018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
644018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBCCDDA_rtmutex);
645018956d6SPeter Zijlstra #endif
646018956d6SPeter Zijlstra 
647cae2ed9aSIngo Molnar #undef E
648cae2ed9aSIngo Molnar 
649cae2ed9aSIngo Molnar /*
650cae2ed9aSIngo Molnar  * AB CD BD DA deadlock:
651cae2ed9aSIngo Molnar  */
652cae2ed9aSIngo Molnar #define E()					\
653cae2ed9aSIngo Molnar 						\
654cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
655cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
656cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, D);			\
657cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
658cae2ed9aSIngo Molnar 
659cae2ed9aSIngo Molnar /*
660cae2ed9aSIngo Molnar  * 6 testcases:
661cae2ed9aSIngo Molnar  */
662cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
663cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_spin)
664cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
665cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_wlock)
666cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
667cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_rlock)
668cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
669cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_mutex)
670cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
671cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_wsem)
672cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
673cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_rsem)
674cae2ed9aSIngo Molnar 
675018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
676018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
677018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCDBDDA_rtmutex);
678018956d6SPeter Zijlstra #endif
679018956d6SPeter Zijlstra 
680cae2ed9aSIngo Molnar #undef E
681cae2ed9aSIngo Molnar 
682cae2ed9aSIngo Molnar /*
683cae2ed9aSIngo Molnar  * AB CD BC DA deadlock:
684cae2ed9aSIngo Molnar  */
685cae2ed9aSIngo Molnar #define E()					\
686cae2ed9aSIngo Molnar 						\
687cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
688cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
689cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
690cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
691cae2ed9aSIngo Molnar 
692cae2ed9aSIngo Molnar /*
693cae2ed9aSIngo Molnar  * 6 testcases:
694cae2ed9aSIngo Molnar  */
695cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
696cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_spin)
697cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
698cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_wlock)
699cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
700cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_rlock)
701cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
702cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_mutex)
703cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
704cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_wsem)
705cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
706cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_rsem)
707cae2ed9aSIngo Molnar 
708018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
709018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
710018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCDBCDA_rtmutex);
711018956d6SPeter Zijlstra #endif
712018956d6SPeter Zijlstra 
713cae2ed9aSIngo Molnar #undef E
714cae2ed9aSIngo Molnar 
715cae2ed9aSIngo Molnar /*
716cae2ed9aSIngo Molnar  * Double unlock:
717cae2ed9aSIngo Molnar  */
718cae2ed9aSIngo Molnar #define E()					\
719cae2ed9aSIngo Molnar 						\
720cae2ed9aSIngo Molnar 	LOCK(A);				\
721cae2ed9aSIngo Molnar 	UNLOCK(A);				\
722cae2ed9aSIngo Molnar 	UNLOCK(A); /* fail */
723cae2ed9aSIngo Molnar 
724cae2ed9aSIngo Molnar /*
725cae2ed9aSIngo Molnar  * 6 testcases:
726cae2ed9aSIngo Molnar  */
727cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
728cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_spin)
729cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
730cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_wlock)
731cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
732cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_rlock)
733cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
734cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_mutex)
735cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
736cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_wsem)
737cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
738cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_rsem)
739cae2ed9aSIngo Molnar 
740018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
741018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
742018956d6SPeter Zijlstra GENERATE_TESTCASE(double_unlock_rtmutex);
743018956d6SPeter Zijlstra #endif
744018956d6SPeter Zijlstra 
745cae2ed9aSIngo Molnar #undef E
746cae2ed9aSIngo Molnar 
747cae2ed9aSIngo Molnar /*
748cae2ed9aSIngo Molnar  * initializing a held lock:
749cae2ed9aSIngo Molnar  */
750cae2ed9aSIngo Molnar #define E()					\
751cae2ed9aSIngo Molnar 						\
752cae2ed9aSIngo Molnar 	LOCK(A);				\
753cae2ed9aSIngo Molnar 	INIT(A); /* fail */
754cae2ed9aSIngo Molnar 
755cae2ed9aSIngo Molnar /*
756cae2ed9aSIngo Molnar  * 6 testcases:
757cae2ed9aSIngo Molnar  */
758cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
759cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_spin)
760cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
761cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_wlock)
762cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
763cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_rlock)
764cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
765cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_mutex)
766cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
767cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_wsem)
768cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
769cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_rsem)
770cae2ed9aSIngo Molnar 
771018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
772018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
773018956d6SPeter Zijlstra GENERATE_TESTCASE(init_held_rtmutex);
774018956d6SPeter Zijlstra #endif
775018956d6SPeter Zijlstra 
776cae2ed9aSIngo Molnar #undef E
777cae2ed9aSIngo Molnar 
778cae2ed9aSIngo Molnar /*
779cae2ed9aSIngo Molnar  * locking an irq-safe lock with irqs enabled:
780cae2ed9aSIngo Molnar  */
781cae2ed9aSIngo Molnar #define E1()				\
782cae2ed9aSIngo Molnar 					\
783cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
784cae2ed9aSIngo Molnar 	LOCK(A);			\
785cae2ed9aSIngo Molnar 	UNLOCK(A);			\
786cae2ed9aSIngo Molnar 	IRQ_EXIT();
787cae2ed9aSIngo Molnar 
788cae2ed9aSIngo Molnar #define E2()				\
789cae2ed9aSIngo Molnar 					\
790cae2ed9aSIngo Molnar 	LOCK(A);			\
791cae2ed9aSIngo Molnar 	UNLOCK(A);
792cae2ed9aSIngo Molnar 
793cae2ed9aSIngo Molnar /*
794cae2ed9aSIngo Molnar  * Generate 24 testcases:
795cae2ed9aSIngo Molnar  */
796cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
797cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_spin)
798cae2ed9aSIngo Molnar 
799cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
800cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_rlock)
801cae2ed9aSIngo Molnar 
802cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
803cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_wlock)
804cae2ed9aSIngo Molnar 
805cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
806cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_spin)
807cae2ed9aSIngo Molnar 
808cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
809cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_rlock)
810cae2ed9aSIngo Molnar 
811cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
812cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_wlock)
813cae2ed9aSIngo Molnar 
814cae2ed9aSIngo Molnar #undef E1
815cae2ed9aSIngo Molnar #undef E2
816cae2ed9aSIngo Molnar 
817cae2ed9aSIngo Molnar /*
818cae2ed9aSIngo Molnar  * Enabling hardirqs with a softirq-safe lock held:
819cae2ed9aSIngo Molnar  */
820cae2ed9aSIngo Molnar #define E1()				\
821cae2ed9aSIngo Molnar 					\
822cae2ed9aSIngo Molnar 	SOFTIRQ_ENTER();		\
823cae2ed9aSIngo Molnar 	LOCK(A);			\
824cae2ed9aSIngo Molnar 	UNLOCK(A);			\
825cae2ed9aSIngo Molnar 	SOFTIRQ_EXIT();
826cae2ed9aSIngo Molnar 
827cae2ed9aSIngo Molnar #define E2()				\
828cae2ed9aSIngo Molnar 					\
829cae2ed9aSIngo Molnar 	HARDIRQ_DISABLE();		\
830cae2ed9aSIngo Molnar 	LOCK(A);			\
831cae2ed9aSIngo Molnar 	HARDIRQ_ENABLE();		\
832cae2ed9aSIngo Molnar 	UNLOCK(A);
833cae2ed9aSIngo Molnar 
834cae2ed9aSIngo Molnar /*
835cae2ed9aSIngo Molnar  * Generate 12 testcases:
836cae2ed9aSIngo Molnar  */
837cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
838cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_spin)
839cae2ed9aSIngo Molnar 
840cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
841cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_wlock)
842cae2ed9aSIngo Molnar 
843cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
844cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_rlock)
845cae2ed9aSIngo Molnar 
846cae2ed9aSIngo Molnar #undef E1
847cae2ed9aSIngo Molnar #undef E2
848cae2ed9aSIngo Molnar 
849cae2ed9aSIngo Molnar /*
850cae2ed9aSIngo Molnar  * Enabling irqs with an irq-safe lock held:
851cae2ed9aSIngo Molnar  */
852cae2ed9aSIngo Molnar #define E1()				\
853cae2ed9aSIngo Molnar 					\
854cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
855cae2ed9aSIngo Molnar 	LOCK(A);			\
856cae2ed9aSIngo Molnar 	UNLOCK(A);			\
857cae2ed9aSIngo Molnar 	IRQ_EXIT();
858cae2ed9aSIngo Molnar 
859cae2ed9aSIngo Molnar #define E2()				\
860cae2ed9aSIngo Molnar 					\
861cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
862cae2ed9aSIngo Molnar 	LOCK(A);			\
863cae2ed9aSIngo Molnar 	IRQ_ENABLE();			\
864cae2ed9aSIngo Molnar 	UNLOCK(A);
865cae2ed9aSIngo Molnar 
866cae2ed9aSIngo Molnar /*
867cae2ed9aSIngo Molnar  * Generate 24 testcases:
868cae2ed9aSIngo Molnar  */
869cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
870cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_spin)
871cae2ed9aSIngo Molnar 
872cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
873cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_rlock)
874cae2ed9aSIngo Molnar 
875cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
876cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_wlock)
877cae2ed9aSIngo Molnar 
878cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
879cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_spin)
880cae2ed9aSIngo Molnar 
881cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
882cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_rlock)
883cae2ed9aSIngo Molnar 
884cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
885cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_wlock)
886cae2ed9aSIngo Molnar 
887cae2ed9aSIngo Molnar #undef E1
888cae2ed9aSIngo Molnar #undef E2
889cae2ed9aSIngo Molnar 
890cae2ed9aSIngo Molnar /*
891cae2ed9aSIngo Molnar  * Acquiring a irq-unsafe lock while holding an irq-safe-lock:
892cae2ed9aSIngo Molnar  */
893cae2ed9aSIngo Molnar #define E1()				\
894cae2ed9aSIngo Molnar 					\
895cae2ed9aSIngo Molnar 	LOCK(A);			\
896cae2ed9aSIngo Molnar 	LOCK(B);			\
897cae2ed9aSIngo Molnar 	UNLOCK(B);			\
898cae2ed9aSIngo Molnar 	UNLOCK(A);			\
899cae2ed9aSIngo Molnar 
900cae2ed9aSIngo Molnar #define E2()				\
901cae2ed9aSIngo Molnar 					\
902cae2ed9aSIngo Molnar 	LOCK(B);			\
903cae2ed9aSIngo Molnar 	UNLOCK(B);
904cae2ed9aSIngo Molnar 
905cae2ed9aSIngo Molnar #define E3()				\
906cae2ed9aSIngo Molnar 					\
907cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
908cae2ed9aSIngo Molnar 	LOCK(A);			\
909cae2ed9aSIngo Molnar 	UNLOCK(A);			\
910cae2ed9aSIngo Molnar 	IRQ_EXIT();
911cae2ed9aSIngo Molnar 
912cae2ed9aSIngo Molnar /*
913cae2ed9aSIngo Molnar  * Generate 36 testcases:
914cae2ed9aSIngo Molnar  */
915cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
916cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_spin)
917cae2ed9aSIngo Molnar 
918cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
919cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_rlock)
920cae2ed9aSIngo Molnar 
921cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
922cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_wlock)
923cae2ed9aSIngo Molnar 
924cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
925cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_spin)
926cae2ed9aSIngo Molnar 
927cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
928cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_rlock)
929cae2ed9aSIngo Molnar 
930cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
931cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_wlock)
932cae2ed9aSIngo Molnar 
933cae2ed9aSIngo Molnar #undef E1
934cae2ed9aSIngo Molnar #undef E2
935cae2ed9aSIngo Molnar #undef E3
936cae2ed9aSIngo Molnar 
937cae2ed9aSIngo Molnar /*
938cae2ed9aSIngo Molnar  * If a lock turns into softirq-safe, but earlier it took
939cae2ed9aSIngo Molnar  * a softirq-unsafe lock:
940cae2ed9aSIngo Molnar  */
941cae2ed9aSIngo Molnar 
942cae2ed9aSIngo Molnar #define E1()				\
943cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
944cae2ed9aSIngo Molnar 	LOCK(A);			\
945cae2ed9aSIngo Molnar 	LOCK(B);			\
946cae2ed9aSIngo Molnar 	UNLOCK(B);			\
947cae2ed9aSIngo Molnar 	UNLOCK(A);			\
948cae2ed9aSIngo Molnar 	IRQ_ENABLE();
949cae2ed9aSIngo Molnar 
950cae2ed9aSIngo Molnar #define E2()				\
951cae2ed9aSIngo Molnar 	LOCK(B);			\
952cae2ed9aSIngo Molnar 	UNLOCK(B);
953cae2ed9aSIngo Molnar 
954cae2ed9aSIngo Molnar #define E3()				\
955cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
956cae2ed9aSIngo Molnar 	LOCK(A);			\
957cae2ed9aSIngo Molnar 	UNLOCK(A);			\
958cae2ed9aSIngo Molnar 	IRQ_EXIT();
959cae2ed9aSIngo Molnar 
960cae2ed9aSIngo Molnar /*
961cae2ed9aSIngo Molnar  * Generate 36 testcases:
962cae2ed9aSIngo Molnar  */
963cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
964cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_spin)
965cae2ed9aSIngo Molnar 
966cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
967cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_rlock)
968cae2ed9aSIngo Molnar 
969cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
970cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_wlock)
971cae2ed9aSIngo Molnar 
972cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
973cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_spin)
974cae2ed9aSIngo Molnar 
975cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
976cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_rlock)
977cae2ed9aSIngo Molnar 
978cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
979cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_wlock)
980cae2ed9aSIngo Molnar 
981cae2ed9aSIngo Molnar #undef E1
982cae2ed9aSIngo Molnar #undef E2
983cae2ed9aSIngo Molnar #undef E3
984cae2ed9aSIngo Molnar 
985cae2ed9aSIngo Molnar /*
986cae2ed9aSIngo Molnar  * read-lock / write-lock irq inversion.
987cae2ed9aSIngo Molnar  *
988cae2ed9aSIngo Molnar  * Deadlock scenario:
989cae2ed9aSIngo Molnar  *
990cae2ed9aSIngo Molnar  * CPU#1 is at #1, i.e. it has write-locked A, but has not
991cae2ed9aSIngo Molnar  * taken B yet.
992cae2ed9aSIngo Molnar  *
993cae2ed9aSIngo Molnar  * CPU#2 is at #2, i.e. it has locked B.
994cae2ed9aSIngo Molnar  *
995cae2ed9aSIngo Molnar  * Hardirq hits CPU#2 at point #2 and is trying to read-lock A.
996cae2ed9aSIngo Molnar  *
997cae2ed9aSIngo Molnar  * The deadlock occurs because CPU#1 will spin on B, and CPU#2
998cae2ed9aSIngo Molnar  * will spin on A.
999cae2ed9aSIngo Molnar  */
1000cae2ed9aSIngo Molnar 
1001cae2ed9aSIngo Molnar #define E1()				\
1002cae2ed9aSIngo Molnar 					\
1003cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
1004cae2ed9aSIngo Molnar 	WL(A);				\
1005cae2ed9aSIngo Molnar 	LOCK(B);			\
1006cae2ed9aSIngo Molnar 	UNLOCK(B);			\
1007cae2ed9aSIngo Molnar 	WU(A);				\
1008cae2ed9aSIngo Molnar 	IRQ_ENABLE();
1009cae2ed9aSIngo Molnar 
1010cae2ed9aSIngo Molnar #define E2()				\
1011cae2ed9aSIngo Molnar 					\
1012cae2ed9aSIngo Molnar 	LOCK(B);			\
1013cae2ed9aSIngo Molnar 	UNLOCK(B);
1014cae2ed9aSIngo Molnar 
1015cae2ed9aSIngo Molnar #define E3()				\
1016cae2ed9aSIngo Molnar 					\
1017cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
1018cae2ed9aSIngo Molnar 	RL(A);				\
1019cae2ed9aSIngo Molnar 	RU(A);				\
1020cae2ed9aSIngo Molnar 	IRQ_EXIT();
1021cae2ed9aSIngo Molnar 
1022cae2ed9aSIngo Molnar /*
1023cae2ed9aSIngo Molnar  * Generate 36 testcases:
1024cae2ed9aSIngo Molnar  */
1025cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
1026cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_spin)
1027cae2ed9aSIngo Molnar 
1028cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
1029cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_rlock)
1030cae2ed9aSIngo Molnar 
1031cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
1032cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_wlock)
1033cae2ed9aSIngo Molnar 
1034cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
1035cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_spin)
1036cae2ed9aSIngo Molnar 
1037cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
1038cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_rlock)
1039cae2ed9aSIngo Molnar 
1040cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
1041cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_wlock)
1042cae2ed9aSIngo Molnar 
1043cae2ed9aSIngo Molnar #undef E1
1044cae2ed9aSIngo Molnar #undef E2
1045cae2ed9aSIngo Molnar #undef E3
1046cae2ed9aSIngo Molnar 
1047cae2ed9aSIngo Molnar /*
10488ef7ca75SBoqun Feng  * write-read / write-read / write-read deadlock even if read is recursive
10498ef7ca75SBoqun Feng  */
10508ef7ca75SBoqun Feng 
10518ef7ca75SBoqun Feng #define E1()				\
10528ef7ca75SBoqun Feng 					\
10538ef7ca75SBoqun Feng 	WL(X1);				\
10548ef7ca75SBoqun Feng 	RL(Y1);				\
10558ef7ca75SBoqun Feng 	RU(Y1);				\
10568ef7ca75SBoqun Feng 	WU(X1);
10578ef7ca75SBoqun Feng 
10588ef7ca75SBoqun Feng #define E2()				\
10598ef7ca75SBoqun Feng 					\
10608ef7ca75SBoqun Feng 	WL(Y1);				\
10618ef7ca75SBoqun Feng 	RL(Z1);				\
10628ef7ca75SBoqun Feng 	RU(Z1);				\
10638ef7ca75SBoqun Feng 	WU(Y1);
10648ef7ca75SBoqun Feng 
10658ef7ca75SBoqun Feng #define E3()				\
10668ef7ca75SBoqun Feng 					\
10678ef7ca75SBoqun Feng 	WL(Z1);				\
10688ef7ca75SBoqun Feng 	RL(X1);				\
10698ef7ca75SBoqun Feng 	RU(X1);				\
10708ef7ca75SBoqun Feng 	WU(Z1);
10718ef7ca75SBoqun Feng 
10728ef7ca75SBoqun Feng #include "locking-selftest-rlock.h"
10738ef7ca75SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(W1R2_W2R3_W3R1)
10748ef7ca75SBoqun Feng 
10758ef7ca75SBoqun Feng #undef E1
10768ef7ca75SBoqun Feng #undef E2
10778ef7ca75SBoqun Feng #undef E3
10788ef7ca75SBoqun Feng 
10798ef7ca75SBoqun Feng /*
10808ef7ca75SBoqun Feng  * write-write / read-read / write-read deadlock even if read is recursive
10818ef7ca75SBoqun Feng  */
10828ef7ca75SBoqun Feng 
10838ef7ca75SBoqun Feng #define E1()				\
10848ef7ca75SBoqun Feng 					\
10858ef7ca75SBoqun Feng 	WL(X1);				\
10868ef7ca75SBoqun Feng 	WL(Y1);				\
10878ef7ca75SBoqun Feng 	WU(Y1);				\
10888ef7ca75SBoqun Feng 	WU(X1);
10898ef7ca75SBoqun Feng 
10908ef7ca75SBoqun Feng #define E2()				\
10918ef7ca75SBoqun Feng 					\
10928ef7ca75SBoqun Feng 	RL(Y1);				\
10938ef7ca75SBoqun Feng 	RL(Z1);				\
10948ef7ca75SBoqun Feng 	RU(Z1);				\
10958ef7ca75SBoqun Feng 	RU(Y1);
10968ef7ca75SBoqun Feng 
10978ef7ca75SBoqun Feng #define E3()				\
10988ef7ca75SBoqun Feng 					\
10998ef7ca75SBoqun Feng 	WL(Z1);				\
11008ef7ca75SBoqun Feng 	RL(X1);				\
11018ef7ca75SBoqun Feng 	RU(X1);				\
11028ef7ca75SBoqun Feng 	WU(Z1);
11038ef7ca75SBoqun Feng 
11048ef7ca75SBoqun Feng #include "locking-selftest-rlock.h"
11058ef7ca75SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(W1W2_R2R3_W3R1)
11068ef7ca75SBoqun Feng 
11078ef7ca75SBoqun Feng #undef E1
11088ef7ca75SBoqun Feng #undef E2
11098ef7ca75SBoqun Feng #undef E3
11108ef7ca75SBoqun Feng 
11118ef7ca75SBoqun Feng /*
11128ef7ca75SBoqun Feng  * write-write / read-read / read-write is not deadlock when read is recursive
11138ef7ca75SBoqun Feng  */
11148ef7ca75SBoqun Feng 
11158ef7ca75SBoqun Feng #define E1()				\
11168ef7ca75SBoqun Feng 					\
11178ef7ca75SBoqun Feng 	WL(X1);				\
11188ef7ca75SBoqun Feng 	WL(Y1);				\
11198ef7ca75SBoqun Feng 	WU(Y1);				\
11208ef7ca75SBoqun Feng 	WU(X1);
11218ef7ca75SBoqun Feng 
11228ef7ca75SBoqun Feng #define E2()				\
11238ef7ca75SBoqun Feng 					\
11248ef7ca75SBoqun Feng 	RL(Y1);				\
11258ef7ca75SBoqun Feng 	RL(Z1);				\
11268ef7ca75SBoqun Feng 	RU(Z1);				\
11278ef7ca75SBoqun Feng 	RU(Y1);
11288ef7ca75SBoqun Feng 
11298ef7ca75SBoqun Feng #define E3()				\
11308ef7ca75SBoqun Feng 					\
11318ef7ca75SBoqun Feng 	RL(Z1);				\
11328ef7ca75SBoqun Feng 	WL(X1);				\
11338ef7ca75SBoqun Feng 	WU(X1);				\
11348ef7ca75SBoqun Feng 	RU(Z1);
11358ef7ca75SBoqun Feng 
11368ef7ca75SBoqun Feng #include "locking-selftest-rlock.h"
11378ef7ca75SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(W1R2_R2R3_W3W1)
11388ef7ca75SBoqun Feng 
11398ef7ca75SBoqun Feng #undef E1
11408ef7ca75SBoqun Feng #undef E2
11418ef7ca75SBoqun Feng #undef E3
11428ef7ca75SBoqun Feng 
11438ef7ca75SBoqun Feng /*
11448ef7ca75SBoqun Feng  * write-read / read-read / write-write is not deadlock when read is recursive
11458ef7ca75SBoqun Feng  */
11468ef7ca75SBoqun Feng 
11478ef7ca75SBoqun Feng #define E1()				\
11488ef7ca75SBoqun Feng 					\
11498ef7ca75SBoqun Feng 	WL(X1);				\
11508ef7ca75SBoqun Feng 	RL(Y1);				\
11518ef7ca75SBoqun Feng 	RU(Y1);				\
11528ef7ca75SBoqun Feng 	WU(X1);
11538ef7ca75SBoqun Feng 
11548ef7ca75SBoqun Feng #define E2()				\
11558ef7ca75SBoqun Feng 					\
11568ef7ca75SBoqun Feng 	RL(Y1);				\
11578ef7ca75SBoqun Feng 	RL(Z1);				\
11588ef7ca75SBoqun Feng 	RU(Z1);				\
11598ef7ca75SBoqun Feng 	RU(Y1);
11608ef7ca75SBoqun Feng 
11618ef7ca75SBoqun Feng #define E3()				\
11628ef7ca75SBoqun Feng 					\
11638ef7ca75SBoqun Feng 	WL(Z1);				\
11648ef7ca75SBoqun Feng 	WL(X1);				\
11658ef7ca75SBoqun Feng 	WU(X1);				\
11668ef7ca75SBoqun Feng 	WU(Z1);
11678ef7ca75SBoqun Feng 
11688ef7ca75SBoqun Feng #include "locking-selftest-rlock.h"
11698ef7ca75SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(W1W2_R2R3_R3W1)
11708ef7ca75SBoqun Feng 
11718ef7ca75SBoqun Feng #undef E1
11728ef7ca75SBoqun Feng #undef E2
11738ef7ca75SBoqun Feng #undef E3
11748ef7ca75SBoqun Feng /*
1175cae2ed9aSIngo Molnar  * read-lock / write-lock recursion that is actually safe.
1176cae2ed9aSIngo Molnar  */
1177cae2ed9aSIngo Molnar 
1178cae2ed9aSIngo Molnar #define E1()				\
1179cae2ed9aSIngo Molnar 					\
1180cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
1181cae2ed9aSIngo Molnar 	WL(A);				\
1182cae2ed9aSIngo Molnar 	WU(A);				\
1183cae2ed9aSIngo Molnar 	IRQ_ENABLE();
1184cae2ed9aSIngo Molnar 
1185cae2ed9aSIngo Molnar #define E2()				\
1186cae2ed9aSIngo Molnar 					\
1187cae2ed9aSIngo Molnar 	RL(A);				\
1188cae2ed9aSIngo Molnar 	RU(A);				\
1189cae2ed9aSIngo Molnar 
1190cae2ed9aSIngo Molnar #define E3()				\
1191cae2ed9aSIngo Molnar 					\
1192cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
119331e0d747SBoqun Feng 	LOCK(A);			\
1194cae2ed9aSIngo Molnar 	L(B);				\
1195cae2ed9aSIngo Molnar 	U(B);				\
119631e0d747SBoqun Feng 	UNLOCK(A);			\
1197cae2ed9aSIngo Molnar 	IRQ_EXIT();
1198cae2ed9aSIngo Molnar 
1199cae2ed9aSIngo Molnar /*
120031e0d747SBoqun Feng  * Generate 24 testcases:
1201cae2ed9aSIngo Molnar  */
1202cae2ed9aSIngo Molnar #include "locking-selftest-hardirq.h"
120331e0d747SBoqun Feng #include "locking-selftest-rlock.h"
120431e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_hard_rlock)
120531e0d747SBoqun Feng 
120631e0d747SBoqun Feng #include "locking-selftest-wlock.h"
120731e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_hard_wlock)
1208cae2ed9aSIngo Molnar 
1209cae2ed9aSIngo Molnar #include "locking-selftest-softirq.h"
121031e0d747SBoqun Feng #include "locking-selftest-rlock.h"
121131e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_soft_rlock)
121231e0d747SBoqun Feng 
121331e0d747SBoqun Feng #include "locking-selftest-wlock.h"
121431e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_soft_wlock)
1215cae2ed9aSIngo Molnar 
1216cae2ed9aSIngo Molnar #undef E1
1217cae2ed9aSIngo Molnar #undef E2
1218cae2ed9aSIngo Molnar #undef E3
1219cae2ed9aSIngo Molnar 
1220cae2ed9aSIngo Molnar /*
1221cae2ed9aSIngo Molnar  * read-lock / write-lock recursion that is unsafe.
1222cae2ed9aSIngo Molnar  */
1223cae2ed9aSIngo Molnar 
1224cae2ed9aSIngo Molnar #define E1()				\
1225cae2ed9aSIngo Molnar 					\
1226cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
1227cae2ed9aSIngo Molnar 	L(B);				\
122831e0d747SBoqun Feng 	LOCK(A);			\
122931e0d747SBoqun Feng 	UNLOCK(A);			\
1230cae2ed9aSIngo Molnar 	U(B);				\
1231cae2ed9aSIngo Molnar 	IRQ_ENABLE();
1232cae2ed9aSIngo Molnar 
1233cae2ed9aSIngo Molnar #define E2()				\
1234cae2ed9aSIngo Molnar 					\
1235cae2ed9aSIngo Molnar 	RL(A);				\
1236cae2ed9aSIngo Molnar 	RU(A);				\
1237cae2ed9aSIngo Molnar 
1238cae2ed9aSIngo Molnar #define E3()				\
1239cae2ed9aSIngo Molnar 					\
1240cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
1241cae2ed9aSIngo Molnar 	L(B);				\
1242cae2ed9aSIngo Molnar 	U(B);				\
1243cae2ed9aSIngo Molnar 	IRQ_EXIT();
1244cae2ed9aSIngo Molnar 
1245cae2ed9aSIngo Molnar /*
124631e0d747SBoqun Feng  * Generate 24 testcases:
1247cae2ed9aSIngo Molnar  */
1248cae2ed9aSIngo Molnar #include "locking-selftest-hardirq.h"
124931e0d747SBoqun Feng #include "locking-selftest-rlock.h"
125031e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_hard_rlock)
125131e0d747SBoqun Feng 
125231e0d747SBoqun Feng #include "locking-selftest-wlock.h"
125331e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_hard_wlock)
1254cae2ed9aSIngo Molnar 
1255cae2ed9aSIngo Molnar #include "locking-selftest-softirq.h"
125631e0d747SBoqun Feng #include "locking-selftest-rlock.h"
125731e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_soft_rlock)
125831e0d747SBoqun Feng 
125931e0d747SBoqun Feng #include "locking-selftest-wlock.h"
126031e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_soft_wlock)
1261cae2ed9aSIngo Molnar 
126296a16f45SBoqun Feng #undef E1
126396a16f45SBoqun Feng #undef E2
126496a16f45SBoqun Feng #undef E3
126596a16f45SBoqun Feng /*
126696a16f45SBoqun Feng  * read-lock / write-lock recursion that is unsafe.
126796a16f45SBoqun Feng  *
126896a16f45SBoqun Feng  * A is a ENABLED_*_READ lock
126996a16f45SBoqun Feng  * B is a USED_IN_*_READ lock
127096a16f45SBoqun Feng  *
127196a16f45SBoqun Feng  * read_lock(A);
127296a16f45SBoqun Feng  *			write_lock(B);
127396a16f45SBoqun Feng  * <interrupt>
127496a16f45SBoqun Feng  * read_lock(B);
127596a16f45SBoqun Feng  * 			write_lock(A); // if this one is read_lock(), no deadlock
127696a16f45SBoqun Feng  */
127796a16f45SBoqun Feng 
127896a16f45SBoqun Feng #define E1()				\
127996a16f45SBoqun Feng 					\
128096a16f45SBoqun Feng 	IRQ_DISABLE();			\
128196a16f45SBoqun Feng 	WL(B);				\
128296a16f45SBoqun Feng 	LOCK(A);			\
128396a16f45SBoqun Feng 	UNLOCK(A);			\
128496a16f45SBoqun Feng 	WU(B);				\
128596a16f45SBoqun Feng 	IRQ_ENABLE();
128696a16f45SBoqun Feng 
128796a16f45SBoqun Feng #define E2()				\
128896a16f45SBoqun Feng 					\
128996a16f45SBoqun Feng 	RL(A);				\
129096a16f45SBoqun Feng 	RU(A);				\
129196a16f45SBoqun Feng 
129296a16f45SBoqun Feng #define E3()				\
129396a16f45SBoqun Feng 					\
129496a16f45SBoqun Feng 	IRQ_ENTER();			\
129596a16f45SBoqun Feng 	RL(B);				\
129696a16f45SBoqun Feng 	RU(B);				\
129796a16f45SBoqun Feng 	IRQ_EXIT();
129896a16f45SBoqun Feng 
129996a16f45SBoqun Feng /*
130096a16f45SBoqun Feng  * Generate 24 testcases:
130196a16f45SBoqun Feng  */
130296a16f45SBoqun Feng #include "locking-selftest-hardirq.h"
130396a16f45SBoqun Feng #include "locking-selftest-rlock.h"
130496a16f45SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion3_hard_rlock)
130596a16f45SBoqun Feng 
130696a16f45SBoqun Feng #include "locking-selftest-wlock.h"
130796a16f45SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion3_hard_wlock)
130896a16f45SBoqun Feng 
130996a16f45SBoqun Feng #include "locking-selftest-softirq.h"
131096a16f45SBoqun Feng #include "locking-selftest-rlock.h"
131196a16f45SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion3_soft_rlock)
131296a16f45SBoqun Feng 
131396a16f45SBoqun Feng #include "locking-selftest-wlock.h"
131496a16f45SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion3_soft_wlock)
131596a16f45SBoqun Feng 
1316cae2ed9aSIngo Molnar #ifdef CONFIG_DEBUG_LOCK_ALLOC
1317cae2ed9aSIngo Molnar # define I_SPINLOCK(x)	lockdep_reset_lock(&lock_##x.dep_map)
13189271a40dSBoqun Feng # define I_RAW_SPINLOCK(x)	lockdep_reset_lock(&raw_lock_##x.dep_map)
1319cae2ed9aSIngo Molnar # define I_RWLOCK(x)	lockdep_reset_lock(&rwlock_##x.dep_map)
1320cae2ed9aSIngo Molnar # define I_MUTEX(x)	lockdep_reset_lock(&mutex_##x.dep_map)
1321cae2ed9aSIngo Molnar # define I_RWSEM(x)	lockdep_reset_lock(&rwsem_##x.dep_map)
13221de99445SMaarten Lankhorst # define I_WW(x)	lockdep_reset_lock(&x.dep_map)
13237e923e6aSPeter Zijlstra # define I_LOCAL_LOCK(x) lockdep_reset_lock(&local_##x.dep_map)
1324018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1325018956d6SPeter Zijlstra # define I_RTMUTEX(x)	lockdep_reset_lock(&rtmutex_##x.dep_map)
1326018956d6SPeter Zijlstra #endif
1327cae2ed9aSIngo Molnar #else
1328cae2ed9aSIngo Molnar # define I_SPINLOCK(x)
13299271a40dSBoqun Feng # define I_RAW_SPINLOCK(x)
1330cae2ed9aSIngo Molnar # define I_RWLOCK(x)
1331cae2ed9aSIngo Molnar # define I_MUTEX(x)
1332cae2ed9aSIngo Molnar # define I_RWSEM(x)
13331de99445SMaarten Lankhorst # define I_WW(x)
13347e923e6aSPeter Zijlstra # define I_LOCAL_LOCK(x)
1335cae2ed9aSIngo Molnar #endif
1336cae2ed9aSIngo Molnar 
1337018956d6SPeter Zijlstra #ifndef I_RTMUTEX
1338018956d6SPeter Zijlstra # define I_RTMUTEX(x)
1339018956d6SPeter Zijlstra #endif
1340018956d6SPeter Zijlstra 
1341018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1342018956d6SPeter Zijlstra #define I2_RTMUTEX(x)	rt_mutex_init(&rtmutex_##x)
1343018956d6SPeter Zijlstra #else
1344018956d6SPeter Zijlstra #define I2_RTMUTEX(x)
1345018956d6SPeter Zijlstra #endif
1346018956d6SPeter Zijlstra 
1347cae2ed9aSIngo Molnar #define I1(x)					\
1348cae2ed9aSIngo Molnar 	do {					\
1349cae2ed9aSIngo Molnar 		I_SPINLOCK(x);			\
1350cae2ed9aSIngo Molnar 		I_RWLOCK(x);			\
1351cae2ed9aSIngo Molnar 		I_MUTEX(x);			\
1352cae2ed9aSIngo Molnar 		I_RWSEM(x);			\
1353018956d6SPeter Zijlstra 		I_RTMUTEX(x);			\
1354cae2ed9aSIngo Molnar 	} while (0)
1355cae2ed9aSIngo Molnar 
1356cae2ed9aSIngo Molnar #define I2(x)					\
1357cae2ed9aSIngo Molnar 	do {					\
1358a2e9ae58SPeter Zijlstra 		spin_lock_init(&lock_##x);	\
1359cae2ed9aSIngo Molnar 		rwlock_init(&rwlock_##x);	\
1360cae2ed9aSIngo Molnar 		mutex_init(&mutex_##x);		\
1361cae2ed9aSIngo Molnar 		init_rwsem(&rwsem_##x);		\
1362018956d6SPeter Zijlstra 		I2_RTMUTEX(x);			\
1363cae2ed9aSIngo Molnar 	} while (0)
1364cae2ed9aSIngo Molnar 
1365cae2ed9aSIngo Molnar static void reset_locks(void)
1366cae2ed9aSIngo Molnar {
1367cae2ed9aSIngo Molnar 	local_irq_disable();
13681de99445SMaarten Lankhorst 	lockdep_free_key_range(&ww_lockdep.acquire_key, 1);
13691de99445SMaarten Lankhorst 	lockdep_free_key_range(&ww_lockdep.mutex_key, 1);
13701de99445SMaarten Lankhorst 
1371cae2ed9aSIngo Molnar 	I1(A); I1(B); I1(C); I1(D);
1372cae2ed9aSIngo Molnar 	I1(X1); I1(X2); I1(Y1); I1(Y2); I1(Z1); I1(Z2);
1373f3cf139eSMaarten Lankhorst 	I_WW(t); I_WW(t2); I_WW(o.base); I_WW(o2.base); I_WW(o3.base);
13749271a40dSBoqun Feng 	I_RAW_SPINLOCK(A); I_RAW_SPINLOCK(B);
13757e923e6aSPeter Zijlstra 	I_LOCAL_LOCK(A);
13767e923e6aSPeter Zijlstra 
1377cae2ed9aSIngo Molnar 	lockdep_reset();
13787e923e6aSPeter Zijlstra 
1379cae2ed9aSIngo Molnar 	I2(A); I2(B); I2(C); I2(D);
1380cae2ed9aSIngo Molnar 	init_shared_classes();
13819271a40dSBoqun Feng 	raw_spin_lock_init(&raw_lock_A);
13829271a40dSBoqun Feng 	raw_spin_lock_init(&raw_lock_B);
13837e923e6aSPeter Zijlstra 	local_lock_init(&local_A);
13841de99445SMaarten Lankhorst 
1385f3cf139eSMaarten Lankhorst 	ww_mutex_init(&o, &ww_lockdep); ww_mutex_init(&o2, &ww_lockdep); ww_mutex_init(&o3, &ww_lockdep);
13861de99445SMaarten Lankhorst 	memset(&t, 0, sizeof(t)); memset(&t2, 0, sizeof(t2));
13871de99445SMaarten Lankhorst 	memset(&ww_lockdep.acquire_key, 0, sizeof(ww_lockdep.acquire_key));
13881de99445SMaarten Lankhorst 	memset(&ww_lockdep.mutex_key, 0, sizeof(ww_lockdep.mutex_key));
1389cae2ed9aSIngo Molnar 	local_irq_enable();
1390cae2ed9aSIngo Molnar }
1391cae2ed9aSIngo Molnar 
1392cae2ed9aSIngo Molnar #undef I
1393cae2ed9aSIngo Molnar 
1394cae2ed9aSIngo Molnar static int testcase_total;
1395cae2ed9aSIngo Molnar static int testcase_successes;
1396cae2ed9aSIngo Molnar static int expected_testcase_failures;
1397cae2ed9aSIngo Molnar static int unexpected_testcase_failures;
1398cae2ed9aSIngo Molnar 
1399cae2ed9aSIngo Molnar static void dotest(void (*testcase_fn)(void), int expected, int lockclass_mask)
1400cae2ed9aSIngo Molnar {
1401cae2ed9aSIngo Molnar 	unsigned long saved_preempt_count = preempt_count();
1402cae2ed9aSIngo Molnar 
1403cae2ed9aSIngo Molnar 	WARN_ON(irqs_disabled());
1404cae2ed9aSIngo Molnar 
14055831c0f7SPeter Zijlstra 	debug_locks_silent = !(debug_locks_verbose & lockclass_mask);
14065831c0f7SPeter Zijlstra 
1407cae2ed9aSIngo Molnar 	testcase_fn();
1408cae2ed9aSIngo Molnar 	/*
1409cae2ed9aSIngo Molnar 	 * Filter out expected failures:
1410cae2ed9aSIngo Molnar 	 */
14111de99445SMaarten Lankhorst #ifndef CONFIG_PROVE_LOCKING
1412166989e3SMaarten Lankhorst 	if (expected == FAILURE && debug_locks) {
1413cae2ed9aSIngo Molnar 		expected_testcase_failures++;
141425139409SMichael Ellerman 		pr_cont("failed|");
1415166989e3SMaarten Lankhorst 	}
1416166989e3SMaarten Lankhorst 	else
1417166989e3SMaarten Lankhorst #endif
1418166989e3SMaarten Lankhorst 	if (debug_locks != expected) {
1419cae2ed9aSIngo Molnar 		unexpected_testcase_failures++;
142025139409SMichael Ellerman 		pr_cont("FAILED|");
1421cae2ed9aSIngo Molnar 	} else {
1422cae2ed9aSIngo Molnar 		testcase_successes++;
142325139409SMichael Ellerman 		pr_cont("  ok  |");
1424cae2ed9aSIngo Molnar 	}
1425cae2ed9aSIngo Molnar 	testcase_total++;
1426cae2ed9aSIngo Molnar 
14275831c0f7SPeter Zijlstra 	if (debug_locks_verbose & lockclass_mask)
142825139409SMichael Ellerman 		pr_cont(" lockclass mask: %x, debug_locks: %d, expected: %d\n",
1429cae2ed9aSIngo Molnar 			lockclass_mask, debug_locks, expected);
1430cae2ed9aSIngo Molnar 	/*
1431cae2ed9aSIngo Molnar 	 * Some tests (e.g. double-unlock) might corrupt the preemption
1432cae2ed9aSIngo Molnar 	 * count, so restore it:
1433cae2ed9aSIngo Molnar 	 */
14344a2b4b22SPeter Zijlstra 	preempt_count_set(saved_preempt_count);
1435cae2ed9aSIngo Molnar #ifdef CONFIG_TRACE_IRQFLAGS
1436cae2ed9aSIngo Molnar 	if (softirq_count())
1437cae2ed9aSIngo Molnar 		current->softirqs_enabled = 0;
1438cae2ed9aSIngo Molnar 	else
1439cae2ed9aSIngo Molnar 		current->softirqs_enabled = 1;
1440cae2ed9aSIngo Molnar #endif
1441cae2ed9aSIngo Molnar 
1442cae2ed9aSIngo Molnar 	reset_locks();
1443cae2ed9aSIngo Molnar }
1444cae2ed9aSIngo Molnar 
1445018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1446018956d6SPeter Zijlstra #define dotest_rt(fn, e, m)	dotest((fn), (e), (m))
1447018956d6SPeter Zijlstra #else
1448018956d6SPeter Zijlstra #define dotest_rt(fn, e, m)
1449018956d6SPeter Zijlstra #endif
1450018956d6SPeter Zijlstra 
1451cae2ed9aSIngo Molnar static inline void print_testname(const char *testname)
1452cae2ed9aSIngo Molnar {
1453cae2ed9aSIngo Molnar 	printk("%33s:", testname);
1454cae2ed9aSIngo Molnar }
1455cae2ed9aSIngo Molnar 
1456cae2ed9aSIngo Molnar #define DO_TESTCASE_1(desc, name, nr)				\
1457cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1458cae2ed9aSIngo Molnar 	dotest(name##_##nr, SUCCESS, LOCKTYPE_RWLOCK);		\
145925139409SMichael Ellerman 	pr_cont("\n");
1460cae2ed9aSIngo Molnar 
1461cae2ed9aSIngo Molnar #define DO_TESTCASE_1B(desc, name, nr)				\
1462cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1463cae2ed9aSIngo Molnar 	dotest(name##_##nr, FAILURE, LOCKTYPE_RWLOCK);		\
146425139409SMichael Ellerman 	pr_cont("\n");
1465cae2ed9aSIngo Molnar 
14668ef7ca75SBoqun Feng #define DO_TESTCASE_1RR(desc, name, nr)				\
14678ef7ca75SBoqun Feng 	print_testname(desc"/"#nr);				\
14688ef7ca75SBoqun Feng 	pr_cont("             |");				\
14698ef7ca75SBoqun Feng 	dotest(name##_##nr, SUCCESS, LOCKTYPE_RWLOCK);		\
14708ef7ca75SBoqun Feng 	pr_cont("\n");
14718ef7ca75SBoqun Feng 
14728ef7ca75SBoqun Feng #define DO_TESTCASE_1RRB(desc, name, nr)			\
14738ef7ca75SBoqun Feng 	print_testname(desc"/"#nr);				\
14748ef7ca75SBoqun Feng 	pr_cont("             |");				\
14758ef7ca75SBoqun Feng 	dotest(name##_##nr, FAILURE, LOCKTYPE_RWLOCK);		\
14768ef7ca75SBoqun Feng 	pr_cont("\n");
14778ef7ca75SBoqun Feng 
14788ef7ca75SBoqun Feng 
1479cae2ed9aSIngo Molnar #define DO_TESTCASE_3(desc, name, nr)				\
1480cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1481cae2ed9aSIngo Molnar 	dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN);	\
1482cae2ed9aSIngo Molnar 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
1483cae2ed9aSIngo Molnar 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
148425139409SMichael Ellerman 	pr_cont("\n");
1485cae2ed9aSIngo Molnar 
1486cae2ed9aSIngo Molnar #define DO_TESTCASE_3RW(desc, name, nr)				\
1487cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1488cae2ed9aSIngo Molnar 	dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN|LOCKTYPE_RWLOCK);\
1489cae2ed9aSIngo Molnar 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
1490cae2ed9aSIngo Molnar 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
149125139409SMichael Ellerman 	pr_cont("\n");
1492cae2ed9aSIngo Molnar 
149331e0d747SBoqun Feng #define DO_TESTCASE_2RW(desc, name, nr)				\
149431e0d747SBoqun Feng 	print_testname(desc"/"#nr);				\
149531e0d747SBoqun Feng 	pr_cont("      |");					\
149631e0d747SBoqun Feng 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
149731e0d747SBoqun Feng 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
149831e0d747SBoqun Feng 	pr_cont("\n");
149931e0d747SBoqun Feng 
150031e0d747SBoqun Feng #define DO_TESTCASE_2x2RW(desc, name, nr)			\
150131e0d747SBoqun Feng 	DO_TESTCASE_2RW("hard-"desc, name##_hard, nr)		\
150231e0d747SBoqun Feng 	DO_TESTCASE_2RW("soft-"desc, name##_soft, nr)		\
150331e0d747SBoqun Feng 
150431e0d747SBoqun Feng #define DO_TESTCASE_6x2x2RW(desc, name)				\
150531e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 123);			\
150631e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 132);			\
150731e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 213);			\
150831e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 231);			\
150931e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 312);			\
151031e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 321);
151131e0d747SBoqun Feng 
1512cae2ed9aSIngo Molnar #define DO_TESTCASE_6(desc, name)				\
1513cae2ed9aSIngo Molnar 	print_testname(desc);					\
1514cae2ed9aSIngo Molnar 	dotest(name##_spin, FAILURE, LOCKTYPE_SPIN);		\
1515cae2ed9aSIngo Molnar 	dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK);		\
1516cae2ed9aSIngo Molnar 	dotest(name##_rlock, FAILURE, LOCKTYPE_RWLOCK);		\
1517cae2ed9aSIngo Molnar 	dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX);		\
1518cae2ed9aSIngo Molnar 	dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM);		\
1519cae2ed9aSIngo Molnar 	dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM);		\
1520018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX);	\
152125139409SMichael Ellerman 	pr_cont("\n");
1522cae2ed9aSIngo Molnar 
1523cae2ed9aSIngo Molnar #define DO_TESTCASE_6_SUCCESS(desc, name)			\
1524cae2ed9aSIngo Molnar 	print_testname(desc);					\
1525cae2ed9aSIngo Molnar 	dotest(name##_spin, SUCCESS, LOCKTYPE_SPIN);		\
1526cae2ed9aSIngo Molnar 	dotest(name##_wlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1527cae2ed9aSIngo Molnar 	dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1528cae2ed9aSIngo Molnar 	dotest(name##_mutex, SUCCESS, LOCKTYPE_MUTEX);		\
1529cae2ed9aSIngo Molnar 	dotest(name##_wsem, SUCCESS, LOCKTYPE_RWSEM);		\
1530cae2ed9aSIngo Molnar 	dotest(name##_rsem, SUCCESS, LOCKTYPE_RWSEM);		\
1531018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, SUCCESS, LOCKTYPE_RTMUTEX);	\
153225139409SMichael Ellerman 	pr_cont("\n");
1533cae2ed9aSIngo Molnar 
1534cae2ed9aSIngo Molnar /*
1535cae2ed9aSIngo Molnar  * 'read' variant: rlocks must not trigger.
1536cae2ed9aSIngo Molnar  */
1537cae2ed9aSIngo Molnar #define DO_TESTCASE_6R(desc, name)				\
1538cae2ed9aSIngo Molnar 	print_testname(desc);					\
1539cae2ed9aSIngo Molnar 	dotest(name##_spin, FAILURE, LOCKTYPE_SPIN);		\
1540cae2ed9aSIngo Molnar 	dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK);		\
1541cae2ed9aSIngo Molnar 	dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1542cae2ed9aSIngo Molnar 	dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX);		\
1543cae2ed9aSIngo Molnar 	dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM);		\
1544cae2ed9aSIngo Molnar 	dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM);		\
1545018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX);	\
154625139409SMichael Ellerman 	pr_cont("\n");
1547cae2ed9aSIngo Molnar 
1548cae2ed9aSIngo Molnar #define DO_TESTCASE_2I(desc, name, nr)				\
1549cae2ed9aSIngo Molnar 	DO_TESTCASE_1("hard-"desc, name##_hard, nr);		\
1550cae2ed9aSIngo Molnar 	DO_TESTCASE_1("soft-"desc, name##_soft, nr);
1551cae2ed9aSIngo Molnar 
1552cae2ed9aSIngo Molnar #define DO_TESTCASE_2IB(desc, name, nr)				\
1553cae2ed9aSIngo Molnar 	DO_TESTCASE_1B("hard-"desc, name##_hard, nr);		\
1554cae2ed9aSIngo Molnar 	DO_TESTCASE_1B("soft-"desc, name##_soft, nr);
1555cae2ed9aSIngo Molnar 
1556cae2ed9aSIngo Molnar #define DO_TESTCASE_6I(desc, name, nr)				\
1557cae2ed9aSIngo Molnar 	DO_TESTCASE_3("hard-"desc, name##_hard, nr);		\
1558cae2ed9aSIngo Molnar 	DO_TESTCASE_3("soft-"desc, name##_soft, nr);
1559cae2ed9aSIngo Molnar 
1560cae2ed9aSIngo Molnar #define DO_TESTCASE_6IRW(desc, name, nr)			\
1561cae2ed9aSIngo Molnar 	DO_TESTCASE_3RW("hard-"desc, name##_hard, nr);		\
1562cae2ed9aSIngo Molnar 	DO_TESTCASE_3RW("soft-"desc, name##_soft, nr);
1563cae2ed9aSIngo Molnar 
1564cae2ed9aSIngo Molnar #define DO_TESTCASE_2x3(desc, name)				\
1565cae2ed9aSIngo Molnar 	DO_TESTCASE_3(desc, name, 12);				\
1566cae2ed9aSIngo Molnar 	DO_TESTCASE_3(desc, name, 21);
1567cae2ed9aSIngo Molnar 
1568cae2ed9aSIngo Molnar #define DO_TESTCASE_2x6(desc, name)				\
1569cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 12);				\
1570cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 21);
1571cae2ed9aSIngo Molnar 
1572cae2ed9aSIngo Molnar #define DO_TESTCASE_6x2(desc, name)				\
1573cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 123);			\
1574cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 132);			\
1575cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 213);			\
1576cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 231);			\
1577cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 312);			\
1578cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 321);
1579cae2ed9aSIngo Molnar 
1580cae2ed9aSIngo Molnar #define DO_TESTCASE_6x2B(desc, name)				\
1581cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 123);			\
1582cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 132);			\
1583cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 213);			\
1584cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 231);			\
1585cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 312);			\
1586cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 321);
1587cae2ed9aSIngo Molnar 
15888ef7ca75SBoqun Feng #define DO_TESTCASE_6x1RR(desc, name)				\
15898ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 123);			\
15908ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 132);			\
15918ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 213);			\
15928ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 231);			\
15938ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 312);			\
15948ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 321);
15958ef7ca75SBoqun Feng 
15968ef7ca75SBoqun Feng #define DO_TESTCASE_6x1RRB(desc, name)				\
15978ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 123);			\
15988ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 132);			\
15998ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 213);			\
16008ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 231);			\
16018ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 312);			\
16028ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 321);
16038ef7ca75SBoqun Feng 
1604cae2ed9aSIngo Molnar #define DO_TESTCASE_6x6(desc, name)				\
1605cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 123);			\
1606cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 132);			\
1607cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 213);			\
1608cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 231);			\
1609cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 312);			\
1610cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 321);
1611cae2ed9aSIngo Molnar 
1612cae2ed9aSIngo Molnar #define DO_TESTCASE_6x6RW(desc, name)				\
1613cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 123);			\
1614cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 132);			\
1615cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 213);			\
1616cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 231);			\
1617cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 312);			\
1618cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 321);
1619cae2ed9aSIngo Molnar 
16201de99445SMaarten Lankhorst static void ww_test_fail_acquire(void)
16211de99445SMaarten Lankhorst {
16221de99445SMaarten Lankhorst 	int ret;
16231de99445SMaarten Lankhorst 
16241de99445SMaarten Lankhorst 	WWAI(&t);
16251de99445SMaarten Lankhorst 	t.stamp++;
16261de99445SMaarten Lankhorst 
16271de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
16281de99445SMaarten Lankhorst 
16291de99445SMaarten Lankhorst 	if (WARN_ON(!o.ctx) ||
16301de99445SMaarten Lankhorst 	    WARN_ON(ret))
16311de99445SMaarten Lankhorst 		return;
16321de99445SMaarten Lankhorst 
16331de99445SMaarten Lankhorst 	/* No lockdep test, pure API */
16341de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
16351de99445SMaarten Lankhorst 	WARN_ON(ret != -EALREADY);
16361de99445SMaarten Lankhorst 
16371de99445SMaarten Lankhorst 	ret = WWT(&o);
16381de99445SMaarten Lankhorst 	WARN_ON(ret);
16391de99445SMaarten Lankhorst 
16401de99445SMaarten Lankhorst 	t2 = t;
16411de99445SMaarten Lankhorst 	t2.stamp++;
16421de99445SMaarten Lankhorst 	ret = WWL(&o, &t2);
16431de99445SMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
16441de99445SMaarten Lankhorst 	WWU(&o);
16451de99445SMaarten Lankhorst 
16461de99445SMaarten Lankhorst 	if (WWT(&o))
16471de99445SMaarten Lankhorst 		WWU(&o);
16481de99445SMaarten Lankhorst #ifdef CONFIG_DEBUG_LOCK_ALLOC
16491de99445SMaarten Lankhorst 	else
16501de99445SMaarten Lankhorst 		DEBUG_LOCKS_WARN_ON(1);
16511de99445SMaarten Lankhorst #endif
16521de99445SMaarten Lankhorst }
16531de99445SMaarten Lankhorst 
16542fe3d4b1SMaarten Lankhorst static void ww_test_normal(void)
16552fe3d4b1SMaarten Lankhorst {
16562fe3d4b1SMaarten Lankhorst 	int ret;
16572fe3d4b1SMaarten Lankhorst 
16582fe3d4b1SMaarten Lankhorst 	WWAI(&t);
16592fe3d4b1SMaarten Lankhorst 
16602fe3d4b1SMaarten Lankhorst 	/*
16612fe3d4b1SMaarten Lankhorst 	 * None of the ww_mutex codepaths should be taken in the 'normal'
16622fe3d4b1SMaarten Lankhorst 	 * mutex calls. The easiest way to verify this is by using the
16632fe3d4b1SMaarten Lankhorst 	 * normal mutex calls, and making sure o.ctx is unmodified.
16642fe3d4b1SMaarten Lankhorst 	 */
16652fe3d4b1SMaarten Lankhorst 
16662fe3d4b1SMaarten Lankhorst 	/* mutex_lock (and indirectly, mutex_lock_nested) */
16672fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
16682fe3d4b1SMaarten Lankhorst 	mutex_lock(&o.base);
16692fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
16702fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
16712fe3d4b1SMaarten Lankhorst 
16722fe3d4b1SMaarten Lankhorst 	/* mutex_lock_interruptible (and *_nested) */
16732fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
16742fe3d4b1SMaarten Lankhorst 	ret = mutex_lock_interruptible(&o.base);
16752fe3d4b1SMaarten Lankhorst 	if (!ret)
16762fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
16772fe3d4b1SMaarten Lankhorst 	else
16782fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
16792fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
16802fe3d4b1SMaarten Lankhorst 
16812fe3d4b1SMaarten Lankhorst 	/* mutex_lock_killable (and *_nested) */
16822fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
16832fe3d4b1SMaarten Lankhorst 	ret = mutex_lock_killable(&o.base);
16842fe3d4b1SMaarten Lankhorst 	if (!ret)
16852fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
16862fe3d4b1SMaarten Lankhorst 	else
16872fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
16882fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
16892fe3d4b1SMaarten Lankhorst 
16902fe3d4b1SMaarten Lankhorst 	/* trylock, succeeding */
16912fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
16922fe3d4b1SMaarten Lankhorst 	ret = mutex_trylock(&o.base);
16932fe3d4b1SMaarten Lankhorst 	WARN_ON(!ret);
16942fe3d4b1SMaarten Lankhorst 	if (ret)
16952fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
16962fe3d4b1SMaarten Lankhorst 	else
16972fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
16982fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
16992fe3d4b1SMaarten Lankhorst 
17002fe3d4b1SMaarten Lankhorst 	/* trylock, failing */
17012fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
17022fe3d4b1SMaarten Lankhorst 	mutex_lock(&o.base);
17032fe3d4b1SMaarten Lankhorst 	ret = mutex_trylock(&o.base);
17042fe3d4b1SMaarten Lankhorst 	WARN_ON(ret);
17052fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
17062fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
17072fe3d4b1SMaarten Lankhorst 
17082fe3d4b1SMaarten Lankhorst 	/* nest_lock */
17092fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
17102fe3d4b1SMaarten Lankhorst 	mutex_lock_nest_lock(&o.base, &t);
17112fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
17122fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
17132fe3d4b1SMaarten Lankhorst }
17142fe3d4b1SMaarten Lankhorst 
17151de99445SMaarten Lankhorst static void ww_test_two_contexts(void)
17161de99445SMaarten Lankhorst {
17171de99445SMaarten Lankhorst 	WWAI(&t);
17181de99445SMaarten Lankhorst 	WWAI(&t2);
17191de99445SMaarten Lankhorst }
17201de99445SMaarten Lankhorst 
17211de99445SMaarten Lankhorst static void ww_test_diff_class(void)
17221de99445SMaarten Lankhorst {
17231de99445SMaarten Lankhorst 	WWAI(&t);
17241de99445SMaarten Lankhorst #ifdef CONFIG_DEBUG_MUTEXES
17251de99445SMaarten Lankhorst 	t.ww_class = NULL;
17261de99445SMaarten Lankhorst #endif
17271de99445SMaarten Lankhorst 	WWL(&o, &t);
17281de99445SMaarten Lankhorst }
17291de99445SMaarten Lankhorst 
17301de99445SMaarten Lankhorst static void ww_test_context_done_twice(void)
17311de99445SMaarten Lankhorst {
17321de99445SMaarten Lankhorst 	WWAI(&t);
17331de99445SMaarten Lankhorst 	WWAD(&t);
17341de99445SMaarten Lankhorst 	WWAD(&t);
17351de99445SMaarten Lankhorst 	WWAF(&t);
17361de99445SMaarten Lankhorst }
17371de99445SMaarten Lankhorst 
17381de99445SMaarten Lankhorst static void ww_test_context_unlock_twice(void)
17391de99445SMaarten Lankhorst {
17401de99445SMaarten Lankhorst 	WWAI(&t);
17411de99445SMaarten Lankhorst 	WWAD(&t);
17421de99445SMaarten Lankhorst 	WWAF(&t);
17431de99445SMaarten Lankhorst 	WWAF(&t);
17441de99445SMaarten Lankhorst }
17451de99445SMaarten Lankhorst 
17461de99445SMaarten Lankhorst static void ww_test_context_fini_early(void)
17471de99445SMaarten Lankhorst {
17481de99445SMaarten Lankhorst 	WWAI(&t);
17491de99445SMaarten Lankhorst 	WWL(&o, &t);
17501de99445SMaarten Lankhorst 	WWAD(&t);
17511de99445SMaarten Lankhorst 	WWAF(&t);
17521de99445SMaarten Lankhorst }
17531de99445SMaarten Lankhorst 
17541de99445SMaarten Lankhorst static void ww_test_context_lock_after_done(void)
17551de99445SMaarten Lankhorst {
17561de99445SMaarten Lankhorst 	WWAI(&t);
17571de99445SMaarten Lankhorst 	WWAD(&t);
17581de99445SMaarten Lankhorst 	WWL(&o, &t);
17591de99445SMaarten Lankhorst }
17601de99445SMaarten Lankhorst 
17611de99445SMaarten Lankhorst static void ww_test_object_unlock_twice(void)
17621de99445SMaarten Lankhorst {
17631de99445SMaarten Lankhorst 	WWL1(&o);
17641de99445SMaarten Lankhorst 	WWU(&o);
17651de99445SMaarten Lankhorst 	WWU(&o);
17661de99445SMaarten Lankhorst }
17671de99445SMaarten Lankhorst 
17681de99445SMaarten Lankhorst static void ww_test_object_lock_unbalanced(void)
17691de99445SMaarten Lankhorst {
17701de99445SMaarten Lankhorst 	WWAI(&t);
17711de99445SMaarten Lankhorst 	WWL(&o, &t);
17721de99445SMaarten Lankhorst 	t.acquired = 0;
17731de99445SMaarten Lankhorst 	WWU(&o);
17741de99445SMaarten Lankhorst 	WWAF(&t);
17751de99445SMaarten Lankhorst }
17761de99445SMaarten Lankhorst 
17771de99445SMaarten Lankhorst static void ww_test_object_lock_stale_context(void)
17781de99445SMaarten Lankhorst {
17791de99445SMaarten Lankhorst 	WWAI(&t);
17801de99445SMaarten Lankhorst 	o.ctx = &t2;
17811de99445SMaarten Lankhorst 	WWL(&o, &t);
17821de99445SMaarten Lankhorst }
17831de99445SMaarten Lankhorst 
1784f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_normal(void)
1785f3cf139eSMaarten Lankhorst {
1786f3cf139eSMaarten Lankhorst 	int ret;
1787f3cf139eSMaarten Lankhorst 
1788f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1789f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
17905facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1791f3cf139eSMaarten Lankhorst 
1792f3cf139eSMaarten Lankhorst 	WWAI(&t);
1793f3cf139eSMaarten Lankhorst 	t2 = t;
1794f3cf139eSMaarten Lankhorst 	t2.stamp--;
1795f3cf139eSMaarten Lankhorst 
1796f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1797f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1798f3cf139eSMaarten Lankhorst 
1799f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1800f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1801f3cf139eSMaarten Lankhorst 
1802f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1803f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1804f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1805f3cf139eSMaarten Lankhorst 	WWU(&o);
1806f3cf139eSMaarten Lankhorst 
1807f3cf139eSMaarten Lankhorst 	WWL(&o2, &t);
1808f3cf139eSMaarten Lankhorst }
1809f3cf139eSMaarten Lankhorst 
1810f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_normal_slow(void)
1811f3cf139eSMaarten Lankhorst {
1812f3cf139eSMaarten Lankhorst 	int ret;
1813f3cf139eSMaarten Lankhorst 
1814f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
18155facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1816f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1817f3cf139eSMaarten Lankhorst 
1818f3cf139eSMaarten Lankhorst 	WWAI(&t);
1819f3cf139eSMaarten Lankhorst 	t2 = t;
1820f3cf139eSMaarten Lankhorst 	t2.stamp--;
1821f3cf139eSMaarten Lankhorst 
1822f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1823f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1824f3cf139eSMaarten Lankhorst 
1825f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1826f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1827f3cf139eSMaarten Lankhorst 
1828f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1829f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1830f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1831f3cf139eSMaarten Lankhorst 	WWU(&o);
1832f3cf139eSMaarten Lankhorst 
1833f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o2, &t);
1834f3cf139eSMaarten Lankhorst }
1835f3cf139eSMaarten Lankhorst 
1836f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_no_unlock(void)
1837f3cf139eSMaarten Lankhorst {
1838f3cf139eSMaarten Lankhorst 	int ret;
1839f3cf139eSMaarten Lankhorst 
1840f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1841f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
18425facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1843f3cf139eSMaarten Lankhorst 
1844f3cf139eSMaarten Lankhorst 	WWAI(&t);
1845f3cf139eSMaarten Lankhorst 	t2 = t;
1846f3cf139eSMaarten Lankhorst 	t2.stamp--;
1847f3cf139eSMaarten Lankhorst 
1848f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1849f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1850f3cf139eSMaarten Lankhorst 
1851f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1852f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1853f3cf139eSMaarten Lankhorst 
1854f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1855f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1856f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1857f3cf139eSMaarten Lankhorst 
1858f3cf139eSMaarten Lankhorst 	WWL(&o2, &t);
1859f3cf139eSMaarten Lankhorst }
1860f3cf139eSMaarten Lankhorst 
1861f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_no_unlock_slow(void)
1862f3cf139eSMaarten Lankhorst {
1863f3cf139eSMaarten Lankhorst 	int ret;
1864f3cf139eSMaarten Lankhorst 
1865f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
18665facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1867f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1868f3cf139eSMaarten Lankhorst 
1869f3cf139eSMaarten Lankhorst 	WWAI(&t);
1870f3cf139eSMaarten Lankhorst 	t2 = t;
1871f3cf139eSMaarten Lankhorst 	t2.stamp--;
1872f3cf139eSMaarten Lankhorst 
1873f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1874f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1875f3cf139eSMaarten Lankhorst 
1876f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1877f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1878f3cf139eSMaarten Lankhorst 
1879f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1880f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1881f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1882f3cf139eSMaarten Lankhorst 
1883f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o2, &t);
1884f3cf139eSMaarten Lankhorst }
1885f3cf139eSMaarten Lankhorst 
1886f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more(void)
1887f3cf139eSMaarten Lankhorst {
1888f3cf139eSMaarten Lankhorst 	int ret;
1889f3cf139eSMaarten Lankhorst 
1890f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
18915facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1892f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1893f3cf139eSMaarten Lankhorst 
1894f3cf139eSMaarten Lankhorst 	WWAI(&t);
1895f3cf139eSMaarten Lankhorst 	t2 = t;
1896f3cf139eSMaarten Lankhorst 	t2.stamp--;
1897f3cf139eSMaarten Lankhorst 
1898f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1899f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1900f3cf139eSMaarten Lankhorst 
1901f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1902f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1903f3cf139eSMaarten Lankhorst 
1904f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1905f3cf139eSMaarten Lankhorst }
1906f3cf139eSMaarten Lankhorst 
1907f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_slow(void)
1908f3cf139eSMaarten Lankhorst {
1909f3cf139eSMaarten Lankhorst 	int ret;
1910f3cf139eSMaarten Lankhorst 
1911f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
19125facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1913f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1914f3cf139eSMaarten Lankhorst 
1915f3cf139eSMaarten Lankhorst 	WWAI(&t);
1916f3cf139eSMaarten Lankhorst 	t2 = t;
1917f3cf139eSMaarten Lankhorst 	t2.stamp--;
1918f3cf139eSMaarten Lankhorst 
1919f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1920f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1921f3cf139eSMaarten Lankhorst 
1922f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1923f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1924f3cf139eSMaarten Lankhorst 
1925f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1926f3cf139eSMaarten Lankhorst }
1927f3cf139eSMaarten Lankhorst 
1928f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_edeadlk(void)
1929f3cf139eSMaarten Lankhorst {
1930f3cf139eSMaarten Lankhorst 	int ret;
1931f3cf139eSMaarten Lankhorst 
1932f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
19335facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1934f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1935f3cf139eSMaarten Lankhorst 
1936f3cf139eSMaarten Lankhorst 	mutex_lock(&o3.base);
19375facae4fSQian Cai 	mutex_release(&o3.base.dep_map, _THIS_IP_);
1938f3cf139eSMaarten Lankhorst 	o3.ctx = &t2;
1939f3cf139eSMaarten Lankhorst 
1940f3cf139eSMaarten Lankhorst 	WWAI(&t);
1941f3cf139eSMaarten Lankhorst 	t2 = t;
1942f3cf139eSMaarten Lankhorst 	t2.stamp--;
1943f3cf139eSMaarten Lankhorst 
1944f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1945f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1946f3cf139eSMaarten Lankhorst 
1947f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1948f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1949f3cf139eSMaarten Lankhorst 
1950f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1951f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1952f3cf139eSMaarten Lankhorst }
1953f3cf139eSMaarten Lankhorst 
1954f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_edeadlk_slow(void)
1955f3cf139eSMaarten Lankhorst {
1956f3cf139eSMaarten Lankhorst 	int ret;
1957f3cf139eSMaarten Lankhorst 
1958f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
19595facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1960f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1961f3cf139eSMaarten Lankhorst 
1962f3cf139eSMaarten Lankhorst 	mutex_lock(&o3.base);
19635facae4fSQian Cai 	mutex_release(&o3.base.dep_map, _THIS_IP_);
1964f3cf139eSMaarten Lankhorst 	o3.ctx = &t2;
1965f3cf139eSMaarten Lankhorst 
1966f3cf139eSMaarten Lankhorst 	WWAI(&t);
1967f3cf139eSMaarten Lankhorst 	t2 = t;
1968f3cf139eSMaarten Lankhorst 	t2.stamp--;
1969f3cf139eSMaarten Lankhorst 
1970f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1971f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1972f3cf139eSMaarten Lankhorst 
1973f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1974f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1975f3cf139eSMaarten Lankhorst 
1976f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1977f3cf139eSMaarten Lankhorst }
1978f3cf139eSMaarten Lankhorst 
1979f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_wrong(void)
1980f3cf139eSMaarten Lankhorst {
1981f3cf139eSMaarten Lankhorst 	int ret;
1982f3cf139eSMaarten Lankhorst 
1983f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
19845facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1985f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1986f3cf139eSMaarten Lankhorst 
1987f3cf139eSMaarten Lankhorst 	WWAI(&t);
1988f3cf139eSMaarten Lankhorst 	t2 = t;
1989f3cf139eSMaarten Lankhorst 	t2.stamp--;
1990f3cf139eSMaarten Lankhorst 
1991f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1992f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1993f3cf139eSMaarten Lankhorst 
1994f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1995f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1996f3cf139eSMaarten Lankhorst 	if (!ret)
1997f3cf139eSMaarten Lankhorst 		WWU(&o2);
1998f3cf139eSMaarten Lankhorst 
1999f3cf139eSMaarten Lankhorst 	WWU(&o);
2000f3cf139eSMaarten Lankhorst 
2001f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
2002f3cf139eSMaarten Lankhorst }
2003f3cf139eSMaarten Lankhorst 
2004f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_wrong_slow(void)
2005f3cf139eSMaarten Lankhorst {
2006f3cf139eSMaarten Lankhorst 	int ret;
2007f3cf139eSMaarten Lankhorst 
2008f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
20095facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
2010f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
2011f3cf139eSMaarten Lankhorst 
2012f3cf139eSMaarten Lankhorst 	WWAI(&t);
2013f3cf139eSMaarten Lankhorst 	t2 = t;
2014f3cf139eSMaarten Lankhorst 	t2.stamp--;
2015f3cf139eSMaarten Lankhorst 
2016f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
2017f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
2018f3cf139eSMaarten Lankhorst 
2019f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
2020f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
2021f3cf139eSMaarten Lankhorst 	if (!ret)
2022f3cf139eSMaarten Lankhorst 		WWU(&o2);
2023f3cf139eSMaarten Lankhorst 
2024f3cf139eSMaarten Lankhorst 	WWU(&o);
2025f3cf139eSMaarten Lankhorst 
2026f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
2027f3cf139eSMaarten Lankhorst }
2028f3cf139eSMaarten Lankhorst 
20291de99445SMaarten Lankhorst static void ww_test_spin_nest_unlocked(void)
20301de99445SMaarten Lankhorst {
2031a2e9ae58SPeter Zijlstra 	spin_lock_nest_lock(&lock_A, &o.base);
20321de99445SMaarten Lankhorst 	U(A);
20331de99445SMaarten Lankhorst }
20341de99445SMaarten Lankhorst 
2035e04ce676SBoqun Feng /* This is not a deadlock, because we have X1 to serialize Y1 and Y2 */
2036e04ce676SBoqun Feng static void ww_test_spin_nest_lock(void)
2037e04ce676SBoqun Feng {
2038e04ce676SBoqun Feng 	spin_lock(&lock_X1);
2039e04ce676SBoqun Feng 	spin_lock_nest_lock(&lock_Y1, &lock_X1);
2040e04ce676SBoqun Feng 	spin_lock(&lock_A);
2041e04ce676SBoqun Feng 	spin_lock_nest_lock(&lock_Y2, &lock_X1);
2042e04ce676SBoqun Feng 	spin_unlock(&lock_A);
2043e04ce676SBoqun Feng 	spin_unlock(&lock_Y2);
2044e04ce676SBoqun Feng 	spin_unlock(&lock_Y1);
2045e04ce676SBoqun Feng 	spin_unlock(&lock_X1);
2046e04ce676SBoqun Feng }
2047e04ce676SBoqun Feng 
20481de99445SMaarten Lankhorst static void ww_test_unneeded_slow(void)
20491de99445SMaarten Lankhorst {
20501de99445SMaarten Lankhorst 	WWAI(&t);
20511de99445SMaarten Lankhorst 
20521de99445SMaarten Lankhorst 	ww_mutex_lock_slow(&o, &t);
20531de99445SMaarten Lankhorst }
20541de99445SMaarten Lankhorst 
20551de99445SMaarten Lankhorst static void ww_test_context_block(void)
20561de99445SMaarten Lankhorst {
20571de99445SMaarten Lankhorst 	int ret;
20581de99445SMaarten Lankhorst 
20591de99445SMaarten Lankhorst 	WWAI(&t);
20601de99445SMaarten Lankhorst 
20611de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
20621de99445SMaarten Lankhorst 	WARN_ON(ret);
20631de99445SMaarten Lankhorst 	WWL1(&o2);
20641de99445SMaarten Lankhorst }
20651de99445SMaarten Lankhorst 
20661de99445SMaarten Lankhorst static void ww_test_context_try(void)
20671de99445SMaarten Lankhorst {
20681de99445SMaarten Lankhorst 	int ret;
20691de99445SMaarten Lankhorst 
20701de99445SMaarten Lankhorst 	WWAI(&t);
20711de99445SMaarten Lankhorst 
20721de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
20731de99445SMaarten Lankhorst 	WARN_ON(ret);
20741de99445SMaarten Lankhorst 
20751de99445SMaarten Lankhorst 	ret = WWT(&o2);
20761de99445SMaarten Lankhorst 	WARN_ON(!ret);
20771de99445SMaarten Lankhorst 	WWU(&o2);
20781de99445SMaarten Lankhorst 	WWU(&o);
20791de99445SMaarten Lankhorst }
20801de99445SMaarten Lankhorst 
20811de99445SMaarten Lankhorst static void ww_test_context_context(void)
20821de99445SMaarten Lankhorst {
20831de99445SMaarten Lankhorst 	int ret;
20841de99445SMaarten Lankhorst 
20851de99445SMaarten Lankhorst 	WWAI(&t);
20861de99445SMaarten Lankhorst 
20871de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
20881de99445SMaarten Lankhorst 	WARN_ON(ret);
20891de99445SMaarten Lankhorst 
20901de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
20911de99445SMaarten Lankhorst 	WARN_ON(ret);
20921de99445SMaarten Lankhorst 
20931de99445SMaarten Lankhorst 	WWU(&o2);
20941de99445SMaarten Lankhorst 	WWU(&o);
20951de99445SMaarten Lankhorst }
20961de99445SMaarten Lankhorst 
20971de99445SMaarten Lankhorst static void ww_test_try_block(void)
20981de99445SMaarten Lankhorst {
20991de99445SMaarten Lankhorst 	bool ret;
21001de99445SMaarten Lankhorst 
21011de99445SMaarten Lankhorst 	ret = WWT(&o);
21021de99445SMaarten Lankhorst 	WARN_ON(!ret);
21031de99445SMaarten Lankhorst 
21041de99445SMaarten Lankhorst 	WWL1(&o2);
21051de99445SMaarten Lankhorst 	WWU(&o2);
21061de99445SMaarten Lankhorst 	WWU(&o);
21071de99445SMaarten Lankhorst }
21081de99445SMaarten Lankhorst 
21091de99445SMaarten Lankhorst static void ww_test_try_try(void)
21101de99445SMaarten Lankhorst {
21111de99445SMaarten Lankhorst 	bool ret;
21121de99445SMaarten Lankhorst 
21131de99445SMaarten Lankhorst 	ret = WWT(&o);
21141de99445SMaarten Lankhorst 	WARN_ON(!ret);
21151de99445SMaarten Lankhorst 	ret = WWT(&o2);
21161de99445SMaarten Lankhorst 	WARN_ON(!ret);
21171de99445SMaarten Lankhorst 	WWU(&o2);
21181de99445SMaarten Lankhorst 	WWU(&o);
21191de99445SMaarten Lankhorst }
21201de99445SMaarten Lankhorst 
21211de99445SMaarten Lankhorst static void ww_test_try_context(void)
21221de99445SMaarten Lankhorst {
21231de99445SMaarten Lankhorst 	int ret;
21241de99445SMaarten Lankhorst 
21251de99445SMaarten Lankhorst 	ret = WWT(&o);
21261de99445SMaarten Lankhorst 	WARN_ON(!ret);
21271de99445SMaarten Lankhorst 
21281de99445SMaarten Lankhorst 	WWAI(&t);
21291de99445SMaarten Lankhorst 
21301de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
21311de99445SMaarten Lankhorst 	WARN_ON(ret);
21321de99445SMaarten Lankhorst }
21331de99445SMaarten Lankhorst 
21341de99445SMaarten Lankhorst static void ww_test_block_block(void)
21351de99445SMaarten Lankhorst {
21361de99445SMaarten Lankhorst 	WWL1(&o);
21371de99445SMaarten Lankhorst 	WWL1(&o2);
21381de99445SMaarten Lankhorst }
21391de99445SMaarten Lankhorst 
21401de99445SMaarten Lankhorst static void ww_test_block_try(void)
21411de99445SMaarten Lankhorst {
21421de99445SMaarten Lankhorst 	bool ret;
21431de99445SMaarten Lankhorst 
21441de99445SMaarten Lankhorst 	WWL1(&o);
21451de99445SMaarten Lankhorst 	ret = WWT(&o2);
21461de99445SMaarten Lankhorst 	WARN_ON(!ret);
21471de99445SMaarten Lankhorst }
21481de99445SMaarten Lankhorst 
21491de99445SMaarten Lankhorst static void ww_test_block_context(void)
21501de99445SMaarten Lankhorst {
21511de99445SMaarten Lankhorst 	int ret;
21521de99445SMaarten Lankhorst 
21531de99445SMaarten Lankhorst 	WWL1(&o);
21541de99445SMaarten Lankhorst 	WWAI(&t);
21551de99445SMaarten Lankhorst 
21561de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
21571de99445SMaarten Lankhorst 	WARN_ON(ret);
21581de99445SMaarten Lankhorst }
21591de99445SMaarten Lankhorst 
21601de99445SMaarten Lankhorst static void ww_test_spin_block(void)
21611de99445SMaarten Lankhorst {
21621de99445SMaarten Lankhorst 	L(A);
21631de99445SMaarten Lankhorst 	U(A);
21641de99445SMaarten Lankhorst 
21651de99445SMaarten Lankhorst 	WWL1(&o);
21661de99445SMaarten Lankhorst 	L(A);
21671de99445SMaarten Lankhorst 	U(A);
21681de99445SMaarten Lankhorst 	WWU(&o);
21691de99445SMaarten Lankhorst 
21701de99445SMaarten Lankhorst 	L(A);
21711de99445SMaarten Lankhorst 	WWL1(&o);
21721de99445SMaarten Lankhorst 	WWU(&o);
21731de99445SMaarten Lankhorst 	U(A);
21741de99445SMaarten Lankhorst }
21751de99445SMaarten Lankhorst 
21761de99445SMaarten Lankhorst static void ww_test_spin_try(void)
21771de99445SMaarten Lankhorst {
21781de99445SMaarten Lankhorst 	bool ret;
21791de99445SMaarten Lankhorst 
21801de99445SMaarten Lankhorst 	L(A);
21811de99445SMaarten Lankhorst 	U(A);
21821de99445SMaarten Lankhorst 
21831de99445SMaarten Lankhorst 	ret = WWT(&o);
21841de99445SMaarten Lankhorst 	WARN_ON(!ret);
21851de99445SMaarten Lankhorst 	L(A);
21861de99445SMaarten Lankhorst 	U(A);
21871de99445SMaarten Lankhorst 	WWU(&o);
21881de99445SMaarten Lankhorst 
21891de99445SMaarten Lankhorst 	L(A);
21901de99445SMaarten Lankhorst 	ret = WWT(&o);
21911de99445SMaarten Lankhorst 	WARN_ON(!ret);
21921de99445SMaarten Lankhorst 	WWU(&o);
21931de99445SMaarten Lankhorst 	U(A);
21941de99445SMaarten Lankhorst }
21951de99445SMaarten Lankhorst 
21961de99445SMaarten Lankhorst static void ww_test_spin_context(void)
21971de99445SMaarten Lankhorst {
21981de99445SMaarten Lankhorst 	int ret;
21991de99445SMaarten Lankhorst 
22001de99445SMaarten Lankhorst 	L(A);
22011de99445SMaarten Lankhorst 	U(A);
22021de99445SMaarten Lankhorst 
22031de99445SMaarten Lankhorst 	WWAI(&t);
22041de99445SMaarten Lankhorst 
22051de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
22061de99445SMaarten Lankhorst 	WARN_ON(ret);
22071de99445SMaarten Lankhorst 	L(A);
22081de99445SMaarten Lankhorst 	U(A);
22091de99445SMaarten Lankhorst 	WWU(&o);
22101de99445SMaarten Lankhorst 
22111de99445SMaarten Lankhorst 	L(A);
22121de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
22131de99445SMaarten Lankhorst 	WARN_ON(ret);
22141de99445SMaarten Lankhorst 	WWU(&o);
22151de99445SMaarten Lankhorst 	U(A);
22161de99445SMaarten Lankhorst }
22171de99445SMaarten Lankhorst 
22181de99445SMaarten Lankhorst static void ww_tests(void)
22191de99445SMaarten Lankhorst {
22201de99445SMaarten Lankhorst 	printk("  --------------------------------------------------------------------------\n");
22211de99445SMaarten Lankhorst 	printk("  | Wound/wait tests |\n");
22221de99445SMaarten Lankhorst 	printk("  ---------------------\n");
22231de99445SMaarten Lankhorst 
22241de99445SMaarten Lankhorst 	print_testname("ww api failures");
22251de99445SMaarten Lankhorst 	dotest(ww_test_fail_acquire, SUCCESS, LOCKTYPE_WW);
22262fe3d4b1SMaarten Lankhorst 	dotest(ww_test_normal, SUCCESS, LOCKTYPE_WW);
22271de99445SMaarten Lankhorst 	dotest(ww_test_unneeded_slow, FAILURE, LOCKTYPE_WW);
222825139409SMichael Ellerman 	pr_cont("\n");
22291de99445SMaarten Lankhorst 
22301de99445SMaarten Lankhorst 	print_testname("ww contexts mixing");
22311de99445SMaarten Lankhorst 	dotest(ww_test_two_contexts, FAILURE, LOCKTYPE_WW);
22321de99445SMaarten Lankhorst 	dotest(ww_test_diff_class, FAILURE, LOCKTYPE_WW);
223325139409SMichael Ellerman 	pr_cont("\n");
22341de99445SMaarten Lankhorst 
22351de99445SMaarten Lankhorst 	print_testname("finishing ww context");
22361de99445SMaarten Lankhorst 	dotest(ww_test_context_done_twice, FAILURE, LOCKTYPE_WW);
22371de99445SMaarten Lankhorst 	dotest(ww_test_context_unlock_twice, FAILURE, LOCKTYPE_WW);
22381de99445SMaarten Lankhorst 	dotest(ww_test_context_fini_early, FAILURE, LOCKTYPE_WW);
22391de99445SMaarten Lankhorst 	dotest(ww_test_context_lock_after_done, FAILURE, LOCKTYPE_WW);
224025139409SMichael Ellerman 	pr_cont("\n");
22411de99445SMaarten Lankhorst 
22421de99445SMaarten Lankhorst 	print_testname("locking mismatches");
22431de99445SMaarten Lankhorst 	dotest(ww_test_object_unlock_twice, FAILURE, LOCKTYPE_WW);
22441de99445SMaarten Lankhorst 	dotest(ww_test_object_lock_unbalanced, FAILURE, LOCKTYPE_WW);
22451de99445SMaarten Lankhorst 	dotest(ww_test_object_lock_stale_context, FAILURE, LOCKTYPE_WW);
224625139409SMichael Ellerman 	pr_cont("\n");
22471de99445SMaarten Lankhorst 
2248f3cf139eSMaarten Lankhorst 	print_testname("EDEADLK handling");
2249f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_normal, SUCCESS, LOCKTYPE_WW);
2250f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_normal_slow, SUCCESS, LOCKTYPE_WW);
2251f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_no_unlock, FAILURE, LOCKTYPE_WW);
2252f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_no_unlock_slow, FAILURE, LOCKTYPE_WW);
2253f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more, FAILURE, LOCKTYPE_WW);
2254f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_slow, FAILURE, LOCKTYPE_WW);
2255f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_edeadlk, FAILURE, LOCKTYPE_WW);
2256f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_edeadlk_slow, FAILURE, LOCKTYPE_WW);
2257f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_wrong, FAILURE, LOCKTYPE_WW);
2258f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_wrong_slow, FAILURE, LOCKTYPE_WW);
225925139409SMichael Ellerman 	pr_cont("\n");
2260f3cf139eSMaarten Lankhorst 
22611de99445SMaarten Lankhorst 	print_testname("spinlock nest unlocked");
22621de99445SMaarten Lankhorst 	dotest(ww_test_spin_nest_unlocked, FAILURE, LOCKTYPE_WW);
226325139409SMichael Ellerman 	pr_cont("\n");
22641de99445SMaarten Lankhorst 
2265e04ce676SBoqun Feng 	print_testname("spinlock nest test");
2266e04ce676SBoqun Feng 	dotest(ww_test_spin_nest_lock, SUCCESS, LOCKTYPE_WW);
2267e04ce676SBoqun Feng 	pr_cont("\n");
2268e04ce676SBoqun Feng 
22691de99445SMaarten Lankhorst 	printk("  -----------------------------------------------------\n");
22701de99445SMaarten Lankhorst 	printk("                                 |block | try  |context|\n");
22711de99445SMaarten Lankhorst 	printk("  -----------------------------------------------------\n");
22721de99445SMaarten Lankhorst 
22731de99445SMaarten Lankhorst 	print_testname("context");
22741de99445SMaarten Lankhorst 	dotest(ww_test_context_block, FAILURE, LOCKTYPE_WW);
22751de99445SMaarten Lankhorst 	dotest(ww_test_context_try, SUCCESS, LOCKTYPE_WW);
22761de99445SMaarten Lankhorst 	dotest(ww_test_context_context, SUCCESS, LOCKTYPE_WW);
227725139409SMichael Ellerman 	pr_cont("\n");
22781de99445SMaarten Lankhorst 
22791de99445SMaarten Lankhorst 	print_testname("try");
22801de99445SMaarten Lankhorst 	dotest(ww_test_try_block, FAILURE, LOCKTYPE_WW);
22811de99445SMaarten Lankhorst 	dotest(ww_test_try_try, SUCCESS, LOCKTYPE_WW);
22821de99445SMaarten Lankhorst 	dotest(ww_test_try_context, FAILURE, LOCKTYPE_WW);
228325139409SMichael Ellerman 	pr_cont("\n");
22841de99445SMaarten Lankhorst 
22851de99445SMaarten Lankhorst 	print_testname("block");
22861de99445SMaarten Lankhorst 	dotest(ww_test_block_block, FAILURE, LOCKTYPE_WW);
22871de99445SMaarten Lankhorst 	dotest(ww_test_block_try, SUCCESS, LOCKTYPE_WW);
22881de99445SMaarten Lankhorst 	dotest(ww_test_block_context, FAILURE, LOCKTYPE_WW);
228925139409SMichael Ellerman 	pr_cont("\n");
22901de99445SMaarten Lankhorst 
22911de99445SMaarten Lankhorst 	print_testname("spinlock");
22921de99445SMaarten Lankhorst 	dotest(ww_test_spin_block, FAILURE, LOCKTYPE_WW);
22931de99445SMaarten Lankhorst 	dotest(ww_test_spin_try, SUCCESS, LOCKTYPE_WW);
22941de99445SMaarten Lankhorst 	dotest(ww_test_spin_context, FAILURE, LOCKTYPE_WW);
229525139409SMichael Ellerman 	pr_cont("\n");
22961de99445SMaarten Lankhorst }
2297cae2ed9aSIngo Molnar 
2298ad56450dSBoqun Feng 
2299ad56450dSBoqun Feng /*
2300ad56450dSBoqun Feng  * <in hardirq handler>
2301ad56450dSBoqun Feng  * read_lock(&A);
2302ad56450dSBoqun Feng  *			<hardirq disable>
2303ad56450dSBoqun Feng  *			spin_lock(&B);
2304ad56450dSBoqun Feng  * spin_lock(&B);
2305ad56450dSBoqun Feng  *			read_lock(&A);
2306ad56450dSBoqun Feng  *
2307ad56450dSBoqun Feng  * is a deadlock.
2308ad56450dSBoqun Feng  */
2309ad56450dSBoqun Feng static void queued_read_lock_hardirq_RE_Er(void)
2310ad56450dSBoqun Feng {
2311ad56450dSBoqun Feng 	HARDIRQ_ENTER();
2312ad56450dSBoqun Feng 	read_lock(&rwlock_A);
2313ad56450dSBoqun Feng 	LOCK(B);
2314ad56450dSBoqun Feng 	UNLOCK(B);
2315ad56450dSBoqun Feng 	read_unlock(&rwlock_A);
2316ad56450dSBoqun Feng 	HARDIRQ_EXIT();
2317ad56450dSBoqun Feng 
2318ad56450dSBoqun Feng 	HARDIRQ_DISABLE();
2319ad56450dSBoqun Feng 	LOCK(B);
2320ad56450dSBoqun Feng 	read_lock(&rwlock_A);
2321ad56450dSBoqun Feng 	read_unlock(&rwlock_A);
2322ad56450dSBoqun Feng 	UNLOCK(B);
2323ad56450dSBoqun Feng 	HARDIRQ_ENABLE();
2324ad56450dSBoqun Feng }
2325ad56450dSBoqun Feng 
2326ad56450dSBoqun Feng /*
2327ad56450dSBoqun Feng  * <in hardirq handler>
2328ad56450dSBoqun Feng  * spin_lock(&B);
2329ad56450dSBoqun Feng  *			<hardirq disable>
2330ad56450dSBoqun Feng  *			read_lock(&A);
2331ad56450dSBoqun Feng  * read_lock(&A);
2332ad56450dSBoqun Feng  *			spin_lock(&B);
2333ad56450dSBoqun Feng  *
2334ad56450dSBoqun Feng  * is not a deadlock.
2335ad56450dSBoqun Feng  */
2336ad56450dSBoqun Feng static void queued_read_lock_hardirq_ER_rE(void)
2337ad56450dSBoqun Feng {
2338ad56450dSBoqun Feng 	HARDIRQ_ENTER();
2339ad56450dSBoqun Feng 	LOCK(B);
2340ad56450dSBoqun Feng 	read_lock(&rwlock_A);
2341ad56450dSBoqun Feng 	read_unlock(&rwlock_A);
2342ad56450dSBoqun Feng 	UNLOCK(B);
2343ad56450dSBoqun Feng 	HARDIRQ_EXIT();
2344ad56450dSBoqun Feng 
2345ad56450dSBoqun Feng 	HARDIRQ_DISABLE();
2346ad56450dSBoqun Feng 	read_lock(&rwlock_A);
2347ad56450dSBoqun Feng 	LOCK(B);
2348ad56450dSBoqun Feng 	UNLOCK(B);
2349ad56450dSBoqun Feng 	read_unlock(&rwlock_A);
2350ad56450dSBoqun Feng 	HARDIRQ_ENABLE();
2351ad56450dSBoqun Feng }
2352ad56450dSBoqun Feng 
2353ad56450dSBoqun Feng /*
2354ad56450dSBoqun Feng  * <hardirq disable>
2355ad56450dSBoqun Feng  * spin_lock(&B);
2356ad56450dSBoqun Feng  *			read_lock(&A);
2357ad56450dSBoqun Feng  *			<in hardirq handler>
2358ad56450dSBoqun Feng  *			spin_lock(&B);
2359ad56450dSBoqun Feng  * read_lock(&A);
2360ad56450dSBoqun Feng  *
2361ad56450dSBoqun Feng  * is a deadlock. Because the two read_lock()s are both non-recursive readers.
2362ad56450dSBoqun Feng  */
2363ad56450dSBoqun Feng static void queued_read_lock_hardirq_inversion(void)
2364ad56450dSBoqun Feng {
2365ad56450dSBoqun Feng 
2366ad56450dSBoqun Feng 	HARDIRQ_ENTER();
2367ad56450dSBoqun Feng 	LOCK(B);
2368ad56450dSBoqun Feng 	UNLOCK(B);
2369ad56450dSBoqun Feng 	HARDIRQ_EXIT();
2370ad56450dSBoqun Feng 
2371ad56450dSBoqun Feng 	HARDIRQ_DISABLE();
2372ad56450dSBoqun Feng 	LOCK(B);
2373ad56450dSBoqun Feng 	read_lock(&rwlock_A);
2374ad56450dSBoqun Feng 	read_unlock(&rwlock_A);
2375ad56450dSBoqun Feng 	UNLOCK(B);
2376ad56450dSBoqun Feng 	HARDIRQ_ENABLE();
2377ad56450dSBoqun Feng 
2378ad56450dSBoqun Feng 	read_lock(&rwlock_A);
2379ad56450dSBoqun Feng 	read_unlock(&rwlock_A);
2380ad56450dSBoqun Feng }
2381ad56450dSBoqun Feng 
2382ad56450dSBoqun Feng static void queued_read_lock_tests(void)
2383ad56450dSBoqun Feng {
2384ad56450dSBoqun Feng 	printk("  --------------------------------------------------------------------------\n");
2385ad56450dSBoqun Feng 	printk("  | queued read lock tests |\n");
2386ad56450dSBoqun Feng 	printk("  ---------------------------\n");
2387ad56450dSBoqun Feng 	print_testname("hardirq read-lock/lock-read");
2388ad56450dSBoqun Feng 	dotest(queued_read_lock_hardirq_RE_Er, FAILURE, LOCKTYPE_RWLOCK);
2389ad56450dSBoqun Feng 	pr_cont("\n");
2390ad56450dSBoqun Feng 
2391ad56450dSBoqun Feng 	print_testname("hardirq lock-read/read-lock");
2392ad56450dSBoqun Feng 	dotest(queued_read_lock_hardirq_ER_rE, SUCCESS, LOCKTYPE_RWLOCK);
2393ad56450dSBoqun Feng 	pr_cont("\n");
2394ad56450dSBoqun Feng 
2395ad56450dSBoqun Feng 	print_testname("hardirq inversion");
2396ad56450dSBoqun Feng 	dotest(queued_read_lock_hardirq_inversion, FAILURE, LOCKTYPE_RWLOCK);
2397ad56450dSBoqun Feng 	pr_cont("\n");
2398ad56450dSBoqun Feng }
2399ad56450dSBoqun Feng 
2400d5037d1dSDaniel Vetter static void fs_reclaim_correct_nesting(void)
2401d5037d1dSDaniel Vetter {
2402d5037d1dSDaniel Vetter 	fs_reclaim_acquire(GFP_KERNEL);
2403d5037d1dSDaniel Vetter 	might_alloc(GFP_NOFS);
2404d5037d1dSDaniel Vetter 	fs_reclaim_release(GFP_KERNEL);
2405d5037d1dSDaniel Vetter }
2406d5037d1dSDaniel Vetter 
2407d5037d1dSDaniel Vetter static void fs_reclaim_wrong_nesting(void)
2408d5037d1dSDaniel Vetter {
2409d5037d1dSDaniel Vetter 	fs_reclaim_acquire(GFP_KERNEL);
2410d5037d1dSDaniel Vetter 	might_alloc(GFP_KERNEL);
2411d5037d1dSDaniel Vetter 	fs_reclaim_release(GFP_KERNEL);
2412d5037d1dSDaniel Vetter }
2413d5037d1dSDaniel Vetter 
2414d5037d1dSDaniel Vetter static void fs_reclaim_protected_nesting(void)
2415d5037d1dSDaniel Vetter {
2416d5037d1dSDaniel Vetter 	unsigned int flags;
2417d5037d1dSDaniel Vetter 
2418d5037d1dSDaniel Vetter 	fs_reclaim_acquire(GFP_KERNEL);
2419d5037d1dSDaniel Vetter 	flags = memalloc_nofs_save();
2420d5037d1dSDaniel Vetter 	might_alloc(GFP_KERNEL);
2421d5037d1dSDaniel Vetter 	memalloc_nofs_restore(flags);
2422d5037d1dSDaniel Vetter 	fs_reclaim_release(GFP_KERNEL);
2423d5037d1dSDaniel Vetter }
2424d5037d1dSDaniel Vetter 
2425d5037d1dSDaniel Vetter static void fs_reclaim_tests(void)
2426d5037d1dSDaniel Vetter {
2427d5037d1dSDaniel Vetter 	printk("  --------------------\n");
2428d5037d1dSDaniel Vetter 	printk("  | fs_reclaim tests |\n");
2429d5037d1dSDaniel Vetter 	printk("  --------------------\n");
2430d5037d1dSDaniel Vetter 
2431d5037d1dSDaniel Vetter 	print_testname("correct nesting");
2432d5037d1dSDaniel Vetter 	dotest(fs_reclaim_correct_nesting, SUCCESS, 0);
2433d5037d1dSDaniel Vetter 	pr_cont("\n");
2434d5037d1dSDaniel Vetter 
2435d5037d1dSDaniel Vetter 	print_testname("wrong nesting");
2436d5037d1dSDaniel Vetter 	dotest(fs_reclaim_wrong_nesting, FAILURE, 0);
2437d5037d1dSDaniel Vetter 	pr_cont("\n");
2438d5037d1dSDaniel Vetter 
2439d5037d1dSDaniel Vetter 	print_testname("protected nesting");
2440d5037d1dSDaniel Vetter 	dotest(fs_reclaim_protected_nesting, SUCCESS, 0);
2441d5037d1dSDaniel Vetter 	pr_cont("\n");
2442d5037d1dSDaniel Vetter }
2443d5037d1dSDaniel Vetter 
24449271a40dSBoqun Feng #define __guard(cleanup) __maybe_unused __attribute__((__cleanup__(cleanup)))
24459271a40dSBoqun Feng 
24469271a40dSBoqun Feng static void hardirq_exit(int *_)
24479271a40dSBoqun Feng {
24489271a40dSBoqun Feng 	HARDIRQ_EXIT();
24499271a40dSBoqun Feng }
24509271a40dSBoqun Feng 
24519271a40dSBoqun Feng #define HARDIRQ_CONTEXT(name, ...)					\
24529271a40dSBoqun Feng 	int hardirq_guard_##name __guard(hardirq_exit);			\
24539271a40dSBoqun Feng 	HARDIRQ_ENTER();
24549271a40dSBoqun Feng 
24559271a40dSBoqun Feng #define NOTTHREADED_HARDIRQ_CONTEXT(name, ...)				\
24569271a40dSBoqun Feng 	int notthreaded_hardirq_guard_##name __guard(hardirq_exit);	\
24579271a40dSBoqun Feng 	local_irq_disable();						\
24589271a40dSBoqun Feng 	__irq_enter();							\
24599271a40dSBoqun Feng 	WARN_ON(!in_irq());
24609271a40dSBoqun Feng 
24619271a40dSBoqun Feng static void softirq_exit(int *_)
24629271a40dSBoqun Feng {
24639271a40dSBoqun Feng 	SOFTIRQ_EXIT();
24649271a40dSBoqun Feng }
24659271a40dSBoqun Feng 
24669271a40dSBoqun Feng #define SOFTIRQ_CONTEXT(name, ...)				\
24679271a40dSBoqun Feng 	int softirq_guard_##name __guard(softirq_exit);		\
24689271a40dSBoqun Feng 	SOFTIRQ_ENTER();
24699271a40dSBoqun Feng 
24709271a40dSBoqun Feng static void rcu_exit(int *_)
24719271a40dSBoqun Feng {
24729271a40dSBoqun Feng 	rcu_read_unlock();
24739271a40dSBoqun Feng }
24749271a40dSBoqun Feng 
24759271a40dSBoqun Feng #define RCU_CONTEXT(name, ...)					\
24769271a40dSBoqun Feng 	int rcu_guard_##name __guard(rcu_exit);			\
24779271a40dSBoqun Feng 	rcu_read_lock();
24789271a40dSBoqun Feng 
24799271a40dSBoqun Feng static void rcu_bh_exit(int *_)
24809271a40dSBoqun Feng {
24819271a40dSBoqun Feng 	rcu_read_unlock_bh();
24829271a40dSBoqun Feng }
24839271a40dSBoqun Feng 
24849271a40dSBoqun Feng #define RCU_BH_CONTEXT(name, ...)				\
24859271a40dSBoqun Feng 	int rcu_bh_guard_##name __guard(rcu_bh_exit);		\
24869271a40dSBoqun Feng 	rcu_read_lock_bh();
24879271a40dSBoqun Feng 
24889271a40dSBoqun Feng static void rcu_sched_exit(int *_)
24899271a40dSBoqun Feng {
24909271a40dSBoqun Feng 	rcu_read_unlock_sched();
24919271a40dSBoqun Feng }
24929271a40dSBoqun Feng 
24939271a40dSBoqun Feng #define RCU_SCHED_CONTEXT(name, ...)				\
24949271a40dSBoqun Feng 	int rcu_sched_guard_##name __guard(rcu_sched_exit);	\
24959271a40dSBoqun Feng 	rcu_read_lock_sched();
24969271a40dSBoqun Feng 
24979271a40dSBoqun Feng static void raw_spinlock_exit(raw_spinlock_t **lock)
24989271a40dSBoqun Feng {
24999271a40dSBoqun Feng 	raw_spin_unlock(*lock);
25009271a40dSBoqun Feng }
25019271a40dSBoqun Feng 
25029271a40dSBoqun Feng #define RAW_SPINLOCK_CONTEXT(name, lock)						\
25039271a40dSBoqun Feng 	raw_spinlock_t *raw_spinlock_guard_##name __guard(raw_spinlock_exit) = &(lock);	\
25049271a40dSBoqun Feng 	raw_spin_lock(&(lock));
25059271a40dSBoqun Feng 
25069271a40dSBoqun Feng static void spinlock_exit(spinlock_t **lock)
25079271a40dSBoqun Feng {
25089271a40dSBoqun Feng 	spin_unlock(*lock);
25099271a40dSBoqun Feng }
25109271a40dSBoqun Feng 
25119271a40dSBoqun Feng #define SPINLOCK_CONTEXT(name, lock)						\
25129271a40dSBoqun Feng 	spinlock_t *spinlock_guard_##name __guard(spinlock_exit) = &(lock);	\
25139271a40dSBoqun Feng 	spin_lock(&(lock));
25149271a40dSBoqun Feng 
25159271a40dSBoqun Feng static void mutex_exit(struct mutex **lock)
25169271a40dSBoqun Feng {
25179271a40dSBoqun Feng 	mutex_unlock(*lock);
25189271a40dSBoqun Feng }
25199271a40dSBoqun Feng 
25209271a40dSBoqun Feng #define MUTEX_CONTEXT(name, lock)					\
25219271a40dSBoqun Feng 	struct mutex *mutex_guard_##name __guard(mutex_exit) = &(lock);	\
25229271a40dSBoqun Feng 	mutex_lock(&(lock));
25239271a40dSBoqun Feng 
25249271a40dSBoqun Feng #define GENERATE_2_CONTEXT_TESTCASE(outer, outer_lock, inner, inner_lock)	\
25259271a40dSBoqun Feng 										\
25269271a40dSBoqun Feng static void __maybe_unused inner##_in_##outer(void)				\
25279271a40dSBoqun Feng {										\
25289271a40dSBoqun Feng 	outer##_CONTEXT(_, outer_lock);						\
25299271a40dSBoqun Feng 	{									\
25309271a40dSBoqun Feng 		inner##_CONTEXT(_, inner_lock);					\
25319271a40dSBoqun Feng 	}									\
25329271a40dSBoqun Feng }
25339271a40dSBoqun Feng 
25349271a40dSBoqun Feng /*
25359271a40dSBoqun Feng  * wait contexts (considering PREEMPT_RT)
25369271a40dSBoqun Feng  *
25379271a40dSBoqun Feng  * o: inner is allowed in outer
25389271a40dSBoqun Feng  * x: inner is disallowed in outer
25399271a40dSBoqun Feng  *
25409271a40dSBoqun Feng  *       \  inner |  RCU  | RAW_SPIN | SPIN | MUTEX
25419271a40dSBoqun Feng  * outer  \       |       |          |      |
25429271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25439271a40dSBoqun Feng  * HARDIRQ        |   o   |    o     |  o   |  x
25449271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25459271a40dSBoqun Feng  * NOTTHREADED_IRQ|   o   |    o     |  x   |  x
25469271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25479271a40dSBoqun Feng  * SOFTIRQ        |   o   |    o     |  o   |  x
25489271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25499271a40dSBoqun Feng  * RCU            |   o   |    o     |  o   |  x
25509271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25519271a40dSBoqun Feng  * RCU_BH         |   o   |    o     |  o   |  x
25529271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25539271a40dSBoqun Feng  * RCU_SCHED      |   o   |    o     |  x   |  x
25549271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25559271a40dSBoqun Feng  * RAW_SPIN       |   o   |    o     |  x   |  x
25569271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25579271a40dSBoqun Feng  * SPIN           |   o   |    o     |  o   |  x
25589271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25599271a40dSBoqun Feng  * MUTEX          |   o   |    o     |  o   |  o
25609271a40dSBoqun Feng  * ---------------+-------+----------+------+-------
25619271a40dSBoqun Feng  */
25629271a40dSBoqun Feng 
25639271a40dSBoqun Feng #define GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(inner, inner_lock)		\
25649271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE(HARDIRQ, , inner, inner_lock)			\
25659271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE(NOTTHREADED_HARDIRQ, , inner, inner_lock)		\
25669271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE(SOFTIRQ, , inner, inner_lock)			\
25679271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE(RCU, , inner, inner_lock)				\
25689271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE(RCU_BH, , inner, inner_lock)			\
25699271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE(RCU_SCHED, , inner, inner_lock)			\
25709271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE(RAW_SPINLOCK, raw_lock_A, inner, inner_lock)	\
25719271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE(SPINLOCK, lock_A, inner, inner_lock)		\
25729271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE(MUTEX, mutex_A, inner, inner_lock)
25739271a40dSBoqun Feng 
25749271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(RCU, )
25759271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(RAW_SPINLOCK, raw_lock_B)
25769271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(SPINLOCK, lock_B)
25779271a40dSBoqun Feng GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(MUTEX, mutex_B)
25789271a40dSBoqun Feng 
25799271a40dSBoqun Feng /* the outer context allows all kinds of preemption */
25809271a40dSBoqun Feng #define DO_CONTEXT_TESTCASE_OUTER_PREEMPTIBLE(outer)			\
25819271a40dSBoqun Feng 	dotest(RCU_in_##outer, SUCCESS, LOCKTYPE_RWLOCK);		\
25829271a40dSBoqun Feng 	dotest(RAW_SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN);	\
25839271a40dSBoqun Feng 	dotest(SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN);		\
25849271a40dSBoqun Feng 	dotest(MUTEX_in_##outer, SUCCESS, LOCKTYPE_MUTEX);		\
25859271a40dSBoqun Feng 
25869271a40dSBoqun Feng /*
25879271a40dSBoqun Feng  * the outer context only allows the preemption introduced by spinlock_t (which
25889271a40dSBoqun Feng  * is a sleepable lock for PREEMPT_RT)
25899271a40dSBoqun Feng  */
25909271a40dSBoqun Feng #define DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(outer)		\
25919271a40dSBoqun Feng 	dotest(RCU_in_##outer, SUCCESS, LOCKTYPE_RWLOCK);		\
25929271a40dSBoqun Feng 	dotest(RAW_SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN);	\
25939271a40dSBoqun Feng 	dotest(SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN);		\
25949271a40dSBoqun Feng 	dotest(MUTEX_in_##outer, FAILURE, LOCKTYPE_MUTEX);		\
25959271a40dSBoqun Feng 
25969271a40dSBoqun Feng /* the outer doesn't allows any kind of preemption */
25979271a40dSBoqun Feng #define DO_CONTEXT_TESTCASE_OUTER_NOT_PREEMPTIBLE(outer)			\
25989271a40dSBoqun Feng 	dotest(RCU_in_##outer, SUCCESS, LOCKTYPE_RWLOCK);		\
25999271a40dSBoqun Feng 	dotest(RAW_SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN);	\
26009271a40dSBoqun Feng 	dotest(SPINLOCK_in_##outer, FAILURE, LOCKTYPE_SPIN);		\
26019271a40dSBoqun Feng 	dotest(MUTEX_in_##outer, FAILURE, LOCKTYPE_MUTEX);		\
26029271a40dSBoqun Feng 
26039271a40dSBoqun Feng static void wait_context_tests(void)
26049271a40dSBoqun Feng {
26059271a40dSBoqun Feng 	printk("  --------------------------------------------------------------------------\n");
26069271a40dSBoqun Feng 	printk("  | wait context tests |\n");
26079271a40dSBoqun Feng 	printk("  --------------------------------------------------------------------------\n");
26089271a40dSBoqun Feng 	printk("                                 | rcu  | raw  | spin |mutex |\n");
26099271a40dSBoqun Feng 	printk("  --------------------------------------------------------------------------\n");
26109271a40dSBoqun Feng 	print_testname("in hardirq context");
26119271a40dSBoqun Feng 	DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(HARDIRQ);
26129271a40dSBoqun Feng 	pr_cont("\n");
26139271a40dSBoqun Feng 
26149271a40dSBoqun Feng 	print_testname("in hardirq context (not threaded)");
26159271a40dSBoqun Feng 	DO_CONTEXT_TESTCASE_OUTER_NOT_PREEMPTIBLE(NOTTHREADED_HARDIRQ);
26169271a40dSBoqun Feng 	pr_cont("\n");
26179271a40dSBoqun Feng 
26189271a40dSBoqun Feng 	print_testname("in softirq context");
26199271a40dSBoqun Feng 	DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(SOFTIRQ);
26209271a40dSBoqun Feng 	pr_cont("\n");
26219271a40dSBoqun Feng 
26229271a40dSBoqun Feng 	print_testname("in RCU context");
26239271a40dSBoqun Feng 	DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(RCU);
26249271a40dSBoqun Feng 	pr_cont("\n");
26259271a40dSBoqun Feng 
26269271a40dSBoqun Feng 	print_testname("in RCU-bh context");
26279271a40dSBoqun Feng 	DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(RCU_BH);
26289271a40dSBoqun Feng 	pr_cont("\n");
26299271a40dSBoqun Feng 
26309271a40dSBoqun Feng 	print_testname("in RCU-sched context");
26319271a40dSBoqun Feng 	DO_CONTEXT_TESTCASE_OUTER_NOT_PREEMPTIBLE(RCU_SCHED);
26329271a40dSBoqun Feng 	pr_cont("\n");
26339271a40dSBoqun Feng 
26349271a40dSBoqun Feng 	print_testname("in RAW_SPINLOCK context");
26359271a40dSBoqun Feng 	DO_CONTEXT_TESTCASE_OUTER_NOT_PREEMPTIBLE(RAW_SPINLOCK);
26369271a40dSBoqun Feng 	pr_cont("\n");
26379271a40dSBoqun Feng 
26389271a40dSBoqun Feng 	print_testname("in SPINLOCK context");
26399271a40dSBoqun Feng 	DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(SPINLOCK);
26409271a40dSBoqun Feng 	pr_cont("\n");
26419271a40dSBoqun Feng 
26429271a40dSBoqun Feng 	print_testname("in MUTEX context");
26439271a40dSBoqun Feng 	DO_CONTEXT_TESTCASE_OUTER_PREEMPTIBLE(MUTEX);
26449271a40dSBoqun Feng 	pr_cont("\n");
26459271a40dSBoqun Feng }
26469271a40dSBoqun Feng 
26477e923e6aSPeter Zijlstra static void local_lock_2(void)
26487e923e6aSPeter Zijlstra {
26497e923e6aSPeter Zijlstra 	local_lock_acquire(&local_A);	/* IRQ-ON */
26507e923e6aSPeter Zijlstra 	local_lock_release(&local_A);
26517e923e6aSPeter Zijlstra 
26527e923e6aSPeter Zijlstra 	HARDIRQ_ENTER();
26537e923e6aSPeter Zijlstra 	spin_lock(&lock_A);		/* IN-IRQ */
26547e923e6aSPeter Zijlstra 	spin_unlock(&lock_A);
26557e923e6aSPeter Zijlstra 	HARDIRQ_EXIT()
26567e923e6aSPeter Zijlstra 
26577e923e6aSPeter Zijlstra 	HARDIRQ_DISABLE();
26587e923e6aSPeter Zijlstra 	spin_lock(&lock_A);
26597e923e6aSPeter Zijlstra 	local_lock_acquire(&local_A);	/* IN-IRQ <-> IRQ-ON cycle, false */
26607e923e6aSPeter Zijlstra 	local_lock_release(&local_A);
26617e923e6aSPeter Zijlstra 	spin_unlock(&lock_A);
26627e923e6aSPeter Zijlstra 	HARDIRQ_ENABLE();
26637e923e6aSPeter Zijlstra }
26647e923e6aSPeter Zijlstra 
26657e923e6aSPeter Zijlstra static void local_lock_3A(void)
26667e923e6aSPeter Zijlstra {
26677e923e6aSPeter Zijlstra 	local_lock_acquire(&local_A);	/* IRQ-ON */
26687e923e6aSPeter Zijlstra 	spin_lock(&lock_B);		/* IRQ-ON */
26697e923e6aSPeter Zijlstra 	spin_unlock(&lock_B);
26707e923e6aSPeter Zijlstra 	local_lock_release(&local_A);
26717e923e6aSPeter Zijlstra 
26727e923e6aSPeter Zijlstra 	HARDIRQ_ENTER();
26737e923e6aSPeter Zijlstra 	spin_lock(&lock_A);		/* IN-IRQ */
26747e923e6aSPeter Zijlstra 	spin_unlock(&lock_A);
26757e923e6aSPeter Zijlstra 	HARDIRQ_EXIT()
26767e923e6aSPeter Zijlstra 
26777e923e6aSPeter Zijlstra 	HARDIRQ_DISABLE();
26787e923e6aSPeter Zijlstra 	spin_lock(&lock_A);
26797e923e6aSPeter Zijlstra 	local_lock_acquire(&local_A);	/* IN-IRQ <-> IRQ-ON cycle only if we count local_lock(), false */
26807e923e6aSPeter Zijlstra 	local_lock_release(&local_A);
26817e923e6aSPeter Zijlstra 	spin_unlock(&lock_A);
26827e923e6aSPeter Zijlstra 	HARDIRQ_ENABLE();
26837e923e6aSPeter Zijlstra }
26847e923e6aSPeter Zijlstra 
26857e923e6aSPeter Zijlstra static void local_lock_3B(void)
26867e923e6aSPeter Zijlstra {
26877e923e6aSPeter Zijlstra 	local_lock_acquire(&local_A);	/* IRQ-ON */
26887e923e6aSPeter Zijlstra 	spin_lock(&lock_B);		/* IRQ-ON */
26897e923e6aSPeter Zijlstra 	spin_unlock(&lock_B);
26907e923e6aSPeter Zijlstra 	local_lock_release(&local_A);
26917e923e6aSPeter Zijlstra 
26927e923e6aSPeter Zijlstra 	HARDIRQ_ENTER();
26937e923e6aSPeter Zijlstra 	spin_lock(&lock_A);		/* IN-IRQ */
26947e923e6aSPeter Zijlstra 	spin_unlock(&lock_A);
26957e923e6aSPeter Zijlstra 	HARDIRQ_EXIT()
26967e923e6aSPeter Zijlstra 
26977e923e6aSPeter Zijlstra 	HARDIRQ_DISABLE();
26987e923e6aSPeter Zijlstra 	spin_lock(&lock_A);
26997e923e6aSPeter Zijlstra 	local_lock_acquire(&local_A);	/* IN-IRQ <-> IRQ-ON cycle only if we count local_lock(), false */
27007e923e6aSPeter Zijlstra 	local_lock_release(&local_A);
27017e923e6aSPeter Zijlstra 	spin_unlock(&lock_A);
27027e923e6aSPeter Zijlstra 	HARDIRQ_ENABLE();
27037e923e6aSPeter Zijlstra 
27047e923e6aSPeter Zijlstra 	HARDIRQ_DISABLE();
27057e923e6aSPeter Zijlstra 	spin_lock(&lock_A);
27067e923e6aSPeter Zijlstra 	spin_lock(&lock_B);		/* IN-IRQ <-> IRQ-ON cycle, true */
27077e923e6aSPeter Zijlstra 	spin_unlock(&lock_B);
27087e923e6aSPeter Zijlstra 	spin_unlock(&lock_A);
27097e923e6aSPeter Zijlstra 	HARDIRQ_DISABLE();
27107e923e6aSPeter Zijlstra 
27117e923e6aSPeter Zijlstra }
27127e923e6aSPeter Zijlstra 
27137e923e6aSPeter Zijlstra static void local_lock_tests(void)
27147e923e6aSPeter Zijlstra {
27157e923e6aSPeter Zijlstra 	printk("  --------------------------------------------------------------------------\n");
27167e923e6aSPeter Zijlstra 	printk("  | local_lock tests |\n");
27177e923e6aSPeter Zijlstra 	printk("  ---------------------\n");
27187e923e6aSPeter Zijlstra 
27197e923e6aSPeter Zijlstra 	print_testname("local_lock inversion  2");
27207e923e6aSPeter Zijlstra 	dotest(local_lock_2, SUCCESS, LOCKTYPE_LL);
27217e923e6aSPeter Zijlstra 	pr_cont("\n");
27227e923e6aSPeter Zijlstra 
27237e923e6aSPeter Zijlstra 	print_testname("local_lock inversion 3A");
27247e923e6aSPeter Zijlstra 	dotest(local_lock_3A, SUCCESS, LOCKTYPE_LL);
27257e923e6aSPeter Zijlstra 	pr_cont("\n");
27267e923e6aSPeter Zijlstra 
27277e923e6aSPeter Zijlstra 	print_testname("local_lock inversion 3B");
27287e923e6aSPeter Zijlstra 	dotest(local_lock_3B, FAILURE, LOCKTYPE_LL);
27297e923e6aSPeter Zijlstra 	pr_cont("\n");
27307e923e6aSPeter Zijlstra }
27317e923e6aSPeter Zijlstra 
27328946ccc2SBoqun Feng static void hardirq_deadlock_softirq_not_deadlock(void)
27338946ccc2SBoqun Feng {
27348946ccc2SBoqun Feng 	/* mutex_A is hardirq-unsafe and softirq-unsafe */
27358946ccc2SBoqun Feng 	/* mutex_A -> lock_C */
27368946ccc2SBoqun Feng 	mutex_lock(&mutex_A);
27378946ccc2SBoqun Feng 	HARDIRQ_DISABLE();
27388946ccc2SBoqun Feng 	spin_lock(&lock_C);
27398946ccc2SBoqun Feng 	spin_unlock(&lock_C);
27408946ccc2SBoqun Feng 	HARDIRQ_ENABLE();
27418946ccc2SBoqun Feng 	mutex_unlock(&mutex_A);
27428946ccc2SBoqun Feng 
27438946ccc2SBoqun Feng 	/* lock_A is hardirq-safe */
27448946ccc2SBoqun Feng 	HARDIRQ_ENTER();
27458946ccc2SBoqun Feng 	spin_lock(&lock_A);
27468946ccc2SBoqun Feng 	spin_unlock(&lock_A);
27478946ccc2SBoqun Feng 	HARDIRQ_EXIT();
27488946ccc2SBoqun Feng 
27498946ccc2SBoqun Feng 	/* lock_A -> lock_B */
27508946ccc2SBoqun Feng 	HARDIRQ_DISABLE();
27518946ccc2SBoqun Feng 	spin_lock(&lock_A);
27528946ccc2SBoqun Feng 	spin_lock(&lock_B);
27538946ccc2SBoqun Feng 	spin_unlock(&lock_B);
27548946ccc2SBoqun Feng 	spin_unlock(&lock_A);
27558946ccc2SBoqun Feng 	HARDIRQ_ENABLE();
27568946ccc2SBoqun Feng 
27578946ccc2SBoqun Feng 	/* lock_B -> lock_C */
27588946ccc2SBoqun Feng 	HARDIRQ_DISABLE();
27598946ccc2SBoqun Feng 	spin_lock(&lock_B);
27608946ccc2SBoqun Feng 	spin_lock(&lock_C);
27618946ccc2SBoqun Feng 	spin_unlock(&lock_C);
27628946ccc2SBoqun Feng 	spin_unlock(&lock_B);
27638946ccc2SBoqun Feng 	HARDIRQ_ENABLE();
27648946ccc2SBoqun Feng 
27658946ccc2SBoqun Feng 	/* lock_D is softirq-safe */
27668946ccc2SBoqun Feng 	SOFTIRQ_ENTER();
27678946ccc2SBoqun Feng 	spin_lock(&lock_D);
27688946ccc2SBoqun Feng 	spin_unlock(&lock_D);
27698946ccc2SBoqun Feng 	SOFTIRQ_EXIT();
27708946ccc2SBoqun Feng 
27718946ccc2SBoqun Feng 	/* And lock_D is hardirq-unsafe */
27728946ccc2SBoqun Feng 	SOFTIRQ_DISABLE();
27738946ccc2SBoqun Feng 	spin_lock(&lock_D);
27748946ccc2SBoqun Feng 	spin_unlock(&lock_D);
27758946ccc2SBoqun Feng 	SOFTIRQ_ENABLE();
27768946ccc2SBoqun Feng 
27778946ccc2SBoqun Feng 	/*
27788946ccc2SBoqun Feng 	 * mutex_A -> lock_C -> lock_D is softirq-unsafe -> softirq-safe, not
27798946ccc2SBoqun Feng 	 * deadlock.
27808946ccc2SBoqun Feng 	 *
27818946ccc2SBoqun Feng 	 * lock_A -> lock_B -> lock_C -> lock_D is hardirq-safe ->
27828946ccc2SBoqun Feng 	 * hardirq-unsafe, deadlock.
27838946ccc2SBoqun Feng 	 */
27848946ccc2SBoqun Feng 	HARDIRQ_DISABLE();
27858946ccc2SBoqun Feng 	spin_lock(&lock_C);
27868946ccc2SBoqun Feng 	spin_lock(&lock_D);
27878946ccc2SBoqun Feng 	spin_unlock(&lock_D);
27888946ccc2SBoqun Feng 	spin_unlock(&lock_C);
27898946ccc2SBoqun Feng 	HARDIRQ_ENABLE();
27908946ccc2SBoqun Feng }
27918946ccc2SBoqun Feng 
2792cae2ed9aSIngo Molnar void locking_selftest(void)
2793cae2ed9aSIngo Molnar {
2794cae2ed9aSIngo Molnar 	/*
2795cae2ed9aSIngo Molnar 	 * Got a locking failure before the selftest ran?
2796cae2ed9aSIngo Molnar 	 */
2797cae2ed9aSIngo Molnar 	if (!debug_locks) {
2798cae2ed9aSIngo Molnar 		printk("----------------------------------\n");
2799cae2ed9aSIngo Molnar 		printk("| Locking API testsuite disabled |\n");
2800cae2ed9aSIngo Molnar 		printk("----------------------------------\n");
2801cae2ed9aSIngo Molnar 		return;
2802cae2ed9aSIngo Molnar 	}
2803cae2ed9aSIngo Molnar 
2804cae2ed9aSIngo Molnar 	/*
2805e9181886SBoqun Feng 	 * treats read_lock() as recursive read locks for testing purpose
2806e9181886SBoqun Feng 	 */
2807e9181886SBoqun Feng 	force_read_lock_recursive = 1;
2808e9181886SBoqun Feng 
2809e9181886SBoqun Feng 	/*
2810cae2ed9aSIngo Molnar 	 * Run the testsuite:
2811cae2ed9aSIngo Molnar 	 */
2812cae2ed9aSIngo Molnar 	printk("------------------------\n");
2813cae2ed9aSIngo Molnar 	printk("| Locking API testsuite:\n");
2814cae2ed9aSIngo Molnar 	printk("----------------------------------------------------------------------------\n");
2815cae2ed9aSIngo Molnar 	printk("                                 | spin |wlock |rlock |mutex | wsem | rsem |\n");
2816cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2817cae2ed9aSIngo Molnar 
2818cae2ed9aSIngo Molnar 	init_shared_classes();
2819cdc84d79SBart Van Assche 	lockdep_set_selftest_task(current);
2820cae2ed9aSIngo Molnar 
28216c9076ecSIngo Molnar 	DO_TESTCASE_6R("A-A deadlock", AA);
2822cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-A deadlock", ABBA);
2823cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-C-C-A deadlock", ABBCCA);
2824cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-A-B-C deadlock", ABCABC);
2825cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-C-C-D-D-A deadlock", ABBCCDDA);
2826cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-D-B-D-D-A deadlock", ABCDBDDA);
2827cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-D-B-C-D-A deadlock", ABCDBCDA);
2828cae2ed9aSIngo Molnar 	DO_TESTCASE_6("double unlock", double_unlock);
2829cae2ed9aSIngo Molnar 	DO_TESTCASE_6("initialize held", init_held);
2830cae2ed9aSIngo Molnar 
2831cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2832cae2ed9aSIngo Molnar 	print_testname("recursive read-lock");
283325139409SMichael Ellerman 	pr_cont("             |");
2834cae2ed9aSIngo Molnar 	dotest(rlock_AA1, SUCCESS, LOCKTYPE_RWLOCK);
283525139409SMichael Ellerman 	pr_cont("             |");
2836cae2ed9aSIngo Molnar 	dotest(rsem_AA1, FAILURE, LOCKTYPE_RWSEM);
283725139409SMichael Ellerman 	pr_cont("\n");
2838cae2ed9aSIngo Molnar 
2839cae2ed9aSIngo Molnar 	print_testname("recursive read-lock #2");
284025139409SMichael Ellerman 	pr_cont("             |");
28416c9076ecSIngo Molnar 	dotest(rlock_AA1B, SUCCESS, LOCKTYPE_RWLOCK);
284225139409SMichael Ellerman 	pr_cont("             |");
2843cae2ed9aSIngo Molnar 	dotest(rsem_AA1B, FAILURE, LOCKTYPE_RWSEM);
284425139409SMichael Ellerman 	pr_cont("\n");
2845cae2ed9aSIngo Molnar 
2846cae2ed9aSIngo Molnar 	print_testname("mixed read-write-lock");
284725139409SMichael Ellerman 	pr_cont("             |");
2848cae2ed9aSIngo Molnar 	dotest(rlock_AA2, FAILURE, LOCKTYPE_RWLOCK);
284925139409SMichael Ellerman 	pr_cont("             |");
2850cae2ed9aSIngo Molnar 	dotest(rsem_AA2, FAILURE, LOCKTYPE_RWSEM);
285125139409SMichael Ellerman 	pr_cont("\n");
2852cae2ed9aSIngo Molnar 
2853cae2ed9aSIngo Molnar 	print_testname("mixed write-read-lock");
285425139409SMichael Ellerman 	pr_cont("             |");
2855cae2ed9aSIngo Molnar 	dotest(rlock_AA3, FAILURE, LOCKTYPE_RWLOCK);
285625139409SMichael Ellerman 	pr_cont("             |");
2857cae2ed9aSIngo Molnar 	dotest(rsem_AA3, FAILURE, LOCKTYPE_RWSEM);
285825139409SMichael Ellerman 	pr_cont("\n");
2859cae2ed9aSIngo Molnar 
2860e9149858SPeter Zijlstra 	print_testname("mixed read-lock/lock-write ABBA");
2861e9149858SPeter Zijlstra 	pr_cont("             |");
2862e9149858SPeter Zijlstra 	dotest(rlock_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
2863e9149858SPeter Zijlstra 	pr_cont("             |");
2864e9149858SPeter Zijlstra 	dotest(rwsem_ABBA1, FAILURE, LOCKTYPE_RWSEM);
2865e9149858SPeter Zijlstra 
2866e9149858SPeter Zijlstra 	print_testname("mixed read-lock/lock-read ABBA");
2867e9149858SPeter Zijlstra 	pr_cont("             |");
2868e9149858SPeter Zijlstra 	dotest(rlock_ABBA2, SUCCESS, LOCKTYPE_RWLOCK);
2869e9149858SPeter Zijlstra 	pr_cont("             |");
2870e9149858SPeter Zijlstra 	dotest(rwsem_ABBA2, FAILURE, LOCKTYPE_RWSEM);
2871e9149858SPeter Zijlstra 
2872e9149858SPeter Zijlstra 	print_testname("mixed write-lock/lock-write ABBA");
2873e9149858SPeter Zijlstra 	pr_cont("             |");
2874e9149858SPeter Zijlstra 	dotest(rlock_ABBA3, FAILURE, LOCKTYPE_RWLOCK);
2875e9149858SPeter Zijlstra 	pr_cont("             |");
2876e9149858SPeter Zijlstra 	dotest(rwsem_ABBA3, FAILURE, LOCKTYPE_RWSEM);
2877e9149858SPeter Zijlstra 
2878d4f200e5SBoqun Feng 	print_testname("chain cached mixed R-L/L-W ABBA");
2879d4f200e5SBoqun Feng 	pr_cont("             |");
2880d4f200e5SBoqun Feng 	dotest(rlock_chaincache_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
2881d4f200e5SBoqun Feng 
28828ef7ca75SBoqun Feng 	DO_TESTCASE_6x1RRB("rlock W1R2/W2R3/W3R1", W1R2_W2R3_W3R1);
28838ef7ca75SBoqun Feng 	DO_TESTCASE_6x1RRB("rlock W1W2/R2R3/W3R1", W1W2_R2R3_W3R1);
28848ef7ca75SBoqun Feng 	DO_TESTCASE_6x1RR("rlock W1W2/R2R3/R3W1", W1W2_R2R3_R3W1);
28858ef7ca75SBoqun Feng 	DO_TESTCASE_6x1RR("rlock W1R2/R2R3/W3W1", W1R2_R2R3_W3W1);
28868ef7ca75SBoqun Feng 
2887cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2888cae2ed9aSIngo Molnar 
2889cae2ed9aSIngo Molnar 	/*
2890cae2ed9aSIngo Molnar 	 * irq-context testcases:
2891cae2ed9aSIngo Molnar 	 */
2892cae2ed9aSIngo Molnar 	DO_TESTCASE_2x6("irqs-on + irq-safe-A", irqsafe1);
2893cae2ed9aSIngo Molnar 	DO_TESTCASE_2x3("sirq-safe-A => hirqs-on", irqsafe2A);
2894cae2ed9aSIngo Molnar 	DO_TESTCASE_2x6("safe-A + irqs-on", irqsafe2B);
2895cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6("safe-A + unsafe-B #1", irqsafe3);
2896cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6("safe-A + unsafe-B #2", irqsafe4);
2897cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6RW("irq lock-inversion", irq_inversion);
2898cae2ed9aSIngo Molnar 
289931e0d747SBoqun Feng 	DO_TESTCASE_6x2x2RW("irq read-recursion", irq_read_recursion);
290031e0d747SBoqun Feng 	DO_TESTCASE_6x2x2RW("irq read-recursion #2", irq_read_recursion2);
290196a16f45SBoqun Feng 	DO_TESTCASE_6x2x2RW("irq read-recursion #3", irq_read_recursion3);
2902cae2ed9aSIngo Molnar 
29031de99445SMaarten Lankhorst 	ww_tests();
29041de99445SMaarten Lankhorst 
2905e9181886SBoqun Feng 	force_read_lock_recursive = 0;
2906e9181886SBoqun Feng 	/*
2907e9181886SBoqun Feng 	 * queued_read_lock() specific test cases can be put here
2908e9181886SBoqun Feng 	 */
2909ad56450dSBoqun Feng 	if (IS_ENABLED(CONFIG_QUEUED_RWLOCKS))
2910ad56450dSBoqun Feng 		queued_read_lock_tests();
2911e9181886SBoqun Feng 
2912d5037d1dSDaniel Vetter 	fs_reclaim_tests();
2913d5037d1dSDaniel Vetter 
29149271a40dSBoqun Feng 	/* Wait context test cases that are specific for RAW_LOCK_NESTING */
29159271a40dSBoqun Feng 	if (IS_ENABLED(CONFIG_PROVE_RAW_LOCK_NESTING))
29169271a40dSBoqun Feng 		wait_context_tests();
29179271a40dSBoqun Feng 
29187e923e6aSPeter Zijlstra 	local_lock_tests();
29197e923e6aSPeter Zijlstra 
29208946ccc2SBoqun Feng 	print_testname("hardirq_unsafe_softirq_safe");
29218946ccc2SBoqun Feng 	dotest(hardirq_deadlock_softirq_not_deadlock, FAILURE, LOCKTYPE_SPECIAL);
29228946ccc2SBoqun Feng 	pr_cont("\n");
29238946ccc2SBoqun Feng 
2924cae2ed9aSIngo Molnar 	if (unexpected_testcase_failures) {
2925cae2ed9aSIngo Molnar 		printk("-----------------------------------------------------------------\n");
2926cae2ed9aSIngo Molnar 		debug_locks = 0;
2927cae2ed9aSIngo Molnar 		printk("BUG: %3d unexpected failures (out of %3d) - debugging disabled! |\n",
2928cae2ed9aSIngo Molnar 			unexpected_testcase_failures, testcase_total);
2929cae2ed9aSIngo Molnar 		printk("-----------------------------------------------------------------\n");
2930cae2ed9aSIngo Molnar 	} else if (expected_testcase_failures && testcase_successes) {
2931cae2ed9aSIngo Molnar 		printk("--------------------------------------------------------\n");
2932cae2ed9aSIngo Molnar 		printk("%3d out of %3d testcases failed, as expected. |\n",
2933cae2ed9aSIngo Molnar 			expected_testcase_failures, testcase_total);
2934cae2ed9aSIngo Molnar 		printk("----------------------------------------------------\n");
2935cae2ed9aSIngo Molnar 		debug_locks = 1;
2936cae2ed9aSIngo Molnar 	} else if (expected_testcase_failures && !testcase_successes) {
2937cae2ed9aSIngo Molnar 		printk("--------------------------------------------------------\n");
2938cae2ed9aSIngo Molnar 		printk("All %3d testcases failed, as expected. |\n",
2939cae2ed9aSIngo Molnar 			expected_testcase_failures);
2940cae2ed9aSIngo Molnar 		printk("----------------------------------------\n");
2941cae2ed9aSIngo Molnar 		debug_locks = 1;
2942cae2ed9aSIngo Molnar 	} else {
2943cae2ed9aSIngo Molnar 		printk("-------------------------------------------------------\n");
2944cae2ed9aSIngo Molnar 		printk("Good, all %3d testcases passed! |\n",
2945cae2ed9aSIngo Molnar 			testcase_successes);
2946cae2ed9aSIngo Molnar 		printk("---------------------------------\n");
2947cae2ed9aSIngo Molnar 		debug_locks = 1;
2948cae2ed9aSIngo Molnar 	}
2949cdc84d79SBart Van Assche 	lockdep_set_selftest_task(NULL);
2950cae2ed9aSIngo Molnar 	debug_locks_silent = 0;
2951cae2ed9aSIngo Molnar }
2952