xref: /linux-6.15/lib/locking-selftest.c (revision 8ef7ca75)
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>
18cae2ed9aSIngo Molnar #include <linux/delay.h>
19fbb9ce95SIngo Molnar #include <linux/lockdep.h>
20cae2ed9aSIngo Molnar #include <linux/spinlock.h>
21cae2ed9aSIngo Molnar #include <linux/kallsyms.h>
22cae2ed9aSIngo Molnar #include <linux/interrupt.h>
23cae2ed9aSIngo Molnar #include <linux/debug_locks.h>
24cae2ed9aSIngo Molnar #include <linux/irqflags.h>
25018956d6SPeter Zijlstra #include <linux/rtmutex.h>
26cae2ed9aSIngo Molnar 
27cae2ed9aSIngo Molnar /*
28cae2ed9aSIngo Molnar  * Change this to 1 if you want to see the failure printouts:
29cae2ed9aSIngo Molnar  */
30cae2ed9aSIngo Molnar static unsigned int debug_locks_verbose;
31e9181886SBoqun Feng unsigned int force_read_lock_recursive;
32cae2ed9aSIngo Molnar 
3308295b3bSThomas Hellstrom static DEFINE_WD_CLASS(ww_lockdep);
341de99445SMaarten Lankhorst 
35cae2ed9aSIngo Molnar static int __init setup_debug_locks_verbose(char *str)
36cae2ed9aSIngo Molnar {
37cae2ed9aSIngo Molnar 	get_option(&str, &debug_locks_verbose);
38cae2ed9aSIngo Molnar 
39cae2ed9aSIngo Molnar 	return 1;
40cae2ed9aSIngo Molnar }
41cae2ed9aSIngo Molnar 
42cae2ed9aSIngo Molnar __setup("debug_locks_verbose=", setup_debug_locks_verbose);
43cae2ed9aSIngo Molnar 
44cae2ed9aSIngo Molnar #define FAILURE		0
45cae2ed9aSIngo Molnar #define SUCCESS		1
46cae2ed9aSIngo Molnar 
47cae2ed9aSIngo Molnar #define LOCKTYPE_SPIN	0x1
48cae2ed9aSIngo Molnar #define LOCKTYPE_RWLOCK	0x2
49cae2ed9aSIngo Molnar #define LOCKTYPE_MUTEX	0x4
50cae2ed9aSIngo Molnar #define LOCKTYPE_RWSEM	0x8
511de99445SMaarten Lankhorst #define LOCKTYPE_WW	0x10
52018956d6SPeter Zijlstra #define LOCKTYPE_RTMUTEX 0x20
531de99445SMaarten Lankhorst 
541de99445SMaarten Lankhorst static struct ww_acquire_ctx t, t2;
55f3cf139eSMaarten Lankhorst static struct ww_mutex o, o2, o3;
56cae2ed9aSIngo Molnar 
57cae2ed9aSIngo Molnar /*
58cae2ed9aSIngo Molnar  * Normal standalone locks, for the circular and irq-context
59cae2ed9aSIngo Molnar  * dependency tests:
60cae2ed9aSIngo Molnar  */
619fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_A);
629fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_B);
639fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_C);
649fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_D);
65cae2ed9aSIngo Molnar 
66cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_A);
67cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_B);
68cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_C);
69cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_D);
70cae2ed9aSIngo Molnar 
71cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_A);
72cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_B);
73cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_C);
74cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_D);
75cae2ed9aSIngo Molnar 
76cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_A);
77cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_B);
78cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_C);
79cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_D);
80cae2ed9aSIngo Molnar 
81018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
82018956d6SPeter Zijlstra 
83018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_A);
84018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_B);
85018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_C);
86018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_D);
87018956d6SPeter Zijlstra 
88018956d6SPeter Zijlstra #endif
89018956d6SPeter Zijlstra 
90cae2ed9aSIngo Molnar /*
91cae2ed9aSIngo Molnar  * Locks that we initialize dynamically as well so that
92cae2ed9aSIngo Molnar  * e.g. X1 and X2 becomes two instances of the same class,
93cae2ed9aSIngo Molnar  * but X* and Y* are different classes. We do this so that
94cae2ed9aSIngo Molnar  * we do not trigger a real lockup:
95cae2ed9aSIngo Molnar  */
969fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_X1);
979fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_X2);
989fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Y1);
999fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Y2);
1009fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Z1);
1019fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Z2);
102cae2ed9aSIngo Molnar 
103cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_X1);
104cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_X2);
105cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Y1);
106cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Y2);
107cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Z1);
108cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Z2);
109cae2ed9aSIngo Molnar 
110cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_X1);
111cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_X2);
112cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Y1);
113cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Y2);
114cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Z1);
115cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Z2);
116cae2ed9aSIngo Molnar 
117cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_X1);
118cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_X2);
119cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Y1);
120cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Y2);
121cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Z1);
122cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Z2);
123cae2ed9aSIngo Molnar 
124018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
125018956d6SPeter Zijlstra 
126018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_X1);
127018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_X2);
128018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Y1);
129018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Y2);
130018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Z1);
131018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Z2);
132018956d6SPeter Zijlstra 
133018956d6SPeter Zijlstra #endif
134018956d6SPeter Zijlstra 
135cae2ed9aSIngo Molnar /*
136cae2ed9aSIngo Molnar  * non-inlined runtime initializers, to let separate locks share
137cae2ed9aSIngo Molnar  * the same lock-class:
138cae2ed9aSIngo Molnar  */
139cae2ed9aSIngo Molnar #define INIT_CLASS_FUNC(class) 				\
140cae2ed9aSIngo Molnar static noinline void					\
1419fb1b90cSYong Zhang init_class_##class(raw_spinlock_t *lock, rwlock_t *rwlock, \
1429fb1b90cSYong Zhang 	struct mutex *mutex, struct rw_semaphore *rwsem)\
143cae2ed9aSIngo Molnar {							\
1449fb1b90cSYong Zhang 	raw_spin_lock_init(lock);			\
145cae2ed9aSIngo Molnar 	rwlock_init(rwlock);				\
146cae2ed9aSIngo Molnar 	mutex_init(mutex);				\
147cae2ed9aSIngo Molnar 	init_rwsem(rwsem);				\
148cae2ed9aSIngo Molnar }
149cae2ed9aSIngo Molnar 
150cae2ed9aSIngo Molnar INIT_CLASS_FUNC(X)
151cae2ed9aSIngo Molnar INIT_CLASS_FUNC(Y)
152cae2ed9aSIngo Molnar INIT_CLASS_FUNC(Z)
153cae2ed9aSIngo Molnar 
154cae2ed9aSIngo Molnar static void init_shared_classes(void)
155cae2ed9aSIngo Molnar {
156018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
157018956d6SPeter Zijlstra 	static struct lock_class_key rt_X, rt_Y, rt_Z;
158018956d6SPeter Zijlstra 
159018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_X1, __func__, &rt_X);
160018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_X2, __func__, &rt_X);
161018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Y1, __func__, &rt_Y);
162018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Y2, __func__, &rt_Y);
163018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Z1, __func__, &rt_Z);
164018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Z2, __func__, &rt_Z);
165018956d6SPeter Zijlstra #endif
166018956d6SPeter Zijlstra 
167cae2ed9aSIngo Molnar 	init_class_X(&lock_X1, &rwlock_X1, &mutex_X1, &rwsem_X1);
168cae2ed9aSIngo Molnar 	init_class_X(&lock_X2, &rwlock_X2, &mutex_X2, &rwsem_X2);
169cae2ed9aSIngo Molnar 
170cae2ed9aSIngo Molnar 	init_class_Y(&lock_Y1, &rwlock_Y1, &mutex_Y1, &rwsem_Y1);
171cae2ed9aSIngo Molnar 	init_class_Y(&lock_Y2, &rwlock_Y2, &mutex_Y2, &rwsem_Y2);
172cae2ed9aSIngo Molnar 
173cae2ed9aSIngo Molnar 	init_class_Z(&lock_Z1, &rwlock_Z1, &mutex_Z1, &rwsem_Z1);
174cae2ed9aSIngo Molnar 	init_class_Z(&lock_Z2, &rwlock_Z2, &mutex_Z2, &rwsem_Z2);
175cae2ed9aSIngo Molnar }
176cae2ed9aSIngo Molnar 
177cae2ed9aSIngo Molnar /*
178cae2ed9aSIngo Molnar  * For spinlocks and rwlocks we also do hardirq-safe / softirq-safe tests.
179cae2ed9aSIngo Molnar  * The following functions use a lock from a simulated hardirq/softirq
180cae2ed9aSIngo Molnar  * context, causing the locks to be marked as hardirq-safe/softirq-safe:
181cae2ed9aSIngo Molnar  */
182cae2ed9aSIngo Molnar 
183cae2ed9aSIngo Molnar #define HARDIRQ_DISABLE		local_irq_disable
184cae2ed9aSIngo Molnar #define HARDIRQ_ENABLE		local_irq_enable
185cae2ed9aSIngo Molnar 
186cae2ed9aSIngo Molnar #define HARDIRQ_ENTER()				\
187cae2ed9aSIngo Molnar 	local_irq_disable();			\
188ba9f207cSFrederic Weisbecker 	__irq_enter();				\
189cae2ed9aSIngo Molnar 	WARN_ON(!in_irq());
190cae2ed9aSIngo Molnar 
191cae2ed9aSIngo Molnar #define HARDIRQ_EXIT()				\
192cae2ed9aSIngo Molnar 	__irq_exit();				\
193cae2ed9aSIngo Molnar 	local_irq_enable();
194cae2ed9aSIngo Molnar 
195cae2ed9aSIngo Molnar #define SOFTIRQ_DISABLE		local_bh_disable
196cae2ed9aSIngo Molnar #define SOFTIRQ_ENABLE		local_bh_enable
197cae2ed9aSIngo Molnar 
198cae2ed9aSIngo Molnar #define SOFTIRQ_ENTER()				\
199cae2ed9aSIngo Molnar 		local_bh_disable();		\
200cae2ed9aSIngo Molnar 		local_irq_disable();		\
201d820ac4cSIngo Molnar 		lockdep_softirq_enter();	\
202cae2ed9aSIngo Molnar 		WARN_ON(!in_softirq());
203cae2ed9aSIngo Molnar 
204cae2ed9aSIngo Molnar #define SOFTIRQ_EXIT()				\
205d820ac4cSIngo Molnar 		lockdep_softirq_exit();		\
206cae2ed9aSIngo Molnar 		local_irq_enable();		\
207cae2ed9aSIngo Molnar 		local_bh_enable();
208cae2ed9aSIngo Molnar 
209cae2ed9aSIngo Molnar /*
210cae2ed9aSIngo Molnar  * Shortcuts for lock/unlock API variants, to keep
211cae2ed9aSIngo Molnar  * the testcases compact:
212cae2ed9aSIngo Molnar  */
2139fb1b90cSYong Zhang #define L(x)			raw_spin_lock(&lock_##x)
2149fb1b90cSYong Zhang #define U(x)			raw_spin_unlock(&lock_##x)
215cae2ed9aSIngo Molnar #define LU(x)			L(x); U(x)
2169fb1b90cSYong Zhang #define SI(x)			raw_spin_lock_init(&lock_##x)
217cae2ed9aSIngo Molnar 
218cae2ed9aSIngo Molnar #define WL(x)			write_lock(&rwlock_##x)
219cae2ed9aSIngo Molnar #define WU(x)			write_unlock(&rwlock_##x)
220cae2ed9aSIngo Molnar #define WLU(x)			WL(x); WU(x)
221cae2ed9aSIngo Molnar 
222cae2ed9aSIngo Molnar #define RL(x)			read_lock(&rwlock_##x)
223cae2ed9aSIngo Molnar #define RU(x)			read_unlock(&rwlock_##x)
224cae2ed9aSIngo Molnar #define RLU(x)			RL(x); RU(x)
225cae2ed9aSIngo Molnar #define RWI(x)			rwlock_init(&rwlock_##x)
226cae2ed9aSIngo Molnar 
227cae2ed9aSIngo Molnar #define ML(x)			mutex_lock(&mutex_##x)
228cae2ed9aSIngo Molnar #define MU(x)			mutex_unlock(&mutex_##x)
229cae2ed9aSIngo Molnar #define MI(x)			mutex_init(&mutex_##x)
230cae2ed9aSIngo Molnar 
231018956d6SPeter Zijlstra #define RTL(x)			rt_mutex_lock(&rtmutex_##x)
232018956d6SPeter Zijlstra #define RTU(x)			rt_mutex_unlock(&rtmutex_##x)
233018956d6SPeter Zijlstra #define RTI(x)			rt_mutex_init(&rtmutex_##x)
234018956d6SPeter Zijlstra 
235cae2ed9aSIngo Molnar #define WSL(x)			down_write(&rwsem_##x)
236cae2ed9aSIngo Molnar #define WSU(x)			up_write(&rwsem_##x)
237cae2ed9aSIngo Molnar 
238cae2ed9aSIngo Molnar #define RSL(x)			down_read(&rwsem_##x)
239cae2ed9aSIngo Molnar #define RSU(x)			up_read(&rwsem_##x)
240cae2ed9aSIngo Molnar #define RWSI(x)			init_rwsem(&rwsem_##x)
241cae2ed9aSIngo Molnar 
2421de99445SMaarten Lankhorst #ifndef CONFIG_DEBUG_WW_MUTEX_SLOWPATH
2431de99445SMaarten Lankhorst #define WWAI(x)			ww_acquire_init(x, &ww_lockdep)
2441de99445SMaarten Lankhorst #else
2451de99445SMaarten Lankhorst #define WWAI(x)			do { ww_acquire_init(x, &ww_lockdep); (x)->deadlock_inject_countdown = ~0U; } while (0)
2461de99445SMaarten Lankhorst #endif
2471de99445SMaarten Lankhorst #define WWAD(x)			ww_acquire_done(x)
2481de99445SMaarten Lankhorst #define WWAF(x)			ww_acquire_fini(x)
2491de99445SMaarten Lankhorst 
2501de99445SMaarten Lankhorst #define WWL(x, c)		ww_mutex_lock(x, c)
2511de99445SMaarten Lankhorst #define WWT(x)			ww_mutex_trylock(x)
2521de99445SMaarten Lankhorst #define WWL1(x)			ww_mutex_lock(x, NULL)
2531de99445SMaarten Lankhorst #define WWU(x)			ww_mutex_unlock(x)
2541de99445SMaarten Lankhorst 
2551de99445SMaarten Lankhorst 
256cae2ed9aSIngo Molnar #define LOCK_UNLOCK_2(x,y)	LOCK(x); LOCK(y); UNLOCK(y); UNLOCK(x)
257cae2ed9aSIngo Molnar 
258cae2ed9aSIngo Molnar /*
259cae2ed9aSIngo Molnar  * Generate different permutations of the same testcase, using
260cae2ed9aSIngo Molnar  * the same basic lock-dependency/state events:
261cae2ed9aSIngo Molnar  */
262cae2ed9aSIngo Molnar 
263cae2ed9aSIngo Molnar #define GENERATE_TESTCASE(name)			\
264cae2ed9aSIngo Molnar 						\
265cae2ed9aSIngo Molnar static void name(void) { E(); }
266cae2ed9aSIngo Molnar 
267cae2ed9aSIngo Molnar #define GENERATE_PERMUTATIONS_2_EVENTS(name)	\
268cae2ed9aSIngo Molnar 						\
269cae2ed9aSIngo Molnar static void name##_12(void) { E1(); E2(); }	\
270cae2ed9aSIngo Molnar static void name##_21(void) { E2(); E1(); }
271cae2ed9aSIngo Molnar 
272cae2ed9aSIngo Molnar #define GENERATE_PERMUTATIONS_3_EVENTS(name)		\
273cae2ed9aSIngo Molnar 							\
274cae2ed9aSIngo Molnar static void name##_123(void) { E1(); E2(); E3(); }	\
275cae2ed9aSIngo Molnar static void name##_132(void) { E1(); E3(); E2(); }	\
276cae2ed9aSIngo Molnar static void name##_213(void) { E2(); E1(); E3(); }	\
277cae2ed9aSIngo Molnar static void name##_231(void) { E2(); E3(); E1(); }	\
278cae2ed9aSIngo Molnar static void name##_312(void) { E3(); E1(); E2(); }	\
279cae2ed9aSIngo Molnar static void name##_321(void) { E3(); E2(); E1(); }
280cae2ed9aSIngo Molnar 
281cae2ed9aSIngo Molnar /*
282cae2ed9aSIngo Molnar  * AA deadlock:
283cae2ed9aSIngo Molnar  */
284cae2ed9aSIngo Molnar 
285cae2ed9aSIngo Molnar #define E()					\
286cae2ed9aSIngo Molnar 						\
287cae2ed9aSIngo Molnar 	LOCK(X1);				\
288cae2ed9aSIngo Molnar 	LOCK(X2); /* this one should fail */
289cae2ed9aSIngo Molnar 
290cae2ed9aSIngo Molnar /*
291cae2ed9aSIngo Molnar  * 6 testcases:
292cae2ed9aSIngo Molnar  */
293cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
294cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_spin)
295cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
296cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_wlock)
297cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
298cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_rlock)
299cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
300cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_mutex)
301cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
302cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_wsem)
303cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
304cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_rsem)
305cae2ed9aSIngo Molnar 
306018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
307018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
308018956d6SPeter Zijlstra GENERATE_TESTCASE(AA_rtmutex);
309018956d6SPeter Zijlstra #endif
310018956d6SPeter Zijlstra 
311cae2ed9aSIngo Molnar #undef E
312cae2ed9aSIngo Molnar 
313cae2ed9aSIngo Molnar /*
314cae2ed9aSIngo Molnar  * Special-case for read-locking, they are
3156c9076ecSIngo Molnar  * allowed to recurse on the same lock class:
316cae2ed9aSIngo Molnar  */
317cae2ed9aSIngo Molnar static void rlock_AA1(void)
318cae2ed9aSIngo Molnar {
319cae2ed9aSIngo Molnar 	RL(X1);
320cae2ed9aSIngo Molnar 	RL(X1); // this one should NOT fail
321cae2ed9aSIngo Molnar }
322cae2ed9aSIngo Molnar 
323cae2ed9aSIngo Molnar static void rlock_AA1B(void)
324cae2ed9aSIngo Molnar {
325cae2ed9aSIngo Molnar 	RL(X1);
3266c9076ecSIngo Molnar 	RL(X2); // this one should NOT fail
327cae2ed9aSIngo Molnar }
328cae2ed9aSIngo Molnar 
329cae2ed9aSIngo Molnar static void rsem_AA1(void)
330cae2ed9aSIngo Molnar {
331cae2ed9aSIngo Molnar 	RSL(X1);
332cae2ed9aSIngo Molnar 	RSL(X1); // this one should fail
333cae2ed9aSIngo Molnar }
334cae2ed9aSIngo Molnar 
335cae2ed9aSIngo Molnar static void rsem_AA1B(void)
336cae2ed9aSIngo Molnar {
337cae2ed9aSIngo Molnar 	RSL(X1);
338cae2ed9aSIngo Molnar 	RSL(X2); // this one should fail
339cae2ed9aSIngo Molnar }
340cae2ed9aSIngo Molnar /*
341cae2ed9aSIngo Molnar  * The mixing of read and write locks is not allowed:
342cae2ed9aSIngo Molnar  */
343cae2ed9aSIngo Molnar static void rlock_AA2(void)
344cae2ed9aSIngo Molnar {
345cae2ed9aSIngo Molnar 	RL(X1);
346cae2ed9aSIngo Molnar 	WL(X2); // this one should fail
347cae2ed9aSIngo Molnar }
348cae2ed9aSIngo Molnar 
349cae2ed9aSIngo Molnar static void rsem_AA2(void)
350cae2ed9aSIngo Molnar {
351cae2ed9aSIngo Molnar 	RSL(X1);
352cae2ed9aSIngo Molnar 	WSL(X2); // this one should fail
353cae2ed9aSIngo Molnar }
354cae2ed9aSIngo Molnar 
355cae2ed9aSIngo Molnar static void rlock_AA3(void)
356cae2ed9aSIngo Molnar {
357cae2ed9aSIngo Molnar 	WL(X1);
358cae2ed9aSIngo Molnar 	RL(X2); // this one should fail
359cae2ed9aSIngo Molnar }
360cae2ed9aSIngo Molnar 
361cae2ed9aSIngo Molnar static void rsem_AA3(void)
362cae2ed9aSIngo Molnar {
363cae2ed9aSIngo Molnar 	WSL(X1);
364cae2ed9aSIngo Molnar 	RSL(X2); // this one should fail
365cae2ed9aSIngo Molnar }
366cae2ed9aSIngo Molnar 
367cae2ed9aSIngo Molnar /*
368e9149858SPeter Zijlstra  * read_lock(A)
369e9149858SPeter Zijlstra  * spin_lock(B)
370e9149858SPeter Zijlstra  *		spin_lock(B)
371e9149858SPeter Zijlstra  *		write_lock(A)
372e9149858SPeter Zijlstra  */
373e9149858SPeter Zijlstra static void rlock_ABBA1(void)
374e9149858SPeter Zijlstra {
375e9149858SPeter Zijlstra 	RL(X1);
376e9149858SPeter Zijlstra 	L(Y1);
377e9149858SPeter Zijlstra 	U(Y1);
378e9149858SPeter Zijlstra 	RU(X1);
379e9149858SPeter Zijlstra 
380e9149858SPeter Zijlstra 	L(Y1);
381e9149858SPeter Zijlstra 	WL(X1);
382e9149858SPeter Zijlstra 	WU(X1);
383e9149858SPeter Zijlstra 	U(Y1); // should fail
384e9149858SPeter Zijlstra }
385e9149858SPeter Zijlstra 
386e9149858SPeter Zijlstra static void rwsem_ABBA1(void)
387e9149858SPeter Zijlstra {
388e9149858SPeter Zijlstra 	RSL(X1);
389e9149858SPeter Zijlstra 	ML(Y1);
390e9149858SPeter Zijlstra 	MU(Y1);
391e9149858SPeter Zijlstra 	RSU(X1);
392e9149858SPeter Zijlstra 
393e9149858SPeter Zijlstra 	ML(Y1);
394e9149858SPeter Zijlstra 	WSL(X1);
395e9149858SPeter Zijlstra 	WSU(X1);
396e9149858SPeter Zijlstra 	MU(Y1); // should fail
397e9149858SPeter Zijlstra }
398e9149858SPeter Zijlstra 
399e9149858SPeter Zijlstra /*
400e9149858SPeter Zijlstra  * read_lock(A)
401e9149858SPeter Zijlstra  * spin_lock(B)
402e9149858SPeter Zijlstra  *		spin_lock(B)
403d4f200e5SBoqun Feng  *		write_lock(A)
404d4f200e5SBoqun Feng  *
405d4f200e5SBoqun Feng  * This test case is aimed at poking whether the chain cache prevents us from
406d4f200e5SBoqun Feng  * detecting a read-lock/lock-write deadlock: if the chain cache doesn't differ
407d4f200e5SBoqun Feng  * read/write locks, the following case may happen
408d4f200e5SBoqun Feng  *
409d4f200e5SBoqun Feng  * 	{ read_lock(A)->lock(B) dependency exists }
410d4f200e5SBoqun Feng  *
411d4f200e5SBoqun Feng  * 	P0:
412d4f200e5SBoqun Feng  * 	lock(B);
413d4f200e5SBoqun Feng  * 	read_lock(A);
414d4f200e5SBoqun Feng  *
415d4f200e5SBoqun Feng  *	{ Not a deadlock, B -> A is added in the chain cache }
416d4f200e5SBoqun Feng  *
417d4f200e5SBoqun Feng  *	P1:
418d4f200e5SBoqun Feng  *	lock(B);
419d4f200e5SBoqun Feng  *	write_lock(A);
420d4f200e5SBoqun Feng  *
421d4f200e5SBoqun Feng  *	{ B->A found in chain cache, not reported as a deadlock }
422d4f200e5SBoqun Feng  *
423d4f200e5SBoqun Feng  */
424d4f200e5SBoqun Feng static void rlock_chaincache_ABBA1(void)
425d4f200e5SBoqun Feng {
426d4f200e5SBoqun Feng 	RL(X1);
427d4f200e5SBoqun Feng 	L(Y1);
428d4f200e5SBoqun Feng 	U(Y1);
429d4f200e5SBoqun Feng 	RU(X1);
430d4f200e5SBoqun Feng 
431d4f200e5SBoqun Feng 	L(Y1);
432d4f200e5SBoqun Feng 	RL(X1);
433d4f200e5SBoqun Feng 	RU(X1);
434d4f200e5SBoqun Feng 	U(Y1);
435d4f200e5SBoqun Feng 
436d4f200e5SBoqun Feng 	L(Y1);
437d4f200e5SBoqun Feng 	WL(X1);
438d4f200e5SBoqun Feng 	WU(X1);
439d4f200e5SBoqun Feng 	U(Y1); // should fail
440d4f200e5SBoqun Feng }
441d4f200e5SBoqun Feng 
442d4f200e5SBoqun Feng /*
443d4f200e5SBoqun Feng  * read_lock(A)
444d4f200e5SBoqun Feng  * spin_lock(B)
445d4f200e5SBoqun Feng  *		spin_lock(B)
446e9149858SPeter Zijlstra  *		read_lock(A)
447e9149858SPeter Zijlstra  */
448e9149858SPeter Zijlstra static void rlock_ABBA2(void)
449e9149858SPeter Zijlstra {
450e9149858SPeter Zijlstra 	RL(X1);
451e9149858SPeter Zijlstra 	L(Y1);
452e9149858SPeter Zijlstra 	U(Y1);
453e9149858SPeter Zijlstra 	RU(X1);
454e9149858SPeter Zijlstra 
455e9149858SPeter Zijlstra 	L(Y1);
456e9149858SPeter Zijlstra 	RL(X1);
457e9149858SPeter Zijlstra 	RU(X1);
458e9149858SPeter Zijlstra 	U(Y1); // should NOT fail
459e9149858SPeter Zijlstra }
460e9149858SPeter Zijlstra 
461e9149858SPeter Zijlstra static void rwsem_ABBA2(void)
462e9149858SPeter Zijlstra {
463e9149858SPeter Zijlstra 	RSL(X1);
464e9149858SPeter Zijlstra 	ML(Y1);
465e9149858SPeter Zijlstra 	MU(Y1);
466e9149858SPeter Zijlstra 	RSU(X1);
467e9149858SPeter Zijlstra 
468e9149858SPeter Zijlstra 	ML(Y1);
469e9149858SPeter Zijlstra 	RSL(X1);
470e9149858SPeter Zijlstra 	RSU(X1);
471e9149858SPeter Zijlstra 	MU(Y1); // should fail
472e9149858SPeter Zijlstra }
473e9149858SPeter Zijlstra 
474e9149858SPeter Zijlstra 
475e9149858SPeter Zijlstra /*
476e9149858SPeter Zijlstra  * write_lock(A)
477e9149858SPeter Zijlstra  * spin_lock(B)
478e9149858SPeter Zijlstra  *		spin_lock(B)
479e9149858SPeter Zijlstra  *		write_lock(A)
480e9149858SPeter Zijlstra  */
481e9149858SPeter Zijlstra static void rlock_ABBA3(void)
482e9149858SPeter Zijlstra {
483e9149858SPeter Zijlstra 	WL(X1);
484e9149858SPeter Zijlstra 	L(Y1);
485e9149858SPeter Zijlstra 	U(Y1);
486e9149858SPeter Zijlstra 	WU(X1);
487e9149858SPeter Zijlstra 
488e9149858SPeter Zijlstra 	L(Y1);
489e9149858SPeter Zijlstra 	WL(X1);
490e9149858SPeter Zijlstra 	WU(X1);
491e9149858SPeter Zijlstra 	U(Y1); // should fail
492e9149858SPeter Zijlstra }
493e9149858SPeter Zijlstra 
494e9149858SPeter Zijlstra static void rwsem_ABBA3(void)
495e9149858SPeter Zijlstra {
496e9149858SPeter Zijlstra 	WSL(X1);
497e9149858SPeter Zijlstra 	ML(Y1);
498e9149858SPeter Zijlstra 	MU(Y1);
499e9149858SPeter Zijlstra 	WSU(X1);
500e9149858SPeter Zijlstra 
501e9149858SPeter Zijlstra 	ML(Y1);
502e9149858SPeter Zijlstra 	WSL(X1);
503e9149858SPeter Zijlstra 	WSU(X1);
504e9149858SPeter Zijlstra 	MU(Y1); // should fail
505e9149858SPeter Zijlstra }
506e9149858SPeter Zijlstra 
507e9149858SPeter Zijlstra /*
508cae2ed9aSIngo Molnar  * ABBA deadlock:
509cae2ed9aSIngo Molnar  */
510cae2ed9aSIngo Molnar 
511cae2ed9aSIngo Molnar #define E()					\
512cae2ed9aSIngo Molnar 						\
513cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
514cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, A); /* fail */
515cae2ed9aSIngo Molnar 
516cae2ed9aSIngo Molnar /*
517cae2ed9aSIngo Molnar  * 6 testcases:
518cae2ed9aSIngo Molnar  */
519cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
520cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_spin)
521cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
522cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_wlock)
523cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
524cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_rlock)
525cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
526cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_mutex)
527cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
528cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_wsem)
529cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
530cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_rsem)
531cae2ed9aSIngo Molnar 
532018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
533018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
534018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBA_rtmutex);
535018956d6SPeter Zijlstra #endif
536018956d6SPeter Zijlstra 
537cae2ed9aSIngo Molnar #undef E
538cae2ed9aSIngo Molnar 
539cae2ed9aSIngo Molnar /*
540cae2ed9aSIngo Molnar  * AB BC CA deadlock:
541cae2ed9aSIngo Molnar  */
542cae2ed9aSIngo Molnar 
543cae2ed9aSIngo Molnar #define E()					\
544cae2ed9aSIngo Molnar 						\
545cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
546cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
547cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, A); /* fail */
548cae2ed9aSIngo Molnar 
549cae2ed9aSIngo Molnar /*
550cae2ed9aSIngo Molnar  * 6 testcases:
551cae2ed9aSIngo Molnar  */
552cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
553cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_spin)
554cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
555cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_wlock)
556cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
557cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_rlock)
558cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
559cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_mutex)
560cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
561cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_wsem)
562cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
563cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_rsem)
564cae2ed9aSIngo Molnar 
565018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
566018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
567018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBCCA_rtmutex);
568018956d6SPeter Zijlstra #endif
569018956d6SPeter Zijlstra 
570cae2ed9aSIngo Molnar #undef E
571cae2ed9aSIngo Molnar 
572cae2ed9aSIngo Molnar /*
573cae2ed9aSIngo Molnar  * AB CA BC deadlock:
574cae2ed9aSIngo Molnar  */
575cae2ed9aSIngo Molnar 
576cae2ed9aSIngo Molnar #define E()					\
577cae2ed9aSIngo Molnar 						\
578cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
579cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, A);			\
580cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C); /* fail */
581cae2ed9aSIngo Molnar 
582cae2ed9aSIngo Molnar /*
583cae2ed9aSIngo Molnar  * 6 testcases:
584cae2ed9aSIngo Molnar  */
585cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
586cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_spin)
587cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
588cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_wlock)
589cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
590cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_rlock)
591cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
592cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_mutex)
593cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
594cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_wsem)
595cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
596cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_rsem)
597cae2ed9aSIngo Molnar 
598018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
599018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
600018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCABC_rtmutex);
601018956d6SPeter Zijlstra #endif
602018956d6SPeter Zijlstra 
603cae2ed9aSIngo Molnar #undef E
604cae2ed9aSIngo Molnar 
605cae2ed9aSIngo Molnar /*
606cae2ed9aSIngo Molnar  * AB BC CD DA deadlock:
607cae2ed9aSIngo Molnar  */
608cae2ed9aSIngo Molnar 
609cae2ed9aSIngo Molnar #define E()					\
610cae2ed9aSIngo Molnar 						\
611cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
612cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
613cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
614cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
615cae2ed9aSIngo Molnar 
616cae2ed9aSIngo Molnar /*
617cae2ed9aSIngo Molnar  * 6 testcases:
618cae2ed9aSIngo Molnar  */
619cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
620cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_spin)
621cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
622cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_wlock)
623cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
624cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_rlock)
625cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
626cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_mutex)
627cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
628cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_wsem)
629cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
630cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_rsem)
631cae2ed9aSIngo Molnar 
632018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
633018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
634018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBCCDDA_rtmutex);
635018956d6SPeter Zijlstra #endif
636018956d6SPeter Zijlstra 
637cae2ed9aSIngo Molnar #undef E
638cae2ed9aSIngo Molnar 
639cae2ed9aSIngo Molnar /*
640cae2ed9aSIngo Molnar  * AB CD BD DA deadlock:
641cae2ed9aSIngo Molnar  */
642cae2ed9aSIngo Molnar #define E()					\
643cae2ed9aSIngo Molnar 						\
644cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
645cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
646cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, D);			\
647cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
648cae2ed9aSIngo Molnar 
649cae2ed9aSIngo Molnar /*
650cae2ed9aSIngo Molnar  * 6 testcases:
651cae2ed9aSIngo Molnar  */
652cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
653cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_spin)
654cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
655cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_wlock)
656cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
657cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_rlock)
658cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
659cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_mutex)
660cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
661cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_wsem)
662cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
663cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_rsem)
664cae2ed9aSIngo Molnar 
665018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
666018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
667018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCDBDDA_rtmutex);
668018956d6SPeter Zijlstra #endif
669018956d6SPeter Zijlstra 
670cae2ed9aSIngo Molnar #undef E
671cae2ed9aSIngo Molnar 
672cae2ed9aSIngo Molnar /*
673cae2ed9aSIngo Molnar  * AB CD BC DA deadlock:
674cae2ed9aSIngo Molnar  */
675cae2ed9aSIngo Molnar #define E()					\
676cae2ed9aSIngo Molnar 						\
677cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
678cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
679cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
680cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
681cae2ed9aSIngo Molnar 
682cae2ed9aSIngo Molnar /*
683cae2ed9aSIngo Molnar  * 6 testcases:
684cae2ed9aSIngo Molnar  */
685cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
686cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_spin)
687cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
688cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_wlock)
689cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
690cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_rlock)
691cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
692cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_mutex)
693cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
694cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_wsem)
695cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
696cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_rsem)
697cae2ed9aSIngo Molnar 
698018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
699018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
700018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCDBCDA_rtmutex);
701018956d6SPeter Zijlstra #endif
702018956d6SPeter Zijlstra 
703cae2ed9aSIngo Molnar #undef E
704cae2ed9aSIngo Molnar 
705cae2ed9aSIngo Molnar /*
706cae2ed9aSIngo Molnar  * Double unlock:
707cae2ed9aSIngo Molnar  */
708cae2ed9aSIngo Molnar #define E()					\
709cae2ed9aSIngo Molnar 						\
710cae2ed9aSIngo Molnar 	LOCK(A);				\
711cae2ed9aSIngo Molnar 	UNLOCK(A);				\
712cae2ed9aSIngo Molnar 	UNLOCK(A); /* fail */
713cae2ed9aSIngo Molnar 
714cae2ed9aSIngo Molnar /*
715cae2ed9aSIngo Molnar  * 6 testcases:
716cae2ed9aSIngo Molnar  */
717cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
718cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_spin)
719cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
720cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_wlock)
721cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
722cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_rlock)
723cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
724cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_mutex)
725cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
726cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_wsem)
727cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
728cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_rsem)
729cae2ed9aSIngo Molnar 
730018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
731018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
732018956d6SPeter Zijlstra GENERATE_TESTCASE(double_unlock_rtmutex);
733018956d6SPeter Zijlstra #endif
734018956d6SPeter Zijlstra 
735cae2ed9aSIngo Molnar #undef E
736cae2ed9aSIngo Molnar 
737cae2ed9aSIngo Molnar /*
738cae2ed9aSIngo Molnar  * initializing a held lock:
739cae2ed9aSIngo Molnar  */
740cae2ed9aSIngo Molnar #define E()					\
741cae2ed9aSIngo Molnar 						\
742cae2ed9aSIngo Molnar 	LOCK(A);				\
743cae2ed9aSIngo Molnar 	INIT(A); /* fail */
744cae2ed9aSIngo Molnar 
745cae2ed9aSIngo Molnar /*
746cae2ed9aSIngo Molnar  * 6 testcases:
747cae2ed9aSIngo Molnar  */
748cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
749cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_spin)
750cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
751cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_wlock)
752cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
753cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_rlock)
754cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
755cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_mutex)
756cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
757cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_wsem)
758cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
759cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_rsem)
760cae2ed9aSIngo Molnar 
761018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
762018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
763018956d6SPeter Zijlstra GENERATE_TESTCASE(init_held_rtmutex);
764018956d6SPeter Zijlstra #endif
765018956d6SPeter Zijlstra 
766cae2ed9aSIngo Molnar #undef E
767cae2ed9aSIngo Molnar 
768cae2ed9aSIngo Molnar /*
769cae2ed9aSIngo Molnar  * locking an irq-safe lock with irqs enabled:
770cae2ed9aSIngo Molnar  */
771cae2ed9aSIngo Molnar #define E1()				\
772cae2ed9aSIngo Molnar 					\
773cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
774cae2ed9aSIngo Molnar 	LOCK(A);			\
775cae2ed9aSIngo Molnar 	UNLOCK(A);			\
776cae2ed9aSIngo Molnar 	IRQ_EXIT();
777cae2ed9aSIngo Molnar 
778cae2ed9aSIngo Molnar #define E2()				\
779cae2ed9aSIngo Molnar 					\
780cae2ed9aSIngo Molnar 	LOCK(A);			\
781cae2ed9aSIngo Molnar 	UNLOCK(A);
782cae2ed9aSIngo Molnar 
783cae2ed9aSIngo Molnar /*
784cae2ed9aSIngo Molnar  * Generate 24 testcases:
785cae2ed9aSIngo Molnar  */
786cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
787cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_spin)
788cae2ed9aSIngo Molnar 
789cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
790cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_rlock)
791cae2ed9aSIngo Molnar 
792cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
793cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_wlock)
794cae2ed9aSIngo Molnar 
795cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
796cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_spin)
797cae2ed9aSIngo Molnar 
798cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
799cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_rlock)
800cae2ed9aSIngo Molnar 
801cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
802cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_wlock)
803cae2ed9aSIngo Molnar 
804cae2ed9aSIngo Molnar #undef E1
805cae2ed9aSIngo Molnar #undef E2
806cae2ed9aSIngo Molnar 
807cae2ed9aSIngo Molnar /*
808cae2ed9aSIngo Molnar  * Enabling hardirqs with a softirq-safe lock held:
809cae2ed9aSIngo Molnar  */
810cae2ed9aSIngo Molnar #define E1()				\
811cae2ed9aSIngo Molnar 					\
812cae2ed9aSIngo Molnar 	SOFTIRQ_ENTER();		\
813cae2ed9aSIngo Molnar 	LOCK(A);			\
814cae2ed9aSIngo Molnar 	UNLOCK(A);			\
815cae2ed9aSIngo Molnar 	SOFTIRQ_EXIT();
816cae2ed9aSIngo Molnar 
817cae2ed9aSIngo Molnar #define E2()				\
818cae2ed9aSIngo Molnar 					\
819cae2ed9aSIngo Molnar 	HARDIRQ_DISABLE();		\
820cae2ed9aSIngo Molnar 	LOCK(A);			\
821cae2ed9aSIngo Molnar 	HARDIRQ_ENABLE();		\
822cae2ed9aSIngo Molnar 	UNLOCK(A);
823cae2ed9aSIngo Molnar 
824cae2ed9aSIngo Molnar /*
825cae2ed9aSIngo Molnar  * Generate 12 testcases:
826cae2ed9aSIngo Molnar  */
827cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
828cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_spin)
829cae2ed9aSIngo Molnar 
830cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
831cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_wlock)
832cae2ed9aSIngo Molnar 
833cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
834cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_rlock)
835cae2ed9aSIngo Molnar 
836cae2ed9aSIngo Molnar #undef E1
837cae2ed9aSIngo Molnar #undef E2
838cae2ed9aSIngo Molnar 
839cae2ed9aSIngo Molnar /*
840cae2ed9aSIngo Molnar  * Enabling irqs with an irq-safe lock held:
841cae2ed9aSIngo Molnar  */
842cae2ed9aSIngo Molnar #define E1()				\
843cae2ed9aSIngo Molnar 					\
844cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
845cae2ed9aSIngo Molnar 	LOCK(A);			\
846cae2ed9aSIngo Molnar 	UNLOCK(A);			\
847cae2ed9aSIngo Molnar 	IRQ_EXIT();
848cae2ed9aSIngo Molnar 
849cae2ed9aSIngo Molnar #define E2()				\
850cae2ed9aSIngo Molnar 					\
851cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
852cae2ed9aSIngo Molnar 	LOCK(A);			\
853cae2ed9aSIngo Molnar 	IRQ_ENABLE();			\
854cae2ed9aSIngo Molnar 	UNLOCK(A);
855cae2ed9aSIngo Molnar 
856cae2ed9aSIngo Molnar /*
857cae2ed9aSIngo Molnar  * Generate 24 testcases:
858cae2ed9aSIngo Molnar  */
859cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
860cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_spin)
861cae2ed9aSIngo Molnar 
862cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
863cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_rlock)
864cae2ed9aSIngo Molnar 
865cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
866cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_wlock)
867cae2ed9aSIngo Molnar 
868cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
869cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_spin)
870cae2ed9aSIngo Molnar 
871cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
872cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_rlock)
873cae2ed9aSIngo Molnar 
874cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
875cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_wlock)
876cae2ed9aSIngo Molnar 
877cae2ed9aSIngo Molnar #undef E1
878cae2ed9aSIngo Molnar #undef E2
879cae2ed9aSIngo Molnar 
880cae2ed9aSIngo Molnar /*
881cae2ed9aSIngo Molnar  * Acquiring a irq-unsafe lock while holding an irq-safe-lock:
882cae2ed9aSIngo Molnar  */
883cae2ed9aSIngo Molnar #define E1()				\
884cae2ed9aSIngo Molnar 					\
885cae2ed9aSIngo Molnar 	LOCK(A);			\
886cae2ed9aSIngo Molnar 	LOCK(B);			\
887cae2ed9aSIngo Molnar 	UNLOCK(B);			\
888cae2ed9aSIngo Molnar 	UNLOCK(A);			\
889cae2ed9aSIngo Molnar 
890cae2ed9aSIngo Molnar #define E2()				\
891cae2ed9aSIngo Molnar 					\
892cae2ed9aSIngo Molnar 	LOCK(B);			\
893cae2ed9aSIngo Molnar 	UNLOCK(B);
894cae2ed9aSIngo Molnar 
895cae2ed9aSIngo Molnar #define E3()				\
896cae2ed9aSIngo Molnar 					\
897cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
898cae2ed9aSIngo Molnar 	LOCK(A);			\
899cae2ed9aSIngo Molnar 	UNLOCK(A);			\
900cae2ed9aSIngo Molnar 	IRQ_EXIT();
901cae2ed9aSIngo Molnar 
902cae2ed9aSIngo Molnar /*
903cae2ed9aSIngo Molnar  * Generate 36 testcases:
904cae2ed9aSIngo Molnar  */
905cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
906cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_spin)
907cae2ed9aSIngo Molnar 
908cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
909cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_rlock)
910cae2ed9aSIngo Molnar 
911cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
912cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_wlock)
913cae2ed9aSIngo Molnar 
914cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
915cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_spin)
916cae2ed9aSIngo Molnar 
917cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
918cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_rlock)
919cae2ed9aSIngo Molnar 
920cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
921cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_wlock)
922cae2ed9aSIngo Molnar 
923cae2ed9aSIngo Molnar #undef E1
924cae2ed9aSIngo Molnar #undef E2
925cae2ed9aSIngo Molnar #undef E3
926cae2ed9aSIngo Molnar 
927cae2ed9aSIngo Molnar /*
928cae2ed9aSIngo Molnar  * If a lock turns into softirq-safe, but earlier it took
929cae2ed9aSIngo Molnar  * a softirq-unsafe lock:
930cae2ed9aSIngo Molnar  */
931cae2ed9aSIngo Molnar 
932cae2ed9aSIngo Molnar #define E1()				\
933cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
934cae2ed9aSIngo Molnar 	LOCK(A);			\
935cae2ed9aSIngo Molnar 	LOCK(B);			\
936cae2ed9aSIngo Molnar 	UNLOCK(B);			\
937cae2ed9aSIngo Molnar 	UNLOCK(A);			\
938cae2ed9aSIngo Molnar 	IRQ_ENABLE();
939cae2ed9aSIngo Molnar 
940cae2ed9aSIngo Molnar #define E2()				\
941cae2ed9aSIngo Molnar 	LOCK(B);			\
942cae2ed9aSIngo Molnar 	UNLOCK(B);
943cae2ed9aSIngo Molnar 
944cae2ed9aSIngo Molnar #define E3()				\
945cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
946cae2ed9aSIngo Molnar 	LOCK(A);			\
947cae2ed9aSIngo Molnar 	UNLOCK(A);			\
948cae2ed9aSIngo Molnar 	IRQ_EXIT();
949cae2ed9aSIngo Molnar 
950cae2ed9aSIngo Molnar /*
951cae2ed9aSIngo Molnar  * Generate 36 testcases:
952cae2ed9aSIngo Molnar  */
953cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
954cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_spin)
955cae2ed9aSIngo Molnar 
956cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
957cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_rlock)
958cae2ed9aSIngo Molnar 
959cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
960cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_wlock)
961cae2ed9aSIngo Molnar 
962cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
963cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_spin)
964cae2ed9aSIngo Molnar 
965cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
966cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_rlock)
967cae2ed9aSIngo Molnar 
968cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
969cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_wlock)
970cae2ed9aSIngo Molnar 
971cae2ed9aSIngo Molnar #undef E1
972cae2ed9aSIngo Molnar #undef E2
973cae2ed9aSIngo Molnar #undef E3
974cae2ed9aSIngo Molnar 
975cae2ed9aSIngo Molnar /*
976cae2ed9aSIngo Molnar  * read-lock / write-lock irq inversion.
977cae2ed9aSIngo Molnar  *
978cae2ed9aSIngo Molnar  * Deadlock scenario:
979cae2ed9aSIngo Molnar  *
980cae2ed9aSIngo Molnar  * CPU#1 is at #1, i.e. it has write-locked A, but has not
981cae2ed9aSIngo Molnar  * taken B yet.
982cae2ed9aSIngo Molnar  *
983cae2ed9aSIngo Molnar  * CPU#2 is at #2, i.e. it has locked B.
984cae2ed9aSIngo Molnar  *
985cae2ed9aSIngo Molnar  * Hardirq hits CPU#2 at point #2 and is trying to read-lock A.
986cae2ed9aSIngo Molnar  *
987cae2ed9aSIngo Molnar  * The deadlock occurs because CPU#1 will spin on B, and CPU#2
988cae2ed9aSIngo Molnar  * will spin on A.
989cae2ed9aSIngo Molnar  */
990cae2ed9aSIngo Molnar 
991cae2ed9aSIngo Molnar #define E1()				\
992cae2ed9aSIngo Molnar 					\
993cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
994cae2ed9aSIngo Molnar 	WL(A);				\
995cae2ed9aSIngo Molnar 	LOCK(B);			\
996cae2ed9aSIngo Molnar 	UNLOCK(B);			\
997cae2ed9aSIngo Molnar 	WU(A);				\
998cae2ed9aSIngo Molnar 	IRQ_ENABLE();
999cae2ed9aSIngo Molnar 
1000cae2ed9aSIngo Molnar #define E2()				\
1001cae2ed9aSIngo Molnar 					\
1002cae2ed9aSIngo Molnar 	LOCK(B);			\
1003cae2ed9aSIngo Molnar 	UNLOCK(B);
1004cae2ed9aSIngo Molnar 
1005cae2ed9aSIngo Molnar #define E3()				\
1006cae2ed9aSIngo Molnar 					\
1007cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
1008cae2ed9aSIngo Molnar 	RL(A);				\
1009cae2ed9aSIngo Molnar 	RU(A);				\
1010cae2ed9aSIngo Molnar 	IRQ_EXIT();
1011cae2ed9aSIngo Molnar 
1012cae2ed9aSIngo Molnar /*
1013cae2ed9aSIngo Molnar  * Generate 36 testcases:
1014cae2ed9aSIngo Molnar  */
1015cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
1016cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_spin)
1017cae2ed9aSIngo Molnar 
1018cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
1019cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_rlock)
1020cae2ed9aSIngo Molnar 
1021cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
1022cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_wlock)
1023cae2ed9aSIngo Molnar 
1024cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
1025cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_spin)
1026cae2ed9aSIngo Molnar 
1027cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
1028cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_rlock)
1029cae2ed9aSIngo Molnar 
1030cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
1031cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_wlock)
1032cae2ed9aSIngo Molnar 
1033cae2ed9aSIngo Molnar #undef E1
1034cae2ed9aSIngo Molnar #undef E2
1035cae2ed9aSIngo Molnar #undef E3
1036cae2ed9aSIngo Molnar 
1037cae2ed9aSIngo Molnar /*
1038*8ef7ca75SBoqun Feng  * write-read / write-read / write-read deadlock even if read is recursive
1039*8ef7ca75SBoqun Feng  */
1040*8ef7ca75SBoqun Feng 
1041*8ef7ca75SBoqun Feng #define E1()				\
1042*8ef7ca75SBoqun Feng 					\
1043*8ef7ca75SBoqun Feng 	WL(X1);				\
1044*8ef7ca75SBoqun Feng 	RL(Y1);				\
1045*8ef7ca75SBoqun Feng 	RU(Y1);				\
1046*8ef7ca75SBoqun Feng 	WU(X1);
1047*8ef7ca75SBoqun Feng 
1048*8ef7ca75SBoqun Feng #define E2()				\
1049*8ef7ca75SBoqun Feng 					\
1050*8ef7ca75SBoqun Feng 	WL(Y1);				\
1051*8ef7ca75SBoqun Feng 	RL(Z1);				\
1052*8ef7ca75SBoqun Feng 	RU(Z1);				\
1053*8ef7ca75SBoqun Feng 	WU(Y1);
1054*8ef7ca75SBoqun Feng 
1055*8ef7ca75SBoqun Feng #define E3()				\
1056*8ef7ca75SBoqun Feng 					\
1057*8ef7ca75SBoqun Feng 	WL(Z1);				\
1058*8ef7ca75SBoqun Feng 	RL(X1);				\
1059*8ef7ca75SBoqun Feng 	RU(X1);				\
1060*8ef7ca75SBoqun Feng 	WU(Z1);
1061*8ef7ca75SBoqun Feng 
1062*8ef7ca75SBoqun Feng #include "locking-selftest-rlock.h"
1063*8ef7ca75SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(W1R2_W2R3_W3R1)
1064*8ef7ca75SBoqun Feng 
1065*8ef7ca75SBoqun Feng #undef E1
1066*8ef7ca75SBoqun Feng #undef E2
1067*8ef7ca75SBoqun Feng #undef E3
1068*8ef7ca75SBoqun Feng 
1069*8ef7ca75SBoqun Feng /*
1070*8ef7ca75SBoqun Feng  * write-write / read-read / write-read deadlock even if read is recursive
1071*8ef7ca75SBoqun Feng  */
1072*8ef7ca75SBoqun Feng 
1073*8ef7ca75SBoqun Feng #define E1()				\
1074*8ef7ca75SBoqun Feng 					\
1075*8ef7ca75SBoqun Feng 	WL(X1);				\
1076*8ef7ca75SBoqun Feng 	WL(Y1);				\
1077*8ef7ca75SBoqun Feng 	WU(Y1);				\
1078*8ef7ca75SBoqun Feng 	WU(X1);
1079*8ef7ca75SBoqun Feng 
1080*8ef7ca75SBoqun Feng #define E2()				\
1081*8ef7ca75SBoqun Feng 					\
1082*8ef7ca75SBoqun Feng 	RL(Y1);				\
1083*8ef7ca75SBoqun Feng 	RL(Z1);				\
1084*8ef7ca75SBoqun Feng 	RU(Z1);				\
1085*8ef7ca75SBoqun Feng 	RU(Y1);
1086*8ef7ca75SBoqun Feng 
1087*8ef7ca75SBoqun Feng #define E3()				\
1088*8ef7ca75SBoqun Feng 					\
1089*8ef7ca75SBoqun Feng 	WL(Z1);				\
1090*8ef7ca75SBoqun Feng 	RL(X1);				\
1091*8ef7ca75SBoqun Feng 	RU(X1);				\
1092*8ef7ca75SBoqun Feng 	WU(Z1);
1093*8ef7ca75SBoqun Feng 
1094*8ef7ca75SBoqun Feng #include "locking-selftest-rlock.h"
1095*8ef7ca75SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(W1W2_R2R3_W3R1)
1096*8ef7ca75SBoqun Feng 
1097*8ef7ca75SBoqun Feng #undef E1
1098*8ef7ca75SBoqun Feng #undef E2
1099*8ef7ca75SBoqun Feng #undef E3
1100*8ef7ca75SBoqun Feng 
1101*8ef7ca75SBoqun Feng /*
1102*8ef7ca75SBoqun Feng  * write-write / read-read / read-write is not deadlock when read is recursive
1103*8ef7ca75SBoqun Feng  */
1104*8ef7ca75SBoqun Feng 
1105*8ef7ca75SBoqun Feng #define E1()				\
1106*8ef7ca75SBoqun Feng 					\
1107*8ef7ca75SBoqun Feng 	WL(X1);				\
1108*8ef7ca75SBoqun Feng 	WL(Y1);				\
1109*8ef7ca75SBoqun Feng 	WU(Y1);				\
1110*8ef7ca75SBoqun Feng 	WU(X1);
1111*8ef7ca75SBoqun Feng 
1112*8ef7ca75SBoqun Feng #define E2()				\
1113*8ef7ca75SBoqun Feng 					\
1114*8ef7ca75SBoqun Feng 	RL(Y1);				\
1115*8ef7ca75SBoqun Feng 	RL(Z1);				\
1116*8ef7ca75SBoqun Feng 	RU(Z1);				\
1117*8ef7ca75SBoqun Feng 	RU(Y1);
1118*8ef7ca75SBoqun Feng 
1119*8ef7ca75SBoqun Feng #define E3()				\
1120*8ef7ca75SBoqun Feng 					\
1121*8ef7ca75SBoqun Feng 	RL(Z1);				\
1122*8ef7ca75SBoqun Feng 	WL(X1);				\
1123*8ef7ca75SBoqun Feng 	WU(X1);				\
1124*8ef7ca75SBoqun Feng 	RU(Z1);
1125*8ef7ca75SBoqun Feng 
1126*8ef7ca75SBoqun Feng #include "locking-selftest-rlock.h"
1127*8ef7ca75SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(W1R2_R2R3_W3W1)
1128*8ef7ca75SBoqun Feng 
1129*8ef7ca75SBoqun Feng #undef E1
1130*8ef7ca75SBoqun Feng #undef E2
1131*8ef7ca75SBoqun Feng #undef E3
1132*8ef7ca75SBoqun Feng 
1133*8ef7ca75SBoqun Feng /*
1134*8ef7ca75SBoqun Feng  * write-read / read-read / write-write is not deadlock when read is recursive
1135*8ef7ca75SBoqun Feng  */
1136*8ef7ca75SBoqun Feng 
1137*8ef7ca75SBoqun Feng #define E1()				\
1138*8ef7ca75SBoqun Feng 					\
1139*8ef7ca75SBoqun Feng 	WL(X1);				\
1140*8ef7ca75SBoqun Feng 	RL(Y1);				\
1141*8ef7ca75SBoqun Feng 	RU(Y1);				\
1142*8ef7ca75SBoqun Feng 	WU(X1);
1143*8ef7ca75SBoqun Feng 
1144*8ef7ca75SBoqun Feng #define E2()				\
1145*8ef7ca75SBoqun Feng 					\
1146*8ef7ca75SBoqun Feng 	RL(Y1);				\
1147*8ef7ca75SBoqun Feng 	RL(Z1);				\
1148*8ef7ca75SBoqun Feng 	RU(Z1);				\
1149*8ef7ca75SBoqun Feng 	RU(Y1);
1150*8ef7ca75SBoqun Feng 
1151*8ef7ca75SBoqun Feng #define E3()				\
1152*8ef7ca75SBoqun Feng 					\
1153*8ef7ca75SBoqun Feng 	WL(Z1);				\
1154*8ef7ca75SBoqun Feng 	WL(X1);				\
1155*8ef7ca75SBoqun Feng 	WU(X1);				\
1156*8ef7ca75SBoqun Feng 	WU(Z1);
1157*8ef7ca75SBoqun Feng 
1158*8ef7ca75SBoqun Feng #include "locking-selftest-rlock.h"
1159*8ef7ca75SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(W1W2_R2R3_R3W1)
1160*8ef7ca75SBoqun Feng 
1161*8ef7ca75SBoqun Feng #undef E1
1162*8ef7ca75SBoqun Feng #undef E2
1163*8ef7ca75SBoqun Feng #undef E3
1164*8ef7ca75SBoqun Feng /*
1165cae2ed9aSIngo Molnar  * read-lock / write-lock recursion that is actually safe.
1166cae2ed9aSIngo Molnar  */
1167cae2ed9aSIngo Molnar 
1168cae2ed9aSIngo Molnar #define E1()				\
1169cae2ed9aSIngo Molnar 					\
1170cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
1171cae2ed9aSIngo Molnar 	WL(A);				\
1172cae2ed9aSIngo Molnar 	WU(A);				\
1173cae2ed9aSIngo Molnar 	IRQ_ENABLE();
1174cae2ed9aSIngo Molnar 
1175cae2ed9aSIngo Molnar #define E2()				\
1176cae2ed9aSIngo Molnar 					\
1177cae2ed9aSIngo Molnar 	RL(A);				\
1178cae2ed9aSIngo Molnar 	RU(A);				\
1179cae2ed9aSIngo Molnar 
1180cae2ed9aSIngo Molnar #define E3()				\
1181cae2ed9aSIngo Molnar 					\
1182cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
118331e0d747SBoqun Feng 	LOCK(A);			\
1184cae2ed9aSIngo Molnar 	L(B);				\
1185cae2ed9aSIngo Molnar 	U(B);				\
118631e0d747SBoqun Feng 	UNLOCK(A);			\
1187cae2ed9aSIngo Molnar 	IRQ_EXIT();
1188cae2ed9aSIngo Molnar 
1189cae2ed9aSIngo Molnar /*
119031e0d747SBoqun Feng  * Generate 24 testcases:
1191cae2ed9aSIngo Molnar  */
1192cae2ed9aSIngo Molnar #include "locking-selftest-hardirq.h"
119331e0d747SBoqun Feng #include "locking-selftest-rlock.h"
119431e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_hard_rlock)
119531e0d747SBoqun Feng 
119631e0d747SBoqun Feng #include "locking-selftest-wlock.h"
119731e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_hard_wlock)
1198cae2ed9aSIngo Molnar 
1199cae2ed9aSIngo Molnar #include "locking-selftest-softirq.h"
120031e0d747SBoqun Feng #include "locking-selftest-rlock.h"
120131e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_soft_rlock)
120231e0d747SBoqun Feng 
120331e0d747SBoqun Feng #include "locking-selftest-wlock.h"
120431e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_soft_wlock)
1205cae2ed9aSIngo Molnar 
1206cae2ed9aSIngo Molnar #undef E1
1207cae2ed9aSIngo Molnar #undef E2
1208cae2ed9aSIngo Molnar #undef E3
1209cae2ed9aSIngo Molnar 
1210cae2ed9aSIngo Molnar /*
1211cae2ed9aSIngo Molnar  * read-lock / write-lock recursion that is unsafe.
1212cae2ed9aSIngo Molnar  */
1213cae2ed9aSIngo Molnar 
1214cae2ed9aSIngo Molnar #define E1()				\
1215cae2ed9aSIngo Molnar 					\
1216cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
1217cae2ed9aSIngo Molnar 	L(B);				\
121831e0d747SBoqun Feng 	LOCK(A);			\
121931e0d747SBoqun Feng 	UNLOCK(A);			\
1220cae2ed9aSIngo Molnar 	U(B);				\
1221cae2ed9aSIngo Molnar 	IRQ_ENABLE();
1222cae2ed9aSIngo Molnar 
1223cae2ed9aSIngo Molnar #define E2()				\
1224cae2ed9aSIngo Molnar 					\
1225cae2ed9aSIngo Molnar 	RL(A);				\
1226cae2ed9aSIngo Molnar 	RU(A);				\
1227cae2ed9aSIngo Molnar 
1228cae2ed9aSIngo Molnar #define E3()				\
1229cae2ed9aSIngo Molnar 					\
1230cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
1231cae2ed9aSIngo Molnar 	L(B);				\
1232cae2ed9aSIngo Molnar 	U(B);				\
1233cae2ed9aSIngo Molnar 	IRQ_EXIT();
1234cae2ed9aSIngo Molnar 
1235cae2ed9aSIngo Molnar /*
123631e0d747SBoqun Feng  * Generate 24 testcases:
1237cae2ed9aSIngo Molnar  */
1238cae2ed9aSIngo Molnar #include "locking-selftest-hardirq.h"
123931e0d747SBoqun Feng #include "locking-selftest-rlock.h"
124031e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_hard_rlock)
124131e0d747SBoqun Feng 
124231e0d747SBoqun Feng #include "locking-selftest-wlock.h"
124331e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_hard_wlock)
1244cae2ed9aSIngo Molnar 
1245cae2ed9aSIngo Molnar #include "locking-selftest-softirq.h"
124631e0d747SBoqun Feng #include "locking-selftest-rlock.h"
124731e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_soft_rlock)
124831e0d747SBoqun Feng 
124931e0d747SBoqun Feng #include "locking-selftest-wlock.h"
125031e0d747SBoqun Feng GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_soft_wlock)
1251cae2ed9aSIngo Molnar 
1252cae2ed9aSIngo Molnar #ifdef CONFIG_DEBUG_LOCK_ALLOC
1253cae2ed9aSIngo Molnar # define I_SPINLOCK(x)	lockdep_reset_lock(&lock_##x.dep_map)
1254cae2ed9aSIngo Molnar # define I_RWLOCK(x)	lockdep_reset_lock(&rwlock_##x.dep_map)
1255cae2ed9aSIngo Molnar # define I_MUTEX(x)	lockdep_reset_lock(&mutex_##x.dep_map)
1256cae2ed9aSIngo Molnar # define I_RWSEM(x)	lockdep_reset_lock(&rwsem_##x.dep_map)
12571de99445SMaarten Lankhorst # define I_WW(x)	lockdep_reset_lock(&x.dep_map)
1258018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1259018956d6SPeter Zijlstra # define I_RTMUTEX(x)	lockdep_reset_lock(&rtmutex_##x.dep_map)
1260018956d6SPeter Zijlstra #endif
1261cae2ed9aSIngo Molnar #else
1262cae2ed9aSIngo Molnar # define I_SPINLOCK(x)
1263cae2ed9aSIngo Molnar # define I_RWLOCK(x)
1264cae2ed9aSIngo Molnar # define I_MUTEX(x)
1265cae2ed9aSIngo Molnar # define I_RWSEM(x)
12661de99445SMaarten Lankhorst # define I_WW(x)
1267cae2ed9aSIngo Molnar #endif
1268cae2ed9aSIngo Molnar 
1269018956d6SPeter Zijlstra #ifndef I_RTMUTEX
1270018956d6SPeter Zijlstra # define I_RTMUTEX(x)
1271018956d6SPeter Zijlstra #endif
1272018956d6SPeter Zijlstra 
1273018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1274018956d6SPeter Zijlstra #define I2_RTMUTEX(x)	rt_mutex_init(&rtmutex_##x)
1275018956d6SPeter Zijlstra #else
1276018956d6SPeter Zijlstra #define I2_RTMUTEX(x)
1277018956d6SPeter Zijlstra #endif
1278018956d6SPeter Zijlstra 
1279cae2ed9aSIngo Molnar #define I1(x)					\
1280cae2ed9aSIngo Molnar 	do {					\
1281cae2ed9aSIngo Molnar 		I_SPINLOCK(x);			\
1282cae2ed9aSIngo Molnar 		I_RWLOCK(x);			\
1283cae2ed9aSIngo Molnar 		I_MUTEX(x);			\
1284cae2ed9aSIngo Molnar 		I_RWSEM(x);			\
1285018956d6SPeter Zijlstra 		I_RTMUTEX(x);			\
1286cae2ed9aSIngo Molnar 	} while (0)
1287cae2ed9aSIngo Molnar 
1288cae2ed9aSIngo Molnar #define I2(x)					\
1289cae2ed9aSIngo Molnar 	do {					\
12909fb1b90cSYong Zhang 		raw_spin_lock_init(&lock_##x);	\
1291cae2ed9aSIngo Molnar 		rwlock_init(&rwlock_##x);	\
1292cae2ed9aSIngo Molnar 		mutex_init(&mutex_##x);		\
1293cae2ed9aSIngo Molnar 		init_rwsem(&rwsem_##x);		\
1294018956d6SPeter Zijlstra 		I2_RTMUTEX(x);			\
1295cae2ed9aSIngo Molnar 	} while (0)
1296cae2ed9aSIngo Molnar 
1297cae2ed9aSIngo Molnar static void reset_locks(void)
1298cae2ed9aSIngo Molnar {
1299cae2ed9aSIngo Molnar 	local_irq_disable();
13001de99445SMaarten Lankhorst 	lockdep_free_key_range(&ww_lockdep.acquire_key, 1);
13011de99445SMaarten Lankhorst 	lockdep_free_key_range(&ww_lockdep.mutex_key, 1);
13021de99445SMaarten Lankhorst 
1303cae2ed9aSIngo Molnar 	I1(A); I1(B); I1(C); I1(D);
1304cae2ed9aSIngo Molnar 	I1(X1); I1(X2); I1(Y1); I1(Y2); I1(Z1); I1(Z2);
1305f3cf139eSMaarten Lankhorst 	I_WW(t); I_WW(t2); I_WW(o.base); I_WW(o2.base); I_WW(o3.base);
1306cae2ed9aSIngo Molnar 	lockdep_reset();
1307cae2ed9aSIngo Molnar 	I2(A); I2(B); I2(C); I2(D);
1308cae2ed9aSIngo Molnar 	init_shared_classes();
13091de99445SMaarten Lankhorst 
1310f3cf139eSMaarten Lankhorst 	ww_mutex_init(&o, &ww_lockdep); ww_mutex_init(&o2, &ww_lockdep); ww_mutex_init(&o3, &ww_lockdep);
13111de99445SMaarten Lankhorst 	memset(&t, 0, sizeof(t)); memset(&t2, 0, sizeof(t2));
13121de99445SMaarten Lankhorst 	memset(&ww_lockdep.acquire_key, 0, sizeof(ww_lockdep.acquire_key));
13131de99445SMaarten Lankhorst 	memset(&ww_lockdep.mutex_key, 0, sizeof(ww_lockdep.mutex_key));
1314cae2ed9aSIngo Molnar 	local_irq_enable();
1315cae2ed9aSIngo Molnar }
1316cae2ed9aSIngo Molnar 
1317cae2ed9aSIngo Molnar #undef I
1318cae2ed9aSIngo Molnar 
1319cae2ed9aSIngo Molnar static int testcase_total;
1320cae2ed9aSIngo Molnar static int testcase_successes;
1321cae2ed9aSIngo Molnar static int expected_testcase_failures;
1322cae2ed9aSIngo Molnar static int unexpected_testcase_failures;
1323cae2ed9aSIngo Molnar 
1324cae2ed9aSIngo Molnar static void dotest(void (*testcase_fn)(void), int expected, int lockclass_mask)
1325cae2ed9aSIngo Molnar {
1326cae2ed9aSIngo Molnar 	unsigned long saved_preempt_count = preempt_count();
1327cae2ed9aSIngo Molnar 
1328cae2ed9aSIngo Molnar 	WARN_ON(irqs_disabled());
1329cae2ed9aSIngo Molnar 
1330cae2ed9aSIngo Molnar 	testcase_fn();
1331cae2ed9aSIngo Molnar 	/*
1332cae2ed9aSIngo Molnar 	 * Filter out expected failures:
1333cae2ed9aSIngo Molnar 	 */
13341de99445SMaarten Lankhorst #ifndef CONFIG_PROVE_LOCKING
1335166989e3SMaarten Lankhorst 	if (expected == FAILURE && debug_locks) {
1336cae2ed9aSIngo Molnar 		expected_testcase_failures++;
133725139409SMichael Ellerman 		pr_cont("failed|");
1338166989e3SMaarten Lankhorst 	}
1339166989e3SMaarten Lankhorst 	else
1340166989e3SMaarten Lankhorst #endif
1341166989e3SMaarten Lankhorst 	if (debug_locks != expected) {
1342cae2ed9aSIngo Molnar 		unexpected_testcase_failures++;
134325139409SMichael Ellerman 		pr_cont("FAILED|");
1344cae2ed9aSIngo Molnar 	} else {
1345cae2ed9aSIngo Molnar 		testcase_successes++;
134625139409SMichael Ellerman 		pr_cont("  ok  |");
1347cae2ed9aSIngo Molnar 	}
1348cae2ed9aSIngo Molnar 	testcase_total++;
1349cae2ed9aSIngo Molnar 
1350cae2ed9aSIngo Molnar 	if (debug_locks_verbose)
135125139409SMichael Ellerman 		pr_cont(" lockclass mask: %x, debug_locks: %d, expected: %d\n",
1352cae2ed9aSIngo Molnar 			lockclass_mask, debug_locks, expected);
1353cae2ed9aSIngo Molnar 	/*
1354cae2ed9aSIngo Molnar 	 * Some tests (e.g. double-unlock) might corrupt the preemption
1355cae2ed9aSIngo Molnar 	 * count, so restore it:
1356cae2ed9aSIngo Molnar 	 */
13574a2b4b22SPeter Zijlstra 	preempt_count_set(saved_preempt_count);
1358cae2ed9aSIngo Molnar #ifdef CONFIG_TRACE_IRQFLAGS
1359cae2ed9aSIngo Molnar 	if (softirq_count())
1360cae2ed9aSIngo Molnar 		current->softirqs_enabled = 0;
1361cae2ed9aSIngo Molnar 	else
1362cae2ed9aSIngo Molnar 		current->softirqs_enabled = 1;
1363cae2ed9aSIngo Molnar #endif
1364cae2ed9aSIngo Molnar 
1365cae2ed9aSIngo Molnar 	reset_locks();
1366cae2ed9aSIngo Molnar }
1367cae2ed9aSIngo Molnar 
1368018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1369018956d6SPeter Zijlstra #define dotest_rt(fn, e, m)	dotest((fn), (e), (m))
1370018956d6SPeter Zijlstra #else
1371018956d6SPeter Zijlstra #define dotest_rt(fn, e, m)
1372018956d6SPeter Zijlstra #endif
1373018956d6SPeter Zijlstra 
1374cae2ed9aSIngo Molnar static inline void print_testname(const char *testname)
1375cae2ed9aSIngo Molnar {
1376cae2ed9aSIngo Molnar 	printk("%33s:", testname);
1377cae2ed9aSIngo Molnar }
1378cae2ed9aSIngo Molnar 
1379cae2ed9aSIngo Molnar #define DO_TESTCASE_1(desc, name, nr)				\
1380cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1381cae2ed9aSIngo Molnar 	dotest(name##_##nr, SUCCESS, LOCKTYPE_RWLOCK);		\
138225139409SMichael Ellerman 	pr_cont("\n");
1383cae2ed9aSIngo Molnar 
1384cae2ed9aSIngo Molnar #define DO_TESTCASE_1B(desc, name, nr)				\
1385cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1386cae2ed9aSIngo Molnar 	dotest(name##_##nr, FAILURE, LOCKTYPE_RWLOCK);		\
138725139409SMichael Ellerman 	pr_cont("\n");
1388cae2ed9aSIngo Molnar 
1389*8ef7ca75SBoqun Feng #define DO_TESTCASE_1RR(desc, name, nr)				\
1390*8ef7ca75SBoqun Feng 	print_testname(desc"/"#nr);				\
1391*8ef7ca75SBoqun Feng 	pr_cont("             |");				\
1392*8ef7ca75SBoqun Feng 	dotest(name##_##nr, SUCCESS, LOCKTYPE_RWLOCK);		\
1393*8ef7ca75SBoqun Feng 	pr_cont("\n");
1394*8ef7ca75SBoqun Feng 
1395*8ef7ca75SBoqun Feng #define DO_TESTCASE_1RRB(desc, name, nr)			\
1396*8ef7ca75SBoqun Feng 	print_testname(desc"/"#nr);				\
1397*8ef7ca75SBoqun Feng 	pr_cont("             |");				\
1398*8ef7ca75SBoqun Feng 	dotest(name##_##nr, FAILURE, LOCKTYPE_RWLOCK);		\
1399*8ef7ca75SBoqun Feng 	pr_cont("\n");
1400*8ef7ca75SBoqun Feng 
1401*8ef7ca75SBoqun Feng 
1402cae2ed9aSIngo Molnar #define DO_TESTCASE_3(desc, name, nr)				\
1403cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1404cae2ed9aSIngo Molnar 	dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN);	\
1405cae2ed9aSIngo Molnar 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
1406cae2ed9aSIngo Molnar 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
140725139409SMichael Ellerman 	pr_cont("\n");
1408cae2ed9aSIngo Molnar 
1409cae2ed9aSIngo Molnar #define DO_TESTCASE_3RW(desc, name, nr)				\
1410cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1411cae2ed9aSIngo Molnar 	dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN|LOCKTYPE_RWLOCK);\
1412cae2ed9aSIngo Molnar 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
1413cae2ed9aSIngo Molnar 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
141425139409SMichael Ellerman 	pr_cont("\n");
1415cae2ed9aSIngo Molnar 
141631e0d747SBoqun Feng #define DO_TESTCASE_2RW(desc, name, nr)				\
141731e0d747SBoqun Feng 	print_testname(desc"/"#nr);				\
141831e0d747SBoqun Feng 	pr_cont("      |");					\
141931e0d747SBoqun Feng 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
142031e0d747SBoqun Feng 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
142131e0d747SBoqun Feng 	pr_cont("\n");
142231e0d747SBoqun Feng 
142331e0d747SBoqun Feng #define DO_TESTCASE_2x2RW(desc, name, nr)			\
142431e0d747SBoqun Feng 	DO_TESTCASE_2RW("hard-"desc, name##_hard, nr)		\
142531e0d747SBoqun Feng 	DO_TESTCASE_2RW("soft-"desc, name##_soft, nr)		\
142631e0d747SBoqun Feng 
142731e0d747SBoqun Feng #define DO_TESTCASE_6x2x2RW(desc, name)				\
142831e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 123);			\
142931e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 132);			\
143031e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 213);			\
143131e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 231);			\
143231e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 312);			\
143331e0d747SBoqun Feng 	DO_TESTCASE_2x2RW(desc, name, 321);
143431e0d747SBoqun Feng 
1435cae2ed9aSIngo Molnar #define DO_TESTCASE_6(desc, name)				\
1436cae2ed9aSIngo Molnar 	print_testname(desc);					\
1437cae2ed9aSIngo Molnar 	dotest(name##_spin, FAILURE, LOCKTYPE_SPIN);		\
1438cae2ed9aSIngo Molnar 	dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK);		\
1439cae2ed9aSIngo Molnar 	dotest(name##_rlock, FAILURE, LOCKTYPE_RWLOCK);		\
1440cae2ed9aSIngo Molnar 	dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX);		\
1441cae2ed9aSIngo Molnar 	dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM);		\
1442cae2ed9aSIngo Molnar 	dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM);		\
1443018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX);	\
144425139409SMichael Ellerman 	pr_cont("\n");
1445cae2ed9aSIngo Molnar 
1446cae2ed9aSIngo Molnar #define DO_TESTCASE_6_SUCCESS(desc, name)			\
1447cae2ed9aSIngo Molnar 	print_testname(desc);					\
1448cae2ed9aSIngo Molnar 	dotest(name##_spin, SUCCESS, LOCKTYPE_SPIN);		\
1449cae2ed9aSIngo Molnar 	dotest(name##_wlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1450cae2ed9aSIngo Molnar 	dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1451cae2ed9aSIngo Molnar 	dotest(name##_mutex, SUCCESS, LOCKTYPE_MUTEX);		\
1452cae2ed9aSIngo Molnar 	dotest(name##_wsem, SUCCESS, LOCKTYPE_RWSEM);		\
1453cae2ed9aSIngo Molnar 	dotest(name##_rsem, SUCCESS, LOCKTYPE_RWSEM);		\
1454018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, SUCCESS, LOCKTYPE_RTMUTEX);	\
145525139409SMichael Ellerman 	pr_cont("\n");
1456cae2ed9aSIngo Molnar 
1457cae2ed9aSIngo Molnar /*
1458cae2ed9aSIngo Molnar  * 'read' variant: rlocks must not trigger.
1459cae2ed9aSIngo Molnar  */
1460cae2ed9aSIngo Molnar #define DO_TESTCASE_6R(desc, name)				\
1461cae2ed9aSIngo Molnar 	print_testname(desc);					\
1462cae2ed9aSIngo Molnar 	dotest(name##_spin, FAILURE, LOCKTYPE_SPIN);		\
1463cae2ed9aSIngo Molnar 	dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK);		\
1464cae2ed9aSIngo Molnar 	dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1465cae2ed9aSIngo Molnar 	dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX);		\
1466cae2ed9aSIngo Molnar 	dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM);		\
1467cae2ed9aSIngo Molnar 	dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM);		\
1468018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX);	\
146925139409SMichael Ellerman 	pr_cont("\n");
1470cae2ed9aSIngo Molnar 
1471cae2ed9aSIngo Molnar #define DO_TESTCASE_2I(desc, name, nr)				\
1472cae2ed9aSIngo Molnar 	DO_TESTCASE_1("hard-"desc, name##_hard, nr);		\
1473cae2ed9aSIngo Molnar 	DO_TESTCASE_1("soft-"desc, name##_soft, nr);
1474cae2ed9aSIngo Molnar 
1475cae2ed9aSIngo Molnar #define DO_TESTCASE_2IB(desc, name, nr)				\
1476cae2ed9aSIngo Molnar 	DO_TESTCASE_1B("hard-"desc, name##_hard, nr);		\
1477cae2ed9aSIngo Molnar 	DO_TESTCASE_1B("soft-"desc, name##_soft, nr);
1478cae2ed9aSIngo Molnar 
1479cae2ed9aSIngo Molnar #define DO_TESTCASE_6I(desc, name, nr)				\
1480cae2ed9aSIngo Molnar 	DO_TESTCASE_3("hard-"desc, name##_hard, nr);		\
1481cae2ed9aSIngo Molnar 	DO_TESTCASE_3("soft-"desc, name##_soft, nr);
1482cae2ed9aSIngo Molnar 
1483cae2ed9aSIngo Molnar #define DO_TESTCASE_6IRW(desc, name, nr)			\
1484cae2ed9aSIngo Molnar 	DO_TESTCASE_3RW("hard-"desc, name##_hard, nr);		\
1485cae2ed9aSIngo Molnar 	DO_TESTCASE_3RW("soft-"desc, name##_soft, nr);
1486cae2ed9aSIngo Molnar 
1487cae2ed9aSIngo Molnar #define DO_TESTCASE_2x3(desc, name)				\
1488cae2ed9aSIngo Molnar 	DO_TESTCASE_3(desc, name, 12);				\
1489cae2ed9aSIngo Molnar 	DO_TESTCASE_3(desc, name, 21);
1490cae2ed9aSIngo Molnar 
1491cae2ed9aSIngo Molnar #define DO_TESTCASE_2x6(desc, name)				\
1492cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 12);				\
1493cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 21);
1494cae2ed9aSIngo Molnar 
1495cae2ed9aSIngo Molnar #define DO_TESTCASE_6x2(desc, name)				\
1496cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 123);			\
1497cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 132);			\
1498cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 213);			\
1499cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 231);			\
1500cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 312);			\
1501cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 321);
1502cae2ed9aSIngo Molnar 
1503cae2ed9aSIngo Molnar #define DO_TESTCASE_6x2B(desc, name)				\
1504cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 123);			\
1505cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 132);			\
1506cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 213);			\
1507cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 231);			\
1508cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 312);			\
1509cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 321);
1510cae2ed9aSIngo Molnar 
1511*8ef7ca75SBoqun Feng #define DO_TESTCASE_6x1RR(desc, name)				\
1512*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 123);			\
1513*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 132);			\
1514*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 213);			\
1515*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 231);			\
1516*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 312);			\
1517*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RR(desc, name, 321);
1518*8ef7ca75SBoqun Feng 
1519*8ef7ca75SBoqun Feng #define DO_TESTCASE_6x1RRB(desc, name)				\
1520*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 123);			\
1521*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 132);			\
1522*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 213);			\
1523*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 231);			\
1524*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 312);			\
1525*8ef7ca75SBoqun Feng 	DO_TESTCASE_1RRB(desc, name, 321);
1526*8ef7ca75SBoqun Feng 
1527cae2ed9aSIngo Molnar #define DO_TESTCASE_6x6(desc, name)				\
1528cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 123);			\
1529cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 132);			\
1530cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 213);			\
1531cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 231);			\
1532cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 312);			\
1533cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 321);
1534cae2ed9aSIngo Molnar 
1535cae2ed9aSIngo Molnar #define DO_TESTCASE_6x6RW(desc, name)				\
1536cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 123);			\
1537cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 132);			\
1538cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 213);			\
1539cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 231);			\
1540cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 312);			\
1541cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 321);
1542cae2ed9aSIngo Molnar 
15431de99445SMaarten Lankhorst static void ww_test_fail_acquire(void)
15441de99445SMaarten Lankhorst {
15451de99445SMaarten Lankhorst 	int ret;
15461de99445SMaarten Lankhorst 
15471de99445SMaarten Lankhorst 	WWAI(&t);
15481de99445SMaarten Lankhorst 	t.stamp++;
15491de99445SMaarten Lankhorst 
15501de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
15511de99445SMaarten Lankhorst 
15521de99445SMaarten Lankhorst 	if (WARN_ON(!o.ctx) ||
15531de99445SMaarten Lankhorst 	    WARN_ON(ret))
15541de99445SMaarten Lankhorst 		return;
15551de99445SMaarten Lankhorst 
15561de99445SMaarten Lankhorst 	/* No lockdep test, pure API */
15571de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
15581de99445SMaarten Lankhorst 	WARN_ON(ret != -EALREADY);
15591de99445SMaarten Lankhorst 
15601de99445SMaarten Lankhorst 	ret = WWT(&o);
15611de99445SMaarten Lankhorst 	WARN_ON(ret);
15621de99445SMaarten Lankhorst 
15631de99445SMaarten Lankhorst 	t2 = t;
15641de99445SMaarten Lankhorst 	t2.stamp++;
15651de99445SMaarten Lankhorst 	ret = WWL(&o, &t2);
15661de99445SMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
15671de99445SMaarten Lankhorst 	WWU(&o);
15681de99445SMaarten Lankhorst 
15691de99445SMaarten Lankhorst 	if (WWT(&o))
15701de99445SMaarten Lankhorst 		WWU(&o);
15711de99445SMaarten Lankhorst #ifdef CONFIG_DEBUG_LOCK_ALLOC
15721de99445SMaarten Lankhorst 	else
15731de99445SMaarten Lankhorst 		DEBUG_LOCKS_WARN_ON(1);
15741de99445SMaarten Lankhorst #endif
15751de99445SMaarten Lankhorst }
15761de99445SMaarten Lankhorst 
15772fe3d4b1SMaarten Lankhorst static void ww_test_normal(void)
15782fe3d4b1SMaarten Lankhorst {
15792fe3d4b1SMaarten Lankhorst 	int ret;
15802fe3d4b1SMaarten Lankhorst 
15812fe3d4b1SMaarten Lankhorst 	WWAI(&t);
15822fe3d4b1SMaarten Lankhorst 
15832fe3d4b1SMaarten Lankhorst 	/*
15842fe3d4b1SMaarten Lankhorst 	 * None of the ww_mutex codepaths should be taken in the 'normal'
15852fe3d4b1SMaarten Lankhorst 	 * mutex calls. The easiest way to verify this is by using the
15862fe3d4b1SMaarten Lankhorst 	 * normal mutex calls, and making sure o.ctx is unmodified.
15872fe3d4b1SMaarten Lankhorst 	 */
15882fe3d4b1SMaarten Lankhorst 
15892fe3d4b1SMaarten Lankhorst 	/* mutex_lock (and indirectly, mutex_lock_nested) */
15902fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
15912fe3d4b1SMaarten Lankhorst 	mutex_lock(&o.base);
15922fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
15932fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
15942fe3d4b1SMaarten Lankhorst 
15952fe3d4b1SMaarten Lankhorst 	/* mutex_lock_interruptible (and *_nested) */
15962fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
15972fe3d4b1SMaarten Lankhorst 	ret = mutex_lock_interruptible(&o.base);
15982fe3d4b1SMaarten Lankhorst 	if (!ret)
15992fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
16002fe3d4b1SMaarten Lankhorst 	else
16012fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
16022fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
16032fe3d4b1SMaarten Lankhorst 
16042fe3d4b1SMaarten Lankhorst 	/* mutex_lock_killable (and *_nested) */
16052fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
16062fe3d4b1SMaarten Lankhorst 	ret = mutex_lock_killable(&o.base);
16072fe3d4b1SMaarten Lankhorst 	if (!ret)
16082fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
16092fe3d4b1SMaarten Lankhorst 	else
16102fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
16112fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
16122fe3d4b1SMaarten Lankhorst 
16132fe3d4b1SMaarten Lankhorst 	/* trylock, succeeding */
16142fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
16152fe3d4b1SMaarten Lankhorst 	ret = mutex_trylock(&o.base);
16162fe3d4b1SMaarten Lankhorst 	WARN_ON(!ret);
16172fe3d4b1SMaarten Lankhorst 	if (ret)
16182fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
16192fe3d4b1SMaarten Lankhorst 	else
16202fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
16212fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
16222fe3d4b1SMaarten Lankhorst 
16232fe3d4b1SMaarten Lankhorst 	/* trylock, failing */
16242fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
16252fe3d4b1SMaarten Lankhorst 	mutex_lock(&o.base);
16262fe3d4b1SMaarten Lankhorst 	ret = mutex_trylock(&o.base);
16272fe3d4b1SMaarten Lankhorst 	WARN_ON(ret);
16282fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
16292fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
16302fe3d4b1SMaarten Lankhorst 
16312fe3d4b1SMaarten Lankhorst 	/* nest_lock */
16322fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
16332fe3d4b1SMaarten Lankhorst 	mutex_lock_nest_lock(&o.base, &t);
16342fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
16352fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
16362fe3d4b1SMaarten Lankhorst }
16372fe3d4b1SMaarten Lankhorst 
16381de99445SMaarten Lankhorst static void ww_test_two_contexts(void)
16391de99445SMaarten Lankhorst {
16401de99445SMaarten Lankhorst 	WWAI(&t);
16411de99445SMaarten Lankhorst 	WWAI(&t2);
16421de99445SMaarten Lankhorst }
16431de99445SMaarten Lankhorst 
16441de99445SMaarten Lankhorst static void ww_test_diff_class(void)
16451de99445SMaarten Lankhorst {
16461de99445SMaarten Lankhorst 	WWAI(&t);
16471de99445SMaarten Lankhorst #ifdef CONFIG_DEBUG_MUTEXES
16481de99445SMaarten Lankhorst 	t.ww_class = NULL;
16491de99445SMaarten Lankhorst #endif
16501de99445SMaarten Lankhorst 	WWL(&o, &t);
16511de99445SMaarten Lankhorst }
16521de99445SMaarten Lankhorst 
16531de99445SMaarten Lankhorst static void ww_test_context_done_twice(void)
16541de99445SMaarten Lankhorst {
16551de99445SMaarten Lankhorst 	WWAI(&t);
16561de99445SMaarten Lankhorst 	WWAD(&t);
16571de99445SMaarten Lankhorst 	WWAD(&t);
16581de99445SMaarten Lankhorst 	WWAF(&t);
16591de99445SMaarten Lankhorst }
16601de99445SMaarten Lankhorst 
16611de99445SMaarten Lankhorst static void ww_test_context_unlock_twice(void)
16621de99445SMaarten Lankhorst {
16631de99445SMaarten Lankhorst 	WWAI(&t);
16641de99445SMaarten Lankhorst 	WWAD(&t);
16651de99445SMaarten Lankhorst 	WWAF(&t);
16661de99445SMaarten Lankhorst 	WWAF(&t);
16671de99445SMaarten Lankhorst }
16681de99445SMaarten Lankhorst 
16691de99445SMaarten Lankhorst static void ww_test_context_fini_early(void)
16701de99445SMaarten Lankhorst {
16711de99445SMaarten Lankhorst 	WWAI(&t);
16721de99445SMaarten Lankhorst 	WWL(&o, &t);
16731de99445SMaarten Lankhorst 	WWAD(&t);
16741de99445SMaarten Lankhorst 	WWAF(&t);
16751de99445SMaarten Lankhorst }
16761de99445SMaarten Lankhorst 
16771de99445SMaarten Lankhorst static void ww_test_context_lock_after_done(void)
16781de99445SMaarten Lankhorst {
16791de99445SMaarten Lankhorst 	WWAI(&t);
16801de99445SMaarten Lankhorst 	WWAD(&t);
16811de99445SMaarten Lankhorst 	WWL(&o, &t);
16821de99445SMaarten Lankhorst }
16831de99445SMaarten Lankhorst 
16841de99445SMaarten Lankhorst static void ww_test_object_unlock_twice(void)
16851de99445SMaarten Lankhorst {
16861de99445SMaarten Lankhorst 	WWL1(&o);
16871de99445SMaarten Lankhorst 	WWU(&o);
16881de99445SMaarten Lankhorst 	WWU(&o);
16891de99445SMaarten Lankhorst }
16901de99445SMaarten Lankhorst 
16911de99445SMaarten Lankhorst static void ww_test_object_lock_unbalanced(void)
16921de99445SMaarten Lankhorst {
16931de99445SMaarten Lankhorst 	WWAI(&t);
16941de99445SMaarten Lankhorst 	WWL(&o, &t);
16951de99445SMaarten Lankhorst 	t.acquired = 0;
16961de99445SMaarten Lankhorst 	WWU(&o);
16971de99445SMaarten Lankhorst 	WWAF(&t);
16981de99445SMaarten Lankhorst }
16991de99445SMaarten Lankhorst 
17001de99445SMaarten Lankhorst static void ww_test_object_lock_stale_context(void)
17011de99445SMaarten Lankhorst {
17021de99445SMaarten Lankhorst 	WWAI(&t);
17031de99445SMaarten Lankhorst 	o.ctx = &t2;
17041de99445SMaarten Lankhorst 	WWL(&o, &t);
17051de99445SMaarten Lankhorst }
17061de99445SMaarten Lankhorst 
1707f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_normal(void)
1708f3cf139eSMaarten Lankhorst {
1709f3cf139eSMaarten Lankhorst 	int ret;
1710f3cf139eSMaarten Lankhorst 
1711f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1712f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
17135facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1714f3cf139eSMaarten Lankhorst 
1715f3cf139eSMaarten Lankhorst 	WWAI(&t);
1716f3cf139eSMaarten Lankhorst 	t2 = t;
1717f3cf139eSMaarten Lankhorst 	t2.stamp--;
1718f3cf139eSMaarten Lankhorst 
1719f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1720f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1721f3cf139eSMaarten Lankhorst 
1722f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1723f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1724f3cf139eSMaarten Lankhorst 
1725f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1726f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1727f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1728f3cf139eSMaarten Lankhorst 	WWU(&o);
1729f3cf139eSMaarten Lankhorst 
1730f3cf139eSMaarten Lankhorst 	WWL(&o2, &t);
1731f3cf139eSMaarten Lankhorst }
1732f3cf139eSMaarten Lankhorst 
1733f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_normal_slow(void)
1734f3cf139eSMaarten Lankhorst {
1735f3cf139eSMaarten Lankhorst 	int ret;
1736f3cf139eSMaarten Lankhorst 
1737f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
17385facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1739f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1740f3cf139eSMaarten Lankhorst 
1741f3cf139eSMaarten Lankhorst 	WWAI(&t);
1742f3cf139eSMaarten Lankhorst 	t2 = t;
1743f3cf139eSMaarten Lankhorst 	t2.stamp--;
1744f3cf139eSMaarten Lankhorst 
1745f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1746f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1747f3cf139eSMaarten Lankhorst 
1748f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1749f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1750f3cf139eSMaarten Lankhorst 
1751f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1752f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1753f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1754f3cf139eSMaarten Lankhorst 	WWU(&o);
1755f3cf139eSMaarten Lankhorst 
1756f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o2, &t);
1757f3cf139eSMaarten Lankhorst }
1758f3cf139eSMaarten Lankhorst 
1759f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_no_unlock(void)
1760f3cf139eSMaarten Lankhorst {
1761f3cf139eSMaarten Lankhorst 	int ret;
1762f3cf139eSMaarten Lankhorst 
1763f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1764f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
17655facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1766f3cf139eSMaarten Lankhorst 
1767f3cf139eSMaarten Lankhorst 	WWAI(&t);
1768f3cf139eSMaarten Lankhorst 	t2 = t;
1769f3cf139eSMaarten Lankhorst 	t2.stamp--;
1770f3cf139eSMaarten Lankhorst 
1771f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1772f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1773f3cf139eSMaarten Lankhorst 
1774f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1775f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1776f3cf139eSMaarten Lankhorst 
1777f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1778f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1779f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1780f3cf139eSMaarten Lankhorst 
1781f3cf139eSMaarten Lankhorst 	WWL(&o2, &t);
1782f3cf139eSMaarten Lankhorst }
1783f3cf139eSMaarten Lankhorst 
1784f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_no_unlock_slow(void)
1785f3cf139eSMaarten Lankhorst {
1786f3cf139eSMaarten Lankhorst 	int ret;
1787f3cf139eSMaarten Lankhorst 
1788f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
17895facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1790f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
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 
1806f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o2, &t);
1807f3cf139eSMaarten Lankhorst }
1808f3cf139eSMaarten Lankhorst 
1809f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more(void)
1810f3cf139eSMaarten Lankhorst {
1811f3cf139eSMaarten Lankhorst 	int ret;
1812f3cf139eSMaarten Lankhorst 
1813f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
18145facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1815f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1816f3cf139eSMaarten Lankhorst 
1817f3cf139eSMaarten Lankhorst 	WWAI(&t);
1818f3cf139eSMaarten Lankhorst 	t2 = t;
1819f3cf139eSMaarten Lankhorst 	t2.stamp--;
1820f3cf139eSMaarten Lankhorst 
1821f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1822f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1823f3cf139eSMaarten Lankhorst 
1824f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1825f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1826f3cf139eSMaarten Lankhorst 
1827f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1828f3cf139eSMaarten Lankhorst }
1829f3cf139eSMaarten Lankhorst 
1830f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_slow(void)
1831f3cf139eSMaarten Lankhorst {
1832f3cf139eSMaarten Lankhorst 	int ret;
1833f3cf139eSMaarten Lankhorst 
1834f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
18355facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1836f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1837f3cf139eSMaarten Lankhorst 
1838f3cf139eSMaarten Lankhorst 	WWAI(&t);
1839f3cf139eSMaarten Lankhorst 	t2 = t;
1840f3cf139eSMaarten Lankhorst 	t2.stamp--;
1841f3cf139eSMaarten Lankhorst 
1842f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1843f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1844f3cf139eSMaarten Lankhorst 
1845f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1846f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1847f3cf139eSMaarten Lankhorst 
1848f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1849f3cf139eSMaarten Lankhorst }
1850f3cf139eSMaarten Lankhorst 
1851f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_edeadlk(void)
1852f3cf139eSMaarten Lankhorst {
1853f3cf139eSMaarten Lankhorst 	int ret;
1854f3cf139eSMaarten Lankhorst 
1855f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
18565facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1857f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1858f3cf139eSMaarten Lankhorst 
1859f3cf139eSMaarten Lankhorst 	mutex_lock(&o3.base);
18605facae4fSQian Cai 	mutex_release(&o3.base.dep_map, _THIS_IP_);
1861f3cf139eSMaarten Lankhorst 	o3.ctx = &t2;
1862f3cf139eSMaarten Lankhorst 
1863f3cf139eSMaarten Lankhorst 	WWAI(&t);
1864f3cf139eSMaarten Lankhorst 	t2 = t;
1865f3cf139eSMaarten Lankhorst 	t2.stamp--;
1866f3cf139eSMaarten Lankhorst 
1867f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1868f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1869f3cf139eSMaarten Lankhorst 
1870f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1871f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1872f3cf139eSMaarten Lankhorst 
1873f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1874f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1875f3cf139eSMaarten Lankhorst }
1876f3cf139eSMaarten Lankhorst 
1877f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_edeadlk_slow(void)
1878f3cf139eSMaarten Lankhorst {
1879f3cf139eSMaarten Lankhorst 	int ret;
1880f3cf139eSMaarten Lankhorst 
1881f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
18825facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1883f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1884f3cf139eSMaarten Lankhorst 
1885f3cf139eSMaarten Lankhorst 	mutex_lock(&o3.base);
18865facae4fSQian Cai 	mutex_release(&o3.base.dep_map, _THIS_IP_);
1887f3cf139eSMaarten Lankhorst 	o3.ctx = &t2;
1888f3cf139eSMaarten Lankhorst 
1889f3cf139eSMaarten Lankhorst 	WWAI(&t);
1890f3cf139eSMaarten Lankhorst 	t2 = t;
1891f3cf139eSMaarten Lankhorst 	t2.stamp--;
1892f3cf139eSMaarten Lankhorst 
1893f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1894f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1895f3cf139eSMaarten Lankhorst 
1896f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1897f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1898f3cf139eSMaarten Lankhorst 
1899f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1900f3cf139eSMaarten Lankhorst }
1901f3cf139eSMaarten Lankhorst 
1902f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_wrong(void)
1903f3cf139eSMaarten Lankhorst {
1904f3cf139eSMaarten Lankhorst 	int ret;
1905f3cf139eSMaarten Lankhorst 
1906f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
19075facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1908f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1909f3cf139eSMaarten Lankhorst 
1910f3cf139eSMaarten Lankhorst 	WWAI(&t);
1911f3cf139eSMaarten Lankhorst 	t2 = t;
1912f3cf139eSMaarten Lankhorst 	t2.stamp--;
1913f3cf139eSMaarten Lankhorst 
1914f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1915f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1916f3cf139eSMaarten Lankhorst 
1917f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1918f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1919f3cf139eSMaarten Lankhorst 	if (!ret)
1920f3cf139eSMaarten Lankhorst 		WWU(&o2);
1921f3cf139eSMaarten Lankhorst 
1922f3cf139eSMaarten Lankhorst 	WWU(&o);
1923f3cf139eSMaarten Lankhorst 
1924f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1925f3cf139eSMaarten Lankhorst }
1926f3cf139eSMaarten Lankhorst 
1927f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_wrong_slow(void)
1928f3cf139eSMaarten Lankhorst {
1929f3cf139eSMaarten Lankhorst 	int ret;
1930f3cf139eSMaarten Lankhorst 
1931f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
19325facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1933f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1934f3cf139eSMaarten Lankhorst 
1935f3cf139eSMaarten Lankhorst 	WWAI(&t);
1936f3cf139eSMaarten Lankhorst 	t2 = t;
1937f3cf139eSMaarten Lankhorst 	t2.stamp--;
1938f3cf139eSMaarten Lankhorst 
1939f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1940f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1941f3cf139eSMaarten Lankhorst 
1942f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1943f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1944f3cf139eSMaarten Lankhorst 	if (!ret)
1945f3cf139eSMaarten Lankhorst 		WWU(&o2);
1946f3cf139eSMaarten Lankhorst 
1947f3cf139eSMaarten Lankhorst 	WWU(&o);
1948f3cf139eSMaarten Lankhorst 
1949f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1950f3cf139eSMaarten Lankhorst }
1951f3cf139eSMaarten Lankhorst 
19521de99445SMaarten Lankhorst static void ww_test_spin_nest_unlocked(void)
19531de99445SMaarten Lankhorst {
19541de99445SMaarten Lankhorst 	raw_spin_lock_nest_lock(&lock_A, &o.base);
19551de99445SMaarten Lankhorst 	U(A);
19561de99445SMaarten Lankhorst }
19571de99445SMaarten Lankhorst 
19581de99445SMaarten Lankhorst static void ww_test_unneeded_slow(void)
19591de99445SMaarten Lankhorst {
19601de99445SMaarten Lankhorst 	WWAI(&t);
19611de99445SMaarten Lankhorst 
19621de99445SMaarten Lankhorst 	ww_mutex_lock_slow(&o, &t);
19631de99445SMaarten Lankhorst }
19641de99445SMaarten Lankhorst 
19651de99445SMaarten Lankhorst static void ww_test_context_block(void)
19661de99445SMaarten Lankhorst {
19671de99445SMaarten Lankhorst 	int ret;
19681de99445SMaarten Lankhorst 
19691de99445SMaarten Lankhorst 	WWAI(&t);
19701de99445SMaarten Lankhorst 
19711de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
19721de99445SMaarten Lankhorst 	WARN_ON(ret);
19731de99445SMaarten Lankhorst 	WWL1(&o2);
19741de99445SMaarten Lankhorst }
19751de99445SMaarten Lankhorst 
19761de99445SMaarten Lankhorst static void ww_test_context_try(void)
19771de99445SMaarten Lankhorst {
19781de99445SMaarten Lankhorst 	int ret;
19791de99445SMaarten Lankhorst 
19801de99445SMaarten Lankhorst 	WWAI(&t);
19811de99445SMaarten Lankhorst 
19821de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
19831de99445SMaarten Lankhorst 	WARN_ON(ret);
19841de99445SMaarten Lankhorst 
19851de99445SMaarten Lankhorst 	ret = WWT(&o2);
19861de99445SMaarten Lankhorst 	WARN_ON(!ret);
19871de99445SMaarten Lankhorst 	WWU(&o2);
19881de99445SMaarten Lankhorst 	WWU(&o);
19891de99445SMaarten Lankhorst }
19901de99445SMaarten Lankhorst 
19911de99445SMaarten Lankhorst static void ww_test_context_context(void)
19921de99445SMaarten Lankhorst {
19931de99445SMaarten Lankhorst 	int ret;
19941de99445SMaarten Lankhorst 
19951de99445SMaarten Lankhorst 	WWAI(&t);
19961de99445SMaarten Lankhorst 
19971de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
19981de99445SMaarten Lankhorst 	WARN_ON(ret);
19991de99445SMaarten Lankhorst 
20001de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
20011de99445SMaarten Lankhorst 	WARN_ON(ret);
20021de99445SMaarten Lankhorst 
20031de99445SMaarten Lankhorst 	WWU(&o2);
20041de99445SMaarten Lankhorst 	WWU(&o);
20051de99445SMaarten Lankhorst }
20061de99445SMaarten Lankhorst 
20071de99445SMaarten Lankhorst static void ww_test_try_block(void)
20081de99445SMaarten Lankhorst {
20091de99445SMaarten Lankhorst 	bool ret;
20101de99445SMaarten Lankhorst 
20111de99445SMaarten Lankhorst 	ret = WWT(&o);
20121de99445SMaarten Lankhorst 	WARN_ON(!ret);
20131de99445SMaarten Lankhorst 
20141de99445SMaarten Lankhorst 	WWL1(&o2);
20151de99445SMaarten Lankhorst 	WWU(&o2);
20161de99445SMaarten Lankhorst 	WWU(&o);
20171de99445SMaarten Lankhorst }
20181de99445SMaarten Lankhorst 
20191de99445SMaarten Lankhorst static void ww_test_try_try(void)
20201de99445SMaarten Lankhorst {
20211de99445SMaarten Lankhorst 	bool ret;
20221de99445SMaarten Lankhorst 
20231de99445SMaarten Lankhorst 	ret = WWT(&o);
20241de99445SMaarten Lankhorst 	WARN_ON(!ret);
20251de99445SMaarten Lankhorst 	ret = WWT(&o2);
20261de99445SMaarten Lankhorst 	WARN_ON(!ret);
20271de99445SMaarten Lankhorst 	WWU(&o2);
20281de99445SMaarten Lankhorst 	WWU(&o);
20291de99445SMaarten Lankhorst }
20301de99445SMaarten Lankhorst 
20311de99445SMaarten Lankhorst static void ww_test_try_context(void)
20321de99445SMaarten Lankhorst {
20331de99445SMaarten Lankhorst 	int ret;
20341de99445SMaarten Lankhorst 
20351de99445SMaarten Lankhorst 	ret = WWT(&o);
20361de99445SMaarten Lankhorst 	WARN_ON(!ret);
20371de99445SMaarten Lankhorst 
20381de99445SMaarten Lankhorst 	WWAI(&t);
20391de99445SMaarten Lankhorst 
20401de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
20411de99445SMaarten Lankhorst 	WARN_ON(ret);
20421de99445SMaarten Lankhorst }
20431de99445SMaarten Lankhorst 
20441de99445SMaarten Lankhorst static void ww_test_block_block(void)
20451de99445SMaarten Lankhorst {
20461de99445SMaarten Lankhorst 	WWL1(&o);
20471de99445SMaarten Lankhorst 	WWL1(&o2);
20481de99445SMaarten Lankhorst }
20491de99445SMaarten Lankhorst 
20501de99445SMaarten Lankhorst static void ww_test_block_try(void)
20511de99445SMaarten Lankhorst {
20521de99445SMaarten Lankhorst 	bool ret;
20531de99445SMaarten Lankhorst 
20541de99445SMaarten Lankhorst 	WWL1(&o);
20551de99445SMaarten Lankhorst 	ret = WWT(&o2);
20561de99445SMaarten Lankhorst 	WARN_ON(!ret);
20571de99445SMaarten Lankhorst }
20581de99445SMaarten Lankhorst 
20591de99445SMaarten Lankhorst static void ww_test_block_context(void)
20601de99445SMaarten Lankhorst {
20611de99445SMaarten Lankhorst 	int ret;
20621de99445SMaarten Lankhorst 
20631de99445SMaarten Lankhorst 	WWL1(&o);
20641de99445SMaarten Lankhorst 	WWAI(&t);
20651de99445SMaarten Lankhorst 
20661de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
20671de99445SMaarten Lankhorst 	WARN_ON(ret);
20681de99445SMaarten Lankhorst }
20691de99445SMaarten Lankhorst 
20701de99445SMaarten Lankhorst static void ww_test_spin_block(void)
20711de99445SMaarten Lankhorst {
20721de99445SMaarten Lankhorst 	L(A);
20731de99445SMaarten Lankhorst 	U(A);
20741de99445SMaarten Lankhorst 
20751de99445SMaarten Lankhorst 	WWL1(&o);
20761de99445SMaarten Lankhorst 	L(A);
20771de99445SMaarten Lankhorst 	U(A);
20781de99445SMaarten Lankhorst 	WWU(&o);
20791de99445SMaarten Lankhorst 
20801de99445SMaarten Lankhorst 	L(A);
20811de99445SMaarten Lankhorst 	WWL1(&o);
20821de99445SMaarten Lankhorst 	WWU(&o);
20831de99445SMaarten Lankhorst 	U(A);
20841de99445SMaarten Lankhorst }
20851de99445SMaarten Lankhorst 
20861de99445SMaarten Lankhorst static void ww_test_spin_try(void)
20871de99445SMaarten Lankhorst {
20881de99445SMaarten Lankhorst 	bool ret;
20891de99445SMaarten Lankhorst 
20901de99445SMaarten Lankhorst 	L(A);
20911de99445SMaarten Lankhorst 	U(A);
20921de99445SMaarten Lankhorst 
20931de99445SMaarten Lankhorst 	ret = WWT(&o);
20941de99445SMaarten Lankhorst 	WARN_ON(!ret);
20951de99445SMaarten Lankhorst 	L(A);
20961de99445SMaarten Lankhorst 	U(A);
20971de99445SMaarten Lankhorst 	WWU(&o);
20981de99445SMaarten Lankhorst 
20991de99445SMaarten Lankhorst 	L(A);
21001de99445SMaarten Lankhorst 	ret = WWT(&o);
21011de99445SMaarten Lankhorst 	WARN_ON(!ret);
21021de99445SMaarten Lankhorst 	WWU(&o);
21031de99445SMaarten Lankhorst 	U(A);
21041de99445SMaarten Lankhorst }
21051de99445SMaarten Lankhorst 
21061de99445SMaarten Lankhorst static void ww_test_spin_context(void)
21071de99445SMaarten Lankhorst {
21081de99445SMaarten Lankhorst 	int ret;
21091de99445SMaarten Lankhorst 
21101de99445SMaarten Lankhorst 	L(A);
21111de99445SMaarten Lankhorst 	U(A);
21121de99445SMaarten Lankhorst 
21131de99445SMaarten Lankhorst 	WWAI(&t);
21141de99445SMaarten Lankhorst 
21151de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
21161de99445SMaarten Lankhorst 	WARN_ON(ret);
21171de99445SMaarten Lankhorst 	L(A);
21181de99445SMaarten Lankhorst 	U(A);
21191de99445SMaarten Lankhorst 	WWU(&o);
21201de99445SMaarten Lankhorst 
21211de99445SMaarten Lankhorst 	L(A);
21221de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
21231de99445SMaarten Lankhorst 	WARN_ON(ret);
21241de99445SMaarten Lankhorst 	WWU(&o);
21251de99445SMaarten Lankhorst 	U(A);
21261de99445SMaarten Lankhorst }
21271de99445SMaarten Lankhorst 
21281de99445SMaarten Lankhorst static void ww_tests(void)
21291de99445SMaarten Lankhorst {
21301de99445SMaarten Lankhorst 	printk("  --------------------------------------------------------------------------\n");
21311de99445SMaarten Lankhorst 	printk("  | Wound/wait tests |\n");
21321de99445SMaarten Lankhorst 	printk("  ---------------------\n");
21331de99445SMaarten Lankhorst 
21341de99445SMaarten Lankhorst 	print_testname("ww api failures");
21351de99445SMaarten Lankhorst 	dotest(ww_test_fail_acquire, SUCCESS, LOCKTYPE_WW);
21362fe3d4b1SMaarten Lankhorst 	dotest(ww_test_normal, SUCCESS, LOCKTYPE_WW);
21371de99445SMaarten Lankhorst 	dotest(ww_test_unneeded_slow, FAILURE, LOCKTYPE_WW);
213825139409SMichael Ellerman 	pr_cont("\n");
21391de99445SMaarten Lankhorst 
21401de99445SMaarten Lankhorst 	print_testname("ww contexts mixing");
21411de99445SMaarten Lankhorst 	dotest(ww_test_two_contexts, FAILURE, LOCKTYPE_WW);
21421de99445SMaarten Lankhorst 	dotest(ww_test_diff_class, FAILURE, LOCKTYPE_WW);
214325139409SMichael Ellerman 	pr_cont("\n");
21441de99445SMaarten Lankhorst 
21451de99445SMaarten Lankhorst 	print_testname("finishing ww context");
21461de99445SMaarten Lankhorst 	dotest(ww_test_context_done_twice, FAILURE, LOCKTYPE_WW);
21471de99445SMaarten Lankhorst 	dotest(ww_test_context_unlock_twice, FAILURE, LOCKTYPE_WW);
21481de99445SMaarten Lankhorst 	dotest(ww_test_context_fini_early, FAILURE, LOCKTYPE_WW);
21491de99445SMaarten Lankhorst 	dotest(ww_test_context_lock_after_done, FAILURE, LOCKTYPE_WW);
215025139409SMichael Ellerman 	pr_cont("\n");
21511de99445SMaarten Lankhorst 
21521de99445SMaarten Lankhorst 	print_testname("locking mismatches");
21531de99445SMaarten Lankhorst 	dotest(ww_test_object_unlock_twice, FAILURE, LOCKTYPE_WW);
21541de99445SMaarten Lankhorst 	dotest(ww_test_object_lock_unbalanced, FAILURE, LOCKTYPE_WW);
21551de99445SMaarten Lankhorst 	dotest(ww_test_object_lock_stale_context, FAILURE, LOCKTYPE_WW);
215625139409SMichael Ellerman 	pr_cont("\n");
21571de99445SMaarten Lankhorst 
2158f3cf139eSMaarten Lankhorst 	print_testname("EDEADLK handling");
2159f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_normal, SUCCESS, LOCKTYPE_WW);
2160f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_normal_slow, SUCCESS, LOCKTYPE_WW);
2161f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_no_unlock, FAILURE, LOCKTYPE_WW);
2162f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_no_unlock_slow, FAILURE, LOCKTYPE_WW);
2163f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more, FAILURE, LOCKTYPE_WW);
2164f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_slow, FAILURE, LOCKTYPE_WW);
2165f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_edeadlk, FAILURE, LOCKTYPE_WW);
2166f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_edeadlk_slow, FAILURE, LOCKTYPE_WW);
2167f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_wrong, FAILURE, LOCKTYPE_WW);
2168f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_wrong_slow, FAILURE, LOCKTYPE_WW);
216925139409SMichael Ellerman 	pr_cont("\n");
2170f3cf139eSMaarten Lankhorst 
21711de99445SMaarten Lankhorst 	print_testname("spinlock nest unlocked");
21721de99445SMaarten Lankhorst 	dotest(ww_test_spin_nest_unlocked, FAILURE, LOCKTYPE_WW);
217325139409SMichael Ellerman 	pr_cont("\n");
21741de99445SMaarten Lankhorst 
21751de99445SMaarten Lankhorst 	printk("  -----------------------------------------------------\n");
21761de99445SMaarten Lankhorst 	printk("                                 |block | try  |context|\n");
21771de99445SMaarten Lankhorst 	printk("  -----------------------------------------------------\n");
21781de99445SMaarten Lankhorst 
21791de99445SMaarten Lankhorst 	print_testname("context");
21801de99445SMaarten Lankhorst 	dotest(ww_test_context_block, FAILURE, LOCKTYPE_WW);
21811de99445SMaarten Lankhorst 	dotest(ww_test_context_try, SUCCESS, LOCKTYPE_WW);
21821de99445SMaarten Lankhorst 	dotest(ww_test_context_context, SUCCESS, LOCKTYPE_WW);
218325139409SMichael Ellerman 	pr_cont("\n");
21841de99445SMaarten Lankhorst 
21851de99445SMaarten Lankhorst 	print_testname("try");
21861de99445SMaarten Lankhorst 	dotest(ww_test_try_block, FAILURE, LOCKTYPE_WW);
21871de99445SMaarten Lankhorst 	dotest(ww_test_try_try, SUCCESS, LOCKTYPE_WW);
21881de99445SMaarten Lankhorst 	dotest(ww_test_try_context, FAILURE, LOCKTYPE_WW);
218925139409SMichael Ellerman 	pr_cont("\n");
21901de99445SMaarten Lankhorst 
21911de99445SMaarten Lankhorst 	print_testname("block");
21921de99445SMaarten Lankhorst 	dotest(ww_test_block_block, FAILURE, LOCKTYPE_WW);
21931de99445SMaarten Lankhorst 	dotest(ww_test_block_try, SUCCESS, LOCKTYPE_WW);
21941de99445SMaarten Lankhorst 	dotest(ww_test_block_context, FAILURE, LOCKTYPE_WW);
219525139409SMichael Ellerman 	pr_cont("\n");
21961de99445SMaarten Lankhorst 
21971de99445SMaarten Lankhorst 	print_testname("spinlock");
21981de99445SMaarten Lankhorst 	dotest(ww_test_spin_block, FAILURE, LOCKTYPE_WW);
21991de99445SMaarten Lankhorst 	dotest(ww_test_spin_try, SUCCESS, LOCKTYPE_WW);
22001de99445SMaarten Lankhorst 	dotest(ww_test_spin_context, FAILURE, LOCKTYPE_WW);
220125139409SMichael Ellerman 	pr_cont("\n");
22021de99445SMaarten Lankhorst }
2203cae2ed9aSIngo Molnar 
2204cae2ed9aSIngo Molnar void locking_selftest(void)
2205cae2ed9aSIngo Molnar {
2206cae2ed9aSIngo Molnar 	/*
2207cae2ed9aSIngo Molnar 	 * Got a locking failure before the selftest ran?
2208cae2ed9aSIngo Molnar 	 */
2209cae2ed9aSIngo Molnar 	if (!debug_locks) {
2210cae2ed9aSIngo Molnar 		printk("----------------------------------\n");
2211cae2ed9aSIngo Molnar 		printk("| Locking API testsuite disabled |\n");
2212cae2ed9aSIngo Molnar 		printk("----------------------------------\n");
2213cae2ed9aSIngo Molnar 		return;
2214cae2ed9aSIngo Molnar 	}
2215cae2ed9aSIngo Molnar 
2216cae2ed9aSIngo Molnar 	/*
2217e9181886SBoqun Feng 	 * treats read_lock() as recursive read locks for testing purpose
2218e9181886SBoqun Feng 	 */
2219e9181886SBoqun Feng 	force_read_lock_recursive = 1;
2220e9181886SBoqun Feng 
2221e9181886SBoqun Feng 	/*
2222cae2ed9aSIngo Molnar 	 * Run the testsuite:
2223cae2ed9aSIngo Molnar 	 */
2224cae2ed9aSIngo Molnar 	printk("------------------------\n");
2225cae2ed9aSIngo Molnar 	printk("| Locking API testsuite:\n");
2226cae2ed9aSIngo Molnar 	printk("----------------------------------------------------------------------------\n");
2227cae2ed9aSIngo Molnar 	printk("                                 | spin |wlock |rlock |mutex | wsem | rsem |\n");
2228cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2229cae2ed9aSIngo Molnar 
2230cae2ed9aSIngo Molnar 	init_shared_classes();
2231cae2ed9aSIngo Molnar 	debug_locks_silent = !debug_locks_verbose;
2232cdc84d79SBart Van Assche 	lockdep_set_selftest_task(current);
2233cae2ed9aSIngo Molnar 
22346c9076ecSIngo Molnar 	DO_TESTCASE_6R("A-A deadlock", AA);
2235cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-A deadlock", ABBA);
2236cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-C-C-A deadlock", ABBCCA);
2237cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-A-B-C deadlock", ABCABC);
2238cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-C-C-D-D-A deadlock", ABBCCDDA);
2239cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-D-B-D-D-A deadlock", ABCDBDDA);
2240cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-D-B-C-D-A deadlock", ABCDBCDA);
2241cae2ed9aSIngo Molnar 	DO_TESTCASE_6("double unlock", double_unlock);
2242cae2ed9aSIngo Molnar 	DO_TESTCASE_6("initialize held", init_held);
2243cae2ed9aSIngo Molnar 
2244cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2245cae2ed9aSIngo Molnar 	print_testname("recursive read-lock");
224625139409SMichael Ellerman 	pr_cont("             |");
2247cae2ed9aSIngo Molnar 	dotest(rlock_AA1, SUCCESS, LOCKTYPE_RWLOCK);
224825139409SMichael Ellerman 	pr_cont("             |");
2249cae2ed9aSIngo Molnar 	dotest(rsem_AA1, FAILURE, LOCKTYPE_RWSEM);
225025139409SMichael Ellerman 	pr_cont("\n");
2251cae2ed9aSIngo Molnar 
2252cae2ed9aSIngo Molnar 	print_testname("recursive read-lock #2");
225325139409SMichael Ellerman 	pr_cont("             |");
22546c9076ecSIngo Molnar 	dotest(rlock_AA1B, SUCCESS, LOCKTYPE_RWLOCK);
225525139409SMichael Ellerman 	pr_cont("             |");
2256cae2ed9aSIngo Molnar 	dotest(rsem_AA1B, FAILURE, LOCKTYPE_RWSEM);
225725139409SMichael Ellerman 	pr_cont("\n");
2258cae2ed9aSIngo Molnar 
2259cae2ed9aSIngo Molnar 	print_testname("mixed read-write-lock");
226025139409SMichael Ellerman 	pr_cont("             |");
2261cae2ed9aSIngo Molnar 	dotest(rlock_AA2, FAILURE, LOCKTYPE_RWLOCK);
226225139409SMichael Ellerman 	pr_cont("             |");
2263cae2ed9aSIngo Molnar 	dotest(rsem_AA2, FAILURE, LOCKTYPE_RWSEM);
226425139409SMichael Ellerman 	pr_cont("\n");
2265cae2ed9aSIngo Molnar 
2266cae2ed9aSIngo Molnar 	print_testname("mixed write-read-lock");
226725139409SMichael Ellerman 	pr_cont("             |");
2268cae2ed9aSIngo Molnar 	dotest(rlock_AA3, FAILURE, LOCKTYPE_RWLOCK);
226925139409SMichael Ellerman 	pr_cont("             |");
2270cae2ed9aSIngo Molnar 	dotest(rsem_AA3, FAILURE, LOCKTYPE_RWSEM);
227125139409SMichael Ellerman 	pr_cont("\n");
2272cae2ed9aSIngo Molnar 
2273e9149858SPeter Zijlstra 	print_testname("mixed read-lock/lock-write ABBA");
2274e9149858SPeter Zijlstra 	pr_cont("             |");
2275e9149858SPeter Zijlstra 	dotest(rlock_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
2276c7e2f69dSPeter Zijlstra #ifdef CONFIG_PROVE_LOCKING
2277d82fed75SPeter Zijlstra 	/*
2278d82fed75SPeter Zijlstra 	 * Lockdep does indeed fail here, but there's nothing we can do about
2279d82fed75SPeter Zijlstra 	 * that now.  Don't kill lockdep for it.
2280d82fed75SPeter Zijlstra 	 */
2281d82fed75SPeter Zijlstra 	unexpected_testcase_failures--;
2282c7e2f69dSPeter Zijlstra #endif
2283d82fed75SPeter Zijlstra 
2284e9149858SPeter Zijlstra 	pr_cont("             |");
2285e9149858SPeter Zijlstra 	dotest(rwsem_ABBA1, FAILURE, LOCKTYPE_RWSEM);
2286e9149858SPeter Zijlstra 
2287e9149858SPeter Zijlstra 	print_testname("mixed read-lock/lock-read ABBA");
2288e9149858SPeter Zijlstra 	pr_cont("             |");
2289e9149858SPeter Zijlstra 	dotest(rlock_ABBA2, SUCCESS, LOCKTYPE_RWLOCK);
2290e9149858SPeter Zijlstra 	pr_cont("             |");
2291e9149858SPeter Zijlstra 	dotest(rwsem_ABBA2, FAILURE, LOCKTYPE_RWSEM);
2292e9149858SPeter Zijlstra 
2293e9149858SPeter Zijlstra 	print_testname("mixed write-lock/lock-write ABBA");
2294e9149858SPeter Zijlstra 	pr_cont("             |");
2295e9149858SPeter Zijlstra 	dotest(rlock_ABBA3, FAILURE, LOCKTYPE_RWLOCK);
2296e9149858SPeter Zijlstra 	pr_cont("             |");
2297e9149858SPeter Zijlstra 	dotest(rwsem_ABBA3, FAILURE, LOCKTYPE_RWSEM);
2298e9149858SPeter Zijlstra 
2299d4f200e5SBoqun Feng 	print_testname("chain cached mixed R-L/L-W ABBA");
2300d4f200e5SBoqun Feng 	pr_cont("             |");
2301d4f200e5SBoqun Feng 	dotest(rlock_chaincache_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
2302d4f200e5SBoqun Feng 
2303*8ef7ca75SBoqun Feng 	DO_TESTCASE_6x1RRB("rlock W1R2/W2R3/W3R1", W1R2_W2R3_W3R1);
2304*8ef7ca75SBoqun Feng 	DO_TESTCASE_6x1RRB("rlock W1W2/R2R3/W3R1", W1W2_R2R3_W3R1);
2305*8ef7ca75SBoqun Feng 	DO_TESTCASE_6x1RR("rlock W1W2/R2R3/R3W1", W1W2_R2R3_R3W1);
2306*8ef7ca75SBoqun Feng 	DO_TESTCASE_6x1RR("rlock W1R2/R2R3/W3W1", W1R2_R2R3_W3W1);
2307*8ef7ca75SBoqun Feng 
2308cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2309cae2ed9aSIngo Molnar 
2310cae2ed9aSIngo Molnar 	/*
2311cae2ed9aSIngo Molnar 	 * irq-context testcases:
2312cae2ed9aSIngo Molnar 	 */
2313cae2ed9aSIngo Molnar 	DO_TESTCASE_2x6("irqs-on + irq-safe-A", irqsafe1);
2314cae2ed9aSIngo Molnar 	DO_TESTCASE_2x3("sirq-safe-A => hirqs-on", irqsafe2A);
2315cae2ed9aSIngo Molnar 	DO_TESTCASE_2x6("safe-A + irqs-on", irqsafe2B);
2316cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6("safe-A + unsafe-B #1", irqsafe3);
2317cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6("safe-A + unsafe-B #2", irqsafe4);
2318cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6RW("irq lock-inversion", irq_inversion);
2319cae2ed9aSIngo Molnar 
232031e0d747SBoqun Feng 	DO_TESTCASE_6x2x2RW("irq read-recursion", irq_read_recursion);
232131e0d747SBoqun Feng 	DO_TESTCASE_6x2x2RW("irq read-recursion #2", irq_read_recursion2);
2322cae2ed9aSIngo Molnar 
23231de99445SMaarten Lankhorst 	ww_tests();
23241de99445SMaarten Lankhorst 
2325e9181886SBoqun Feng 	force_read_lock_recursive = 0;
2326e9181886SBoqun Feng 	/*
2327e9181886SBoqun Feng 	 * queued_read_lock() specific test cases can be put here
2328e9181886SBoqun Feng 	 */
2329e9181886SBoqun Feng 
2330cae2ed9aSIngo Molnar 	if (unexpected_testcase_failures) {
2331cae2ed9aSIngo Molnar 		printk("-----------------------------------------------------------------\n");
2332cae2ed9aSIngo Molnar 		debug_locks = 0;
2333cae2ed9aSIngo Molnar 		printk("BUG: %3d unexpected failures (out of %3d) - debugging disabled! |\n",
2334cae2ed9aSIngo Molnar 			unexpected_testcase_failures, testcase_total);
2335cae2ed9aSIngo Molnar 		printk("-----------------------------------------------------------------\n");
2336cae2ed9aSIngo Molnar 	} else if (expected_testcase_failures && testcase_successes) {
2337cae2ed9aSIngo Molnar 		printk("--------------------------------------------------------\n");
2338cae2ed9aSIngo Molnar 		printk("%3d out of %3d testcases failed, as expected. |\n",
2339cae2ed9aSIngo Molnar 			expected_testcase_failures, testcase_total);
2340cae2ed9aSIngo Molnar 		printk("----------------------------------------------------\n");
2341cae2ed9aSIngo Molnar 		debug_locks = 1;
2342cae2ed9aSIngo Molnar 	} else if (expected_testcase_failures && !testcase_successes) {
2343cae2ed9aSIngo Molnar 		printk("--------------------------------------------------------\n");
2344cae2ed9aSIngo Molnar 		printk("All %3d testcases failed, as expected. |\n",
2345cae2ed9aSIngo Molnar 			expected_testcase_failures);
2346cae2ed9aSIngo Molnar 		printk("----------------------------------------\n");
2347cae2ed9aSIngo Molnar 		debug_locks = 1;
2348cae2ed9aSIngo Molnar 	} else {
2349cae2ed9aSIngo Molnar 		printk("-------------------------------------------------------\n");
2350cae2ed9aSIngo Molnar 		printk("Good, all %3d testcases passed! |\n",
2351cae2ed9aSIngo Molnar 			testcase_successes);
2352cae2ed9aSIngo Molnar 		printk("---------------------------------\n");
2353cae2ed9aSIngo Molnar 		debug_locks = 1;
2354cae2ed9aSIngo Molnar 	}
2355cdc84d79SBart Van Assche 	lockdep_set_selftest_task(NULL);
2356cae2ed9aSIngo Molnar 	debug_locks_silent = 0;
2357cae2ed9aSIngo Molnar }
2358