xref: /linux-6.15/lib/locking-selftest.c (revision c7e2f69d)
1cae2ed9aSIngo Molnar /*
2cae2ed9aSIngo Molnar  * lib/locking-selftest.c
3cae2ed9aSIngo Molnar  *
4cae2ed9aSIngo Molnar  * Testsuite for various locking APIs: spinlocks, rwlocks,
5cae2ed9aSIngo Molnar  * mutexes and rw-semaphores.
6cae2ed9aSIngo Molnar  *
7cae2ed9aSIngo Molnar  * It is checking both false positives and false negatives.
8cae2ed9aSIngo Molnar  *
9cae2ed9aSIngo Molnar  * Started by Ingo Molnar:
10cae2ed9aSIngo Molnar  *
11cae2ed9aSIngo Molnar  *  Copyright (C) 2006 Red Hat, Inc., Ingo Molnar <[email protected]>
12cae2ed9aSIngo Molnar  */
13cae2ed9aSIngo Molnar #include <linux/rwsem.h>
14cae2ed9aSIngo Molnar #include <linux/mutex.h>
151b375dc3SMaarten Lankhorst #include <linux/ww_mutex.h>
16cae2ed9aSIngo Molnar #include <linux/sched.h>
17cae2ed9aSIngo Molnar #include <linux/delay.h>
18fbb9ce95SIngo Molnar #include <linux/lockdep.h>
19cae2ed9aSIngo Molnar #include <linux/spinlock.h>
20cae2ed9aSIngo Molnar #include <linux/kallsyms.h>
21cae2ed9aSIngo Molnar #include <linux/interrupt.h>
22cae2ed9aSIngo Molnar #include <linux/debug_locks.h>
23cae2ed9aSIngo Molnar #include <linux/irqflags.h>
24018956d6SPeter Zijlstra #include <linux/rtmutex.h>
25cae2ed9aSIngo Molnar 
26cae2ed9aSIngo Molnar /*
27cae2ed9aSIngo Molnar  * Change this to 1 if you want to see the failure printouts:
28cae2ed9aSIngo Molnar  */
29cae2ed9aSIngo Molnar static unsigned int debug_locks_verbose;
30cae2ed9aSIngo Molnar 
311de99445SMaarten Lankhorst static DEFINE_WW_CLASS(ww_lockdep);
321de99445SMaarten Lankhorst 
33cae2ed9aSIngo Molnar static int __init setup_debug_locks_verbose(char *str)
34cae2ed9aSIngo Molnar {
35cae2ed9aSIngo Molnar 	get_option(&str, &debug_locks_verbose);
36cae2ed9aSIngo Molnar 
37cae2ed9aSIngo Molnar 	return 1;
38cae2ed9aSIngo Molnar }
39cae2ed9aSIngo Molnar 
40cae2ed9aSIngo Molnar __setup("debug_locks_verbose=", setup_debug_locks_verbose);
41cae2ed9aSIngo Molnar 
42cae2ed9aSIngo Molnar #define FAILURE		0
43cae2ed9aSIngo Molnar #define SUCCESS		1
44cae2ed9aSIngo Molnar 
45cae2ed9aSIngo Molnar #define LOCKTYPE_SPIN	0x1
46cae2ed9aSIngo Molnar #define LOCKTYPE_RWLOCK	0x2
47cae2ed9aSIngo Molnar #define LOCKTYPE_MUTEX	0x4
48cae2ed9aSIngo Molnar #define LOCKTYPE_RWSEM	0x8
491de99445SMaarten Lankhorst #define LOCKTYPE_WW	0x10
50018956d6SPeter Zijlstra #define LOCKTYPE_RTMUTEX 0x20
511de99445SMaarten Lankhorst 
521de99445SMaarten Lankhorst static struct ww_acquire_ctx t, t2;
53f3cf139eSMaarten Lankhorst static struct ww_mutex o, o2, o3;
54cae2ed9aSIngo Molnar 
55cae2ed9aSIngo Molnar /*
56cae2ed9aSIngo Molnar  * Normal standalone locks, for the circular and irq-context
57cae2ed9aSIngo Molnar  * dependency tests:
58cae2ed9aSIngo Molnar  */
599fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_A);
609fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_B);
619fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_C);
629fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_D);
63cae2ed9aSIngo Molnar 
64cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_A);
65cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_B);
66cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_C);
67cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_D);
68cae2ed9aSIngo Molnar 
69cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_A);
70cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_B);
71cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_C);
72cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_D);
73cae2ed9aSIngo Molnar 
74cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_A);
75cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_B);
76cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_C);
77cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_D);
78cae2ed9aSIngo Molnar 
79018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
80018956d6SPeter Zijlstra 
81018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_A);
82018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_B);
83018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_C);
84018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_D);
85018956d6SPeter Zijlstra 
86018956d6SPeter Zijlstra #endif
87018956d6SPeter Zijlstra 
88cae2ed9aSIngo Molnar /*
89cae2ed9aSIngo Molnar  * Locks that we initialize dynamically as well so that
90cae2ed9aSIngo Molnar  * e.g. X1 and X2 becomes two instances of the same class,
91cae2ed9aSIngo Molnar  * but X* and Y* are different classes. We do this so that
92cae2ed9aSIngo Molnar  * we do not trigger a real lockup:
93cae2ed9aSIngo Molnar  */
949fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_X1);
959fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_X2);
969fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Y1);
979fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Y2);
989fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Z1);
999fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Z2);
100cae2ed9aSIngo Molnar 
101cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_X1);
102cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_X2);
103cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Y1);
104cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Y2);
105cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Z1);
106cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Z2);
107cae2ed9aSIngo Molnar 
108cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_X1);
109cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_X2);
110cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Y1);
111cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Y2);
112cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Z1);
113cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Z2);
114cae2ed9aSIngo Molnar 
115cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_X1);
116cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_X2);
117cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Y1);
118cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Y2);
119cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Z1);
120cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Z2);
121cae2ed9aSIngo Molnar 
122018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
123018956d6SPeter Zijlstra 
124018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_X1);
125018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_X2);
126018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Y1);
127018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Y2);
128018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Z1);
129018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Z2);
130018956d6SPeter Zijlstra 
131018956d6SPeter Zijlstra #endif
132018956d6SPeter Zijlstra 
133cae2ed9aSIngo Molnar /*
134cae2ed9aSIngo Molnar  * non-inlined runtime initializers, to let separate locks share
135cae2ed9aSIngo Molnar  * the same lock-class:
136cae2ed9aSIngo Molnar  */
137cae2ed9aSIngo Molnar #define INIT_CLASS_FUNC(class) 				\
138cae2ed9aSIngo Molnar static noinline void					\
1399fb1b90cSYong Zhang init_class_##class(raw_spinlock_t *lock, rwlock_t *rwlock, \
1409fb1b90cSYong Zhang 	struct mutex *mutex, struct rw_semaphore *rwsem)\
141cae2ed9aSIngo Molnar {							\
1429fb1b90cSYong Zhang 	raw_spin_lock_init(lock);			\
143cae2ed9aSIngo Molnar 	rwlock_init(rwlock);				\
144cae2ed9aSIngo Molnar 	mutex_init(mutex);				\
145cae2ed9aSIngo Molnar 	init_rwsem(rwsem);				\
146cae2ed9aSIngo Molnar }
147cae2ed9aSIngo Molnar 
148cae2ed9aSIngo Molnar INIT_CLASS_FUNC(X)
149cae2ed9aSIngo Molnar INIT_CLASS_FUNC(Y)
150cae2ed9aSIngo Molnar INIT_CLASS_FUNC(Z)
151cae2ed9aSIngo Molnar 
152cae2ed9aSIngo Molnar static void init_shared_classes(void)
153cae2ed9aSIngo Molnar {
154018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
155018956d6SPeter Zijlstra 	static struct lock_class_key rt_X, rt_Y, rt_Z;
156018956d6SPeter Zijlstra 
157018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_X1, __func__, &rt_X);
158018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_X2, __func__, &rt_X);
159018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Y1, __func__, &rt_Y);
160018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Y2, __func__, &rt_Y);
161018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Z1, __func__, &rt_Z);
162018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Z2, __func__, &rt_Z);
163018956d6SPeter Zijlstra #endif
164018956d6SPeter Zijlstra 
165cae2ed9aSIngo Molnar 	init_class_X(&lock_X1, &rwlock_X1, &mutex_X1, &rwsem_X1);
166cae2ed9aSIngo Molnar 	init_class_X(&lock_X2, &rwlock_X2, &mutex_X2, &rwsem_X2);
167cae2ed9aSIngo Molnar 
168cae2ed9aSIngo Molnar 	init_class_Y(&lock_Y1, &rwlock_Y1, &mutex_Y1, &rwsem_Y1);
169cae2ed9aSIngo Molnar 	init_class_Y(&lock_Y2, &rwlock_Y2, &mutex_Y2, &rwsem_Y2);
170cae2ed9aSIngo Molnar 
171cae2ed9aSIngo Molnar 	init_class_Z(&lock_Z1, &rwlock_Z1, &mutex_Z1, &rwsem_Z1);
172cae2ed9aSIngo Molnar 	init_class_Z(&lock_Z2, &rwlock_Z2, &mutex_Z2, &rwsem_Z2);
173cae2ed9aSIngo Molnar }
174cae2ed9aSIngo Molnar 
175cae2ed9aSIngo Molnar /*
176cae2ed9aSIngo Molnar  * For spinlocks and rwlocks we also do hardirq-safe / softirq-safe tests.
177cae2ed9aSIngo Molnar  * The following functions use a lock from a simulated hardirq/softirq
178cae2ed9aSIngo Molnar  * context, causing the locks to be marked as hardirq-safe/softirq-safe:
179cae2ed9aSIngo Molnar  */
180cae2ed9aSIngo Molnar 
181cae2ed9aSIngo Molnar #define HARDIRQ_DISABLE		local_irq_disable
182cae2ed9aSIngo Molnar #define HARDIRQ_ENABLE		local_irq_enable
183cae2ed9aSIngo Molnar 
184cae2ed9aSIngo Molnar #define HARDIRQ_ENTER()				\
185cae2ed9aSIngo Molnar 	local_irq_disable();			\
186ba9f207cSFrederic Weisbecker 	__irq_enter();				\
187cae2ed9aSIngo Molnar 	WARN_ON(!in_irq());
188cae2ed9aSIngo Molnar 
189cae2ed9aSIngo Molnar #define HARDIRQ_EXIT()				\
190cae2ed9aSIngo Molnar 	__irq_exit();				\
191cae2ed9aSIngo Molnar 	local_irq_enable();
192cae2ed9aSIngo Molnar 
193cae2ed9aSIngo Molnar #define SOFTIRQ_DISABLE		local_bh_disable
194cae2ed9aSIngo Molnar #define SOFTIRQ_ENABLE		local_bh_enable
195cae2ed9aSIngo Molnar 
196cae2ed9aSIngo Molnar #define SOFTIRQ_ENTER()				\
197cae2ed9aSIngo Molnar 		local_bh_disable();		\
198cae2ed9aSIngo Molnar 		local_irq_disable();		\
199d820ac4cSIngo Molnar 		lockdep_softirq_enter();	\
200cae2ed9aSIngo Molnar 		WARN_ON(!in_softirq());
201cae2ed9aSIngo Molnar 
202cae2ed9aSIngo Molnar #define SOFTIRQ_EXIT()				\
203d820ac4cSIngo Molnar 		lockdep_softirq_exit();		\
204cae2ed9aSIngo Molnar 		local_irq_enable();		\
205cae2ed9aSIngo Molnar 		local_bh_enable();
206cae2ed9aSIngo Molnar 
207cae2ed9aSIngo Molnar /*
208cae2ed9aSIngo Molnar  * Shortcuts for lock/unlock API variants, to keep
209cae2ed9aSIngo Molnar  * the testcases compact:
210cae2ed9aSIngo Molnar  */
2119fb1b90cSYong Zhang #define L(x)			raw_spin_lock(&lock_##x)
2129fb1b90cSYong Zhang #define U(x)			raw_spin_unlock(&lock_##x)
213cae2ed9aSIngo Molnar #define LU(x)			L(x); U(x)
2149fb1b90cSYong Zhang #define SI(x)			raw_spin_lock_init(&lock_##x)
215cae2ed9aSIngo Molnar 
216cae2ed9aSIngo Molnar #define WL(x)			write_lock(&rwlock_##x)
217cae2ed9aSIngo Molnar #define WU(x)			write_unlock(&rwlock_##x)
218cae2ed9aSIngo Molnar #define WLU(x)			WL(x); WU(x)
219cae2ed9aSIngo Molnar 
220cae2ed9aSIngo Molnar #define RL(x)			read_lock(&rwlock_##x)
221cae2ed9aSIngo Molnar #define RU(x)			read_unlock(&rwlock_##x)
222cae2ed9aSIngo Molnar #define RLU(x)			RL(x); RU(x)
223cae2ed9aSIngo Molnar #define RWI(x)			rwlock_init(&rwlock_##x)
224cae2ed9aSIngo Molnar 
225cae2ed9aSIngo Molnar #define ML(x)			mutex_lock(&mutex_##x)
226cae2ed9aSIngo Molnar #define MU(x)			mutex_unlock(&mutex_##x)
227cae2ed9aSIngo Molnar #define MI(x)			mutex_init(&mutex_##x)
228cae2ed9aSIngo Molnar 
229018956d6SPeter Zijlstra #define RTL(x)			rt_mutex_lock(&rtmutex_##x)
230018956d6SPeter Zijlstra #define RTU(x)			rt_mutex_unlock(&rtmutex_##x)
231018956d6SPeter Zijlstra #define RTI(x)			rt_mutex_init(&rtmutex_##x)
232018956d6SPeter Zijlstra 
233cae2ed9aSIngo Molnar #define WSL(x)			down_write(&rwsem_##x)
234cae2ed9aSIngo Molnar #define WSU(x)			up_write(&rwsem_##x)
235cae2ed9aSIngo Molnar 
236cae2ed9aSIngo Molnar #define RSL(x)			down_read(&rwsem_##x)
237cae2ed9aSIngo Molnar #define RSU(x)			up_read(&rwsem_##x)
238cae2ed9aSIngo Molnar #define RWSI(x)			init_rwsem(&rwsem_##x)
239cae2ed9aSIngo Molnar 
2401de99445SMaarten Lankhorst #ifndef CONFIG_DEBUG_WW_MUTEX_SLOWPATH
2411de99445SMaarten Lankhorst #define WWAI(x)			ww_acquire_init(x, &ww_lockdep)
2421de99445SMaarten Lankhorst #else
2431de99445SMaarten Lankhorst #define WWAI(x)			do { ww_acquire_init(x, &ww_lockdep); (x)->deadlock_inject_countdown = ~0U; } while (0)
2441de99445SMaarten Lankhorst #endif
2451de99445SMaarten Lankhorst #define WWAD(x)			ww_acquire_done(x)
2461de99445SMaarten Lankhorst #define WWAF(x)			ww_acquire_fini(x)
2471de99445SMaarten Lankhorst 
2481de99445SMaarten Lankhorst #define WWL(x, c)		ww_mutex_lock(x, c)
2491de99445SMaarten Lankhorst #define WWT(x)			ww_mutex_trylock(x)
2501de99445SMaarten Lankhorst #define WWL1(x)			ww_mutex_lock(x, NULL)
2511de99445SMaarten Lankhorst #define WWU(x)			ww_mutex_unlock(x)
2521de99445SMaarten Lankhorst 
2531de99445SMaarten Lankhorst 
254cae2ed9aSIngo Molnar #define LOCK_UNLOCK_2(x,y)	LOCK(x); LOCK(y); UNLOCK(y); UNLOCK(x)
255cae2ed9aSIngo Molnar 
256cae2ed9aSIngo Molnar /*
257cae2ed9aSIngo Molnar  * Generate different permutations of the same testcase, using
258cae2ed9aSIngo Molnar  * the same basic lock-dependency/state events:
259cae2ed9aSIngo Molnar  */
260cae2ed9aSIngo Molnar 
261cae2ed9aSIngo Molnar #define GENERATE_TESTCASE(name)			\
262cae2ed9aSIngo Molnar 						\
263cae2ed9aSIngo Molnar static void name(void) { E(); }
264cae2ed9aSIngo Molnar 
265cae2ed9aSIngo Molnar #define GENERATE_PERMUTATIONS_2_EVENTS(name)	\
266cae2ed9aSIngo Molnar 						\
267cae2ed9aSIngo Molnar static void name##_12(void) { E1(); E2(); }	\
268cae2ed9aSIngo Molnar static void name##_21(void) { E2(); E1(); }
269cae2ed9aSIngo Molnar 
270cae2ed9aSIngo Molnar #define GENERATE_PERMUTATIONS_3_EVENTS(name)		\
271cae2ed9aSIngo Molnar 							\
272cae2ed9aSIngo Molnar static void name##_123(void) { E1(); E2(); E3(); }	\
273cae2ed9aSIngo Molnar static void name##_132(void) { E1(); E3(); E2(); }	\
274cae2ed9aSIngo Molnar static void name##_213(void) { E2(); E1(); E3(); }	\
275cae2ed9aSIngo Molnar static void name##_231(void) { E2(); E3(); E1(); }	\
276cae2ed9aSIngo Molnar static void name##_312(void) { E3(); E1(); E2(); }	\
277cae2ed9aSIngo Molnar static void name##_321(void) { E3(); E2(); E1(); }
278cae2ed9aSIngo Molnar 
279cae2ed9aSIngo Molnar /*
280cae2ed9aSIngo Molnar  * AA deadlock:
281cae2ed9aSIngo Molnar  */
282cae2ed9aSIngo Molnar 
283cae2ed9aSIngo Molnar #define E()					\
284cae2ed9aSIngo Molnar 						\
285cae2ed9aSIngo Molnar 	LOCK(X1);				\
286cae2ed9aSIngo Molnar 	LOCK(X2); /* this one should fail */
287cae2ed9aSIngo Molnar 
288cae2ed9aSIngo Molnar /*
289cae2ed9aSIngo Molnar  * 6 testcases:
290cae2ed9aSIngo Molnar  */
291cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
292cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_spin)
293cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
294cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_wlock)
295cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
296cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_rlock)
297cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
298cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_mutex)
299cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
300cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_wsem)
301cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
302cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_rsem)
303cae2ed9aSIngo Molnar 
304018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
305018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
306018956d6SPeter Zijlstra GENERATE_TESTCASE(AA_rtmutex);
307018956d6SPeter Zijlstra #endif
308018956d6SPeter Zijlstra 
309cae2ed9aSIngo Molnar #undef E
310cae2ed9aSIngo Molnar 
311cae2ed9aSIngo Molnar /*
312cae2ed9aSIngo Molnar  * Special-case for read-locking, they are
3136c9076ecSIngo Molnar  * allowed to recurse on the same lock class:
314cae2ed9aSIngo Molnar  */
315cae2ed9aSIngo Molnar static void rlock_AA1(void)
316cae2ed9aSIngo Molnar {
317cae2ed9aSIngo Molnar 	RL(X1);
318cae2ed9aSIngo Molnar 	RL(X1); // this one should NOT fail
319cae2ed9aSIngo Molnar }
320cae2ed9aSIngo Molnar 
321cae2ed9aSIngo Molnar static void rlock_AA1B(void)
322cae2ed9aSIngo Molnar {
323cae2ed9aSIngo Molnar 	RL(X1);
3246c9076ecSIngo Molnar 	RL(X2); // this one should NOT fail
325cae2ed9aSIngo Molnar }
326cae2ed9aSIngo Molnar 
327cae2ed9aSIngo Molnar static void rsem_AA1(void)
328cae2ed9aSIngo Molnar {
329cae2ed9aSIngo Molnar 	RSL(X1);
330cae2ed9aSIngo Molnar 	RSL(X1); // this one should fail
331cae2ed9aSIngo Molnar }
332cae2ed9aSIngo Molnar 
333cae2ed9aSIngo Molnar static void rsem_AA1B(void)
334cae2ed9aSIngo Molnar {
335cae2ed9aSIngo Molnar 	RSL(X1);
336cae2ed9aSIngo Molnar 	RSL(X2); // this one should fail
337cae2ed9aSIngo Molnar }
338cae2ed9aSIngo Molnar /*
339cae2ed9aSIngo Molnar  * The mixing of read and write locks is not allowed:
340cae2ed9aSIngo Molnar  */
341cae2ed9aSIngo Molnar static void rlock_AA2(void)
342cae2ed9aSIngo Molnar {
343cae2ed9aSIngo Molnar 	RL(X1);
344cae2ed9aSIngo Molnar 	WL(X2); // this one should fail
345cae2ed9aSIngo Molnar }
346cae2ed9aSIngo Molnar 
347cae2ed9aSIngo Molnar static void rsem_AA2(void)
348cae2ed9aSIngo Molnar {
349cae2ed9aSIngo Molnar 	RSL(X1);
350cae2ed9aSIngo Molnar 	WSL(X2); // this one should fail
351cae2ed9aSIngo Molnar }
352cae2ed9aSIngo Molnar 
353cae2ed9aSIngo Molnar static void rlock_AA3(void)
354cae2ed9aSIngo Molnar {
355cae2ed9aSIngo Molnar 	WL(X1);
356cae2ed9aSIngo Molnar 	RL(X2); // this one should fail
357cae2ed9aSIngo Molnar }
358cae2ed9aSIngo Molnar 
359cae2ed9aSIngo Molnar static void rsem_AA3(void)
360cae2ed9aSIngo Molnar {
361cae2ed9aSIngo Molnar 	WSL(X1);
362cae2ed9aSIngo Molnar 	RSL(X2); // this one should fail
363cae2ed9aSIngo Molnar }
364cae2ed9aSIngo Molnar 
365cae2ed9aSIngo Molnar /*
366e9149858SPeter Zijlstra  * read_lock(A)
367e9149858SPeter Zijlstra  * spin_lock(B)
368e9149858SPeter Zijlstra  *		spin_lock(B)
369e9149858SPeter Zijlstra  *		write_lock(A)
370e9149858SPeter Zijlstra  */
371e9149858SPeter Zijlstra static void rlock_ABBA1(void)
372e9149858SPeter Zijlstra {
373e9149858SPeter Zijlstra 	RL(X1);
374e9149858SPeter Zijlstra 	L(Y1);
375e9149858SPeter Zijlstra 	U(Y1);
376e9149858SPeter Zijlstra 	RU(X1);
377e9149858SPeter Zijlstra 
378e9149858SPeter Zijlstra 	L(Y1);
379e9149858SPeter Zijlstra 	WL(X1);
380e9149858SPeter Zijlstra 	WU(X1);
381e9149858SPeter Zijlstra 	U(Y1); // should fail
382e9149858SPeter Zijlstra }
383e9149858SPeter Zijlstra 
384e9149858SPeter Zijlstra static void rwsem_ABBA1(void)
385e9149858SPeter Zijlstra {
386e9149858SPeter Zijlstra 	RSL(X1);
387e9149858SPeter Zijlstra 	ML(Y1);
388e9149858SPeter Zijlstra 	MU(Y1);
389e9149858SPeter Zijlstra 	RSU(X1);
390e9149858SPeter Zijlstra 
391e9149858SPeter Zijlstra 	ML(Y1);
392e9149858SPeter Zijlstra 	WSL(X1);
393e9149858SPeter Zijlstra 	WSU(X1);
394e9149858SPeter Zijlstra 	MU(Y1); // should fail
395e9149858SPeter Zijlstra }
396e9149858SPeter Zijlstra 
397e9149858SPeter Zijlstra /*
398e9149858SPeter Zijlstra  * read_lock(A)
399e9149858SPeter Zijlstra  * spin_lock(B)
400e9149858SPeter Zijlstra  *		spin_lock(B)
401e9149858SPeter Zijlstra  *		read_lock(A)
402e9149858SPeter Zijlstra  */
403e9149858SPeter Zijlstra static void rlock_ABBA2(void)
404e9149858SPeter Zijlstra {
405e9149858SPeter Zijlstra 	RL(X1);
406e9149858SPeter Zijlstra 	L(Y1);
407e9149858SPeter Zijlstra 	U(Y1);
408e9149858SPeter Zijlstra 	RU(X1);
409e9149858SPeter Zijlstra 
410e9149858SPeter Zijlstra 	L(Y1);
411e9149858SPeter Zijlstra 	RL(X1);
412e9149858SPeter Zijlstra 	RU(X1);
413e9149858SPeter Zijlstra 	U(Y1); // should NOT fail
414e9149858SPeter Zijlstra }
415e9149858SPeter Zijlstra 
416e9149858SPeter Zijlstra static void rwsem_ABBA2(void)
417e9149858SPeter Zijlstra {
418e9149858SPeter Zijlstra 	RSL(X1);
419e9149858SPeter Zijlstra 	ML(Y1);
420e9149858SPeter Zijlstra 	MU(Y1);
421e9149858SPeter Zijlstra 	RSU(X1);
422e9149858SPeter Zijlstra 
423e9149858SPeter Zijlstra 	ML(Y1);
424e9149858SPeter Zijlstra 	RSL(X1);
425e9149858SPeter Zijlstra 	RSU(X1);
426e9149858SPeter Zijlstra 	MU(Y1); // should fail
427e9149858SPeter Zijlstra }
428e9149858SPeter Zijlstra 
429e9149858SPeter Zijlstra 
430e9149858SPeter Zijlstra /*
431e9149858SPeter Zijlstra  * write_lock(A)
432e9149858SPeter Zijlstra  * spin_lock(B)
433e9149858SPeter Zijlstra  *		spin_lock(B)
434e9149858SPeter Zijlstra  *		write_lock(A)
435e9149858SPeter Zijlstra  */
436e9149858SPeter Zijlstra static void rlock_ABBA3(void)
437e9149858SPeter Zijlstra {
438e9149858SPeter Zijlstra 	WL(X1);
439e9149858SPeter Zijlstra 	L(Y1);
440e9149858SPeter Zijlstra 	U(Y1);
441e9149858SPeter Zijlstra 	WU(X1);
442e9149858SPeter Zijlstra 
443e9149858SPeter Zijlstra 	L(Y1);
444e9149858SPeter Zijlstra 	WL(X1);
445e9149858SPeter Zijlstra 	WU(X1);
446e9149858SPeter Zijlstra 	U(Y1); // should fail
447e9149858SPeter Zijlstra }
448e9149858SPeter Zijlstra 
449e9149858SPeter Zijlstra static void rwsem_ABBA3(void)
450e9149858SPeter Zijlstra {
451e9149858SPeter Zijlstra 	WSL(X1);
452e9149858SPeter Zijlstra 	ML(Y1);
453e9149858SPeter Zijlstra 	MU(Y1);
454e9149858SPeter Zijlstra 	WSU(X1);
455e9149858SPeter Zijlstra 
456e9149858SPeter Zijlstra 	ML(Y1);
457e9149858SPeter Zijlstra 	WSL(X1);
458e9149858SPeter Zijlstra 	WSU(X1);
459e9149858SPeter Zijlstra 	MU(Y1); // should fail
460e9149858SPeter Zijlstra }
461e9149858SPeter Zijlstra 
462e9149858SPeter Zijlstra /*
463cae2ed9aSIngo Molnar  * ABBA deadlock:
464cae2ed9aSIngo Molnar  */
465cae2ed9aSIngo Molnar 
466cae2ed9aSIngo Molnar #define E()					\
467cae2ed9aSIngo Molnar 						\
468cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
469cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, A); /* fail */
470cae2ed9aSIngo Molnar 
471cae2ed9aSIngo Molnar /*
472cae2ed9aSIngo Molnar  * 6 testcases:
473cae2ed9aSIngo Molnar  */
474cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
475cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_spin)
476cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
477cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_wlock)
478cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
479cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_rlock)
480cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
481cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_mutex)
482cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
483cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_wsem)
484cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
485cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_rsem)
486cae2ed9aSIngo Molnar 
487018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
488018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
489018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBA_rtmutex);
490018956d6SPeter Zijlstra #endif
491018956d6SPeter Zijlstra 
492cae2ed9aSIngo Molnar #undef E
493cae2ed9aSIngo Molnar 
494cae2ed9aSIngo Molnar /*
495cae2ed9aSIngo Molnar  * AB BC CA deadlock:
496cae2ed9aSIngo Molnar  */
497cae2ed9aSIngo Molnar 
498cae2ed9aSIngo Molnar #define E()					\
499cae2ed9aSIngo Molnar 						\
500cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
501cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
502cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, A); /* fail */
503cae2ed9aSIngo Molnar 
504cae2ed9aSIngo Molnar /*
505cae2ed9aSIngo Molnar  * 6 testcases:
506cae2ed9aSIngo Molnar  */
507cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
508cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_spin)
509cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
510cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_wlock)
511cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
512cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_rlock)
513cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
514cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_mutex)
515cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
516cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_wsem)
517cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
518cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_rsem)
519cae2ed9aSIngo Molnar 
520018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
521018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
522018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBCCA_rtmutex);
523018956d6SPeter Zijlstra #endif
524018956d6SPeter Zijlstra 
525cae2ed9aSIngo Molnar #undef E
526cae2ed9aSIngo Molnar 
527cae2ed9aSIngo Molnar /*
528cae2ed9aSIngo Molnar  * AB CA BC deadlock:
529cae2ed9aSIngo Molnar  */
530cae2ed9aSIngo Molnar 
531cae2ed9aSIngo Molnar #define E()					\
532cae2ed9aSIngo Molnar 						\
533cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
534cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, A);			\
535cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C); /* fail */
536cae2ed9aSIngo Molnar 
537cae2ed9aSIngo Molnar /*
538cae2ed9aSIngo Molnar  * 6 testcases:
539cae2ed9aSIngo Molnar  */
540cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
541cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_spin)
542cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
543cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_wlock)
544cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
545cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_rlock)
546cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
547cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_mutex)
548cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
549cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_wsem)
550cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
551cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_rsem)
552cae2ed9aSIngo Molnar 
553018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
554018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
555018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCABC_rtmutex);
556018956d6SPeter Zijlstra #endif
557018956d6SPeter Zijlstra 
558cae2ed9aSIngo Molnar #undef E
559cae2ed9aSIngo Molnar 
560cae2ed9aSIngo Molnar /*
561cae2ed9aSIngo Molnar  * AB BC CD DA deadlock:
562cae2ed9aSIngo Molnar  */
563cae2ed9aSIngo Molnar 
564cae2ed9aSIngo Molnar #define E()					\
565cae2ed9aSIngo Molnar 						\
566cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
567cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
568cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
569cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
570cae2ed9aSIngo Molnar 
571cae2ed9aSIngo Molnar /*
572cae2ed9aSIngo Molnar  * 6 testcases:
573cae2ed9aSIngo Molnar  */
574cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
575cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_spin)
576cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
577cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_wlock)
578cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
579cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_rlock)
580cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
581cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_mutex)
582cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
583cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_wsem)
584cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
585cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_rsem)
586cae2ed9aSIngo Molnar 
587018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
588018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
589018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBCCDDA_rtmutex);
590018956d6SPeter Zijlstra #endif
591018956d6SPeter Zijlstra 
592cae2ed9aSIngo Molnar #undef E
593cae2ed9aSIngo Molnar 
594cae2ed9aSIngo Molnar /*
595cae2ed9aSIngo Molnar  * AB CD BD DA deadlock:
596cae2ed9aSIngo Molnar  */
597cae2ed9aSIngo Molnar #define E()					\
598cae2ed9aSIngo Molnar 						\
599cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
600cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
601cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, D);			\
602cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
603cae2ed9aSIngo Molnar 
604cae2ed9aSIngo Molnar /*
605cae2ed9aSIngo Molnar  * 6 testcases:
606cae2ed9aSIngo Molnar  */
607cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
608cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_spin)
609cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
610cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_wlock)
611cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
612cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_rlock)
613cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
614cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_mutex)
615cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
616cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_wsem)
617cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
618cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_rsem)
619cae2ed9aSIngo Molnar 
620018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
621018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
622018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCDBDDA_rtmutex);
623018956d6SPeter Zijlstra #endif
624018956d6SPeter Zijlstra 
625cae2ed9aSIngo Molnar #undef E
626cae2ed9aSIngo Molnar 
627cae2ed9aSIngo Molnar /*
628cae2ed9aSIngo Molnar  * AB CD BC DA deadlock:
629cae2ed9aSIngo Molnar  */
630cae2ed9aSIngo Molnar #define E()					\
631cae2ed9aSIngo Molnar 						\
632cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
633cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
634cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
635cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
636cae2ed9aSIngo Molnar 
637cae2ed9aSIngo Molnar /*
638cae2ed9aSIngo Molnar  * 6 testcases:
639cae2ed9aSIngo Molnar  */
640cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
641cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_spin)
642cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
643cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_wlock)
644cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
645cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_rlock)
646cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
647cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_mutex)
648cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
649cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_wsem)
650cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
651cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_rsem)
652cae2ed9aSIngo Molnar 
653018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
654018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
655018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCDBCDA_rtmutex);
656018956d6SPeter Zijlstra #endif
657018956d6SPeter Zijlstra 
658cae2ed9aSIngo Molnar #undef E
659cae2ed9aSIngo Molnar 
660cae2ed9aSIngo Molnar /*
661cae2ed9aSIngo Molnar  * Double unlock:
662cae2ed9aSIngo Molnar  */
663cae2ed9aSIngo Molnar #define E()					\
664cae2ed9aSIngo Molnar 						\
665cae2ed9aSIngo Molnar 	LOCK(A);				\
666cae2ed9aSIngo Molnar 	UNLOCK(A);				\
667cae2ed9aSIngo Molnar 	UNLOCK(A); /* fail */
668cae2ed9aSIngo Molnar 
669cae2ed9aSIngo Molnar /*
670cae2ed9aSIngo Molnar  * 6 testcases:
671cae2ed9aSIngo Molnar  */
672cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
673cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_spin)
674cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
675cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_wlock)
676cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
677cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_rlock)
678cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
679cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_mutex)
680cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
681cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_wsem)
682cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
683cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_rsem)
684cae2ed9aSIngo Molnar 
685018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
686018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
687018956d6SPeter Zijlstra GENERATE_TESTCASE(double_unlock_rtmutex);
688018956d6SPeter Zijlstra #endif
689018956d6SPeter Zijlstra 
690cae2ed9aSIngo Molnar #undef E
691cae2ed9aSIngo Molnar 
692cae2ed9aSIngo Molnar /*
693cae2ed9aSIngo Molnar  * initializing a held lock:
694cae2ed9aSIngo Molnar  */
695cae2ed9aSIngo Molnar #define E()					\
696cae2ed9aSIngo Molnar 						\
697cae2ed9aSIngo Molnar 	LOCK(A);				\
698cae2ed9aSIngo Molnar 	INIT(A); /* fail */
699cae2ed9aSIngo Molnar 
700cae2ed9aSIngo Molnar /*
701cae2ed9aSIngo Molnar  * 6 testcases:
702cae2ed9aSIngo Molnar  */
703cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
704cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_spin)
705cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
706cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_wlock)
707cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
708cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_rlock)
709cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
710cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_mutex)
711cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
712cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_wsem)
713cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
714cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_rsem)
715cae2ed9aSIngo Molnar 
716018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
717018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
718018956d6SPeter Zijlstra GENERATE_TESTCASE(init_held_rtmutex);
719018956d6SPeter Zijlstra #endif
720018956d6SPeter Zijlstra 
721cae2ed9aSIngo Molnar #undef E
722cae2ed9aSIngo Molnar 
723cae2ed9aSIngo Molnar /*
724cae2ed9aSIngo Molnar  * locking an irq-safe lock with irqs enabled:
725cae2ed9aSIngo Molnar  */
726cae2ed9aSIngo Molnar #define E1()				\
727cae2ed9aSIngo Molnar 					\
728cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
729cae2ed9aSIngo Molnar 	LOCK(A);			\
730cae2ed9aSIngo Molnar 	UNLOCK(A);			\
731cae2ed9aSIngo Molnar 	IRQ_EXIT();
732cae2ed9aSIngo Molnar 
733cae2ed9aSIngo Molnar #define E2()				\
734cae2ed9aSIngo Molnar 					\
735cae2ed9aSIngo Molnar 	LOCK(A);			\
736cae2ed9aSIngo Molnar 	UNLOCK(A);
737cae2ed9aSIngo Molnar 
738cae2ed9aSIngo Molnar /*
739cae2ed9aSIngo Molnar  * Generate 24 testcases:
740cae2ed9aSIngo Molnar  */
741cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
742cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_spin)
743cae2ed9aSIngo Molnar 
744cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
745cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_rlock)
746cae2ed9aSIngo Molnar 
747cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
748cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_wlock)
749cae2ed9aSIngo Molnar 
750cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
751cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_spin)
752cae2ed9aSIngo Molnar 
753cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
754cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_rlock)
755cae2ed9aSIngo Molnar 
756cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
757cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_wlock)
758cae2ed9aSIngo Molnar 
759cae2ed9aSIngo Molnar #undef E1
760cae2ed9aSIngo Molnar #undef E2
761cae2ed9aSIngo Molnar 
762cae2ed9aSIngo Molnar /*
763cae2ed9aSIngo Molnar  * Enabling hardirqs with a softirq-safe lock held:
764cae2ed9aSIngo Molnar  */
765cae2ed9aSIngo Molnar #define E1()				\
766cae2ed9aSIngo Molnar 					\
767cae2ed9aSIngo Molnar 	SOFTIRQ_ENTER();		\
768cae2ed9aSIngo Molnar 	LOCK(A);			\
769cae2ed9aSIngo Molnar 	UNLOCK(A);			\
770cae2ed9aSIngo Molnar 	SOFTIRQ_EXIT();
771cae2ed9aSIngo Molnar 
772cae2ed9aSIngo Molnar #define E2()				\
773cae2ed9aSIngo Molnar 					\
774cae2ed9aSIngo Molnar 	HARDIRQ_DISABLE();		\
775cae2ed9aSIngo Molnar 	LOCK(A);			\
776cae2ed9aSIngo Molnar 	HARDIRQ_ENABLE();		\
777cae2ed9aSIngo Molnar 	UNLOCK(A);
778cae2ed9aSIngo Molnar 
779cae2ed9aSIngo Molnar /*
780cae2ed9aSIngo Molnar  * Generate 12 testcases:
781cae2ed9aSIngo Molnar  */
782cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
783cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_spin)
784cae2ed9aSIngo Molnar 
785cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
786cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_wlock)
787cae2ed9aSIngo Molnar 
788cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
789cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_rlock)
790cae2ed9aSIngo Molnar 
791cae2ed9aSIngo Molnar #undef E1
792cae2ed9aSIngo Molnar #undef E2
793cae2ed9aSIngo Molnar 
794cae2ed9aSIngo Molnar /*
795cae2ed9aSIngo Molnar  * Enabling irqs with an irq-safe lock held:
796cae2ed9aSIngo Molnar  */
797cae2ed9aSIngo Molnar #define E1()				\
798cae2ed9aSIngo Molnar 					\
799cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
800cae2ed9aSIngo Molnar 	LOCK(A);			\
801cae2ed9aSIngo Molnar 	UNLOCK(A);			\
802cae2ed9aSIngo Molnar 	IRQ_EXIT();
803cae2ed9aSIngo Molnar 
804cae2ed9aSIngo Molnar #define E2()				\
805cae2ed9aSIngo Molnar 					\
806cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
807cae2ed9aSIngo Molnar 	LOCK(A);			\
808cae2ed9aSIngo Molnar 	IRQ_ENABLE();			\
809cae2ed9aSIngo Molnar 	UNLOCK(A);
810cae2ed9aSIngo Molnar 
811cae2ed9aSIngo Molnar /*
812cae2ed9aSIngo Molnar  * Generate 24 testcases:
813cae2ed9aSIngo Molnar  */
814cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
815cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_spin)
816cae2ed9aSIngo Molnar 
817cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
818cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_rlock)
819cae2ed9aSIngo Molnar 
820cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
821cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_wlock)
822cae2ed9aSIngo Molnar 
823cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
824cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_spin)
825cae2ed9aSIngo Molnar 
826cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
827cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_rlock)
828cae2ed9aSIngo Molnar 
829cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
830cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_wlock)
831cae2ed9aSIngo Molnar 
832cae2ed9aSIngo Molnar #undef E1
833cae2ed9aSIngo Molnar #undef E2
834cae2ed9aSIngo Molnar 
835cae2ed9aSIngo Molnar /*
836cae2ed9aSIngo Molnar  * Acquiring a irq-unsafe lock while holding an irq-safe-lock:
837cae2ed9aSIngo Molnar  */
838cae2ed9aSIngo Molnar #define E1()				\
839cae2ed9aSIngo Molnar 					\
840cae2ed9aSIngo Molnar 	LOCK(A);			\
841cae2ed9aSIngo Molnar 	LOCK(B);			\
842cae2ed9aSIngo Molnar 	UNLOCK(B);			\
843cae2ed9aSIngo Molnar 	UNLOCK(A);			\
844cae2ed9aSIngo Molnar 
845cae2ed9aSIngo Molnar #define E2()				\
846cae2ed9aSIngo Molnar 					\
847cae2ed9aSIngo Molnar 	LOCK(B);			\
848cae2ed9aSIngo Molnar 	UNLOCK(B);
849cae2ed9aSIngo Molnar 
850cae2ed9aSIngo Molnar #define E3()				\
851cae2ed9aSIngo Molnar 					\
852cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
853cae2ed9aSIngo Molnar 	LOCK(A);			\
854cae2ed9aSIngo Molnar 	UNLOCK(A);			\
855cae2ed9aSIngo Molnar 	IRQ_EXIT();
856cae2ed9aSIngo Molnar 
857cae2ed9aSIngo Molnar /*
858cae2ed9aSIngo Molnar  * Generate 36 testcases:
859cae2ed9aSIngo Molnar  */
860cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
861cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_spin)
862cae2ed9aSIngo Molnar 
863cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
864cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_rlock)
865cae2ed9aSIngo Molnar 
866cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
867cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_wlock)
868cae2ed9aSIngo Molnar 
869cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
870cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_spin)
871cae2ed9aSIngo Molnar 
872cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
873cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_rlock)
874cae2ed9aSIngo Molnar 
875cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
876cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_wlock)
877cae2ed9aSIngo Molnar 
878cae2ed9aSIngo Molnar #undef E1
879cae2ed9aSIngo Molnar #undef E2
880cae2ed9aSIngo Molnar #undef E3
881cae2ed9aSIngo Molnar 
882cae2ed9aSIngo Molnar /*
883cae2ed9aSIngo Molnar  * If a lock turns into softirq-safe, but earlier it took
884cae2ed9aSIngo Molnar  * a softirq-unsafe lock:
885cae2ed9aSIngo Molnar  */
886cae2ed9aSIngo Molnar 
887cae2ed9aSIngo Molnar #define E1()				\
888cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
889cae2ed9aSIngo Molnar 	LOCK(A);			\
890cae2ed9aSIngo Molnar 	LOCK(B);			\
891cae2ed9aSIngo Molnar 	UNLOCK(B);			\
892cae2ed9aSIngo Molnar 	UNLOCK(A);			\
893cae2ed9aSIngo Molnar 	IRQ_ENABLE();
894cae2ed9aSIngo Molnar 
895cae2ed9aSIngo Molnar #define E2()				\
896cae2ed9aSIngo Molnar 	LOCK(B);			\
897cae2ed9aSIngo Molnar 	UNLOCK(B);
898cae2ed9aSIngo Molnar 
899cae2ed9aSIngo Molnar #define E3()				\
900cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
901cae2ed9aSIngo Molnar 	LOCK(A);			\
902cae2ed9aSIngo Molnar 	UNLOCK(A);			\
903cae2ed9aSIngo Molnar 	IRQ_EXIT();
904cae2ed9aSIngo Molnar 
905cae2ed9aSIngo Molnar /*
906cae2ed9aSIngo Molnar  * Generate 36 testcases:
907cae2ed9aSIngo Molnar  */
908cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
909cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_spin)
910cae2ed9aSIngo Molnar 
911cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
912cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_rlock)
913cae2ed9aSIngo Molnar 
914cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
915cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_wlock)
916cae2ed9aSIngo Molnar 
917cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
918cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_spin)
919cae2ed9aSIngo Molnar 
920cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
921cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_rlock)
922cae2ed9aSIngo Molnar 
923cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
924cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_wlock)
925cae2ed9aSIngo Molnar 
926cae2ed9aSIngo Molnar #undef E1
927cae2ed9aSIngo Molnar #undef E2
928cae2ed9aSIngo Molnar #undef E3
929cae2ed9aSIngo Molnar 
930cae2ed9aSIngo Molnar /*
931cae2ed9aSIngo Molnar  * read-lock / write-lock irq inversion.
932cae2ed9aSIngo Molnar  *
933cae2ed9aSIngo Molnar  * Deadlock scenario:
934cae2ed9aSIngo Molnar  *
935cae2ed9aSIngo Molnar  * CPU#1 is at #1, i.e. it has write-locked A, but has not
936cae2ed9aSIngo Molnar  * taken B yet.
937cae2ed9aSIngo Molnar  *
938cae2ed9aSIngo Molnar  * CPU#2 is at #2, i.e. it has locked B.
939cae2ed9aSIngo Molnar  *
940cae2ed9aSIngo Molnar  * Hardirq hits CPU#2 at point #2 and is trying to read-lock A.
941cae2ed9aSIngo Molnar  *
942cae2ed9aSIngo Molnar  * The deadlock occurs because CPU#1 will spin on B, and CPU#2
943cae2ed9aSIngo Molnar  * will spin on A.
944cae2ed9aSIngo Molnar  */
945cae2ed9aSIngo Molnar 
946cae2ed9aSIngo Molnar #define E1()				\
947cae2ed9aSIngo Molnar 					\
948cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
949cae2ed9aSIngo Molnar 	WL(A);				\
950cae2ed9aSIngo Molnar 	LOCK(B);			\
951cae2ed9aSIngo Molnar 	UNLOCK(B);			\
952cae2ed9aSIngo Molnar 	WU(A);				\
953cae2ed9aSIngo Molnar 	IRQ_ENABLE();
954cae2ed9aSIngo Molnar 
955cae2ed9aSIngo Molnar #define E2()				\
956cae2ed9aSIngo Molnar 					\
957cae2ed9aSIngo Molnar 	LOCK(B);			\
958cae2ed9aSIngo Molnar 	UNLOCK(B);
959cae2ed9aSIngo Molnar 
960cae2ed9aSIngo Molnar #define E3()				\
961cae2ed9aSIngo Molnar 					\
962cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
963cae2ed9aSIngo Molnar 	RL(A);				\
964cae2ed9aSIngo Molnar 	RU(A);				\
965cae2ed9aSIngo Molnar 	IRQ_EXIT();
966cae2ed9aSIngo Molnar 
967cae2ed9aSIngo Molnar /*
968cae2ed9aSIngo Molnar  * Generate 36 testcases:
969cae2ed9aSIngo Molnar  */
970cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
971cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_spin)
972cae2ed9aSIngo Molnar 
973cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
974cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_rlock)
975cae2ed9aSIngo Molnar 
976cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
977cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_wlock)
978cae2ed9aSIngo Molnar 
979cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
980cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_spin)
981cae2ed9aSIngo Molnar 
982cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
983cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_rlock)
984cae2ed9aSIngo Molnar 
985cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
986cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_wlock)
987cae2ed9aSIngo Molnar 
988cae2ed9aSIngo Molnar #undef E1
989cae2ed9aSIngo Molnar #undef E2
990cae2ed9aSIngo Molnar #undef E3
991cae2ed9aSIngo Molnar 
992cae2ed9aSIngo Molnar /*
993cae2ed9aSIngo Molnar  * read-lock / write-lock recursion that is actually safe.
994cae2ed9aSIngo Molnar  */
995cae2ed9aSIngo Molnar 
996cae2ed9aSIngo Molnar #define E1()				\
997cae2ed9aSIngo Molnar 					\
998cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
999cae2ed9aSIngo Molnar 	WL(A);				\
1000cae2ed9aSIngo Molnar 	WU(A);				\
1001cae2ed9aSIngo Molnar 	IRQ_ENABLE();
1002cae2ed9aSIngo Molnar 
1003cae2ed9aSIngo Molnar #define E2()				\
1004cae2ed9aSIngo Molnar 					\
1005cae2ed9aSIngo Molnar 	RL(A);				\
1006cae2ed9aSIngo Molnar 	RU(A);				\
1007cae2ed9aSIngo Molnar 
1008cae2ed9aSIngo Molnar #define E3()				\
1009cae2ed9aSIngo Molnar 					\
1010cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
1011cae2ed9aSIngo Molnar 	RL(A);				\
1012cae2ed9aSIngo Molnar 	L(B);				\
1013cae2ed9aSIngo Molnar 	U(B);				\
1014cae2ed9aSIngo Molnar 	RU(A);				\
1015cae2ed9aSIngo Molnar 	IRQ_EXIT();
1016cae2ed9aSIngo Molnar 
1017cae2ed9aSIngo Molnar /*
1018cae2ed9aSIngo Molnar  * Generate 12 testcases:
1019cae2ed9aSIngo Molnar  */
1020cae2ed9aSIngo Molnar #include "locking-selftest-hardirq.h"
1021cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_hard)
1022cae2ed9aSIngo Molnar 
1023cae2ed9aSIngo Molnar #include "locking-selftest-softirq.h"
1024cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_soft)
1025cae2ed9aSIngo Molnar 
1026cae2ed9aSIngo Molnar #undef E1
1027cae2ed9aSIngo Molnar #undef E2
1028cae2ed9aSIngo Molnar #undef E3
1029cae2ed9aSIngo Molnar 
1030cae2ed9aSIngo Molnar /*
1031cae2ed9aSIngo Molnar  * read-lock / write-lock recursion that is unsafe.
1032cae2ed9aSIngo Molnar  */
1033cae2ed9aSIngo Molnar 
1034cae2ed9aSIngo Molnar #define E1()				\
1035cae2ed9aSIngo Molnar 					\
1036cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
1037cae2ed9aSIngo Molnar 	L(B);				\
1038cae2ed9aSIngo Molnar 	WL(A);				\
1039cae2ed9aSIngo Molnar 	WU(A);				\
1040cae2ed9aSIngo Molnar 	U(B);				\
1041cae2ed9aSIngo Molnar 	IRQ_ENABLE();
1042cae2ed9aSIngo Molnar 
1043cae2ed9aSIngo Molnar #define E2()				\
1044cae2ed9aSIngo Molnar 					\
1045cae2ed9aSIngo Molnar 	RL(A);				\
1046cae2ed9aSIngo Molnar 	RU(A);				\
1047cae2ed9aSIngo Molnar 
1048cae2ed9aSIngo Molnar #define E3()				\
1049cae2ed9aSIngo Molnar 					\
1050cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
1051cae2ed9aSIngo Molnar 	L(B);				\
1052cae2ed9aSIngo Molnar 	U(B);				\
1053cae2ed9aSIngo Molnar 	IRQ_EXIT();
1054cae2ed9aSIngo Molnar 
1055cae2ed9aSIngo Molnar /*
1056cae2ed9aSIngo Molnar  * Generate 12 testcases:
1057cae2ed9aSIngo Molnar  */
1058cae2ed9aSIngo Molnar #include "locking-selftest-hardirq.h"
1059cae2ed9aSIngo Molnar // GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_hard)
1060cae2ed9aSIngo Molnar 
1061cae2ed9aSIngo Molnar #include "locking-selftest-softirq.h"
1062cae2ed9aSIngo Molnar // GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_soft)
1063cae2ed9aSIngo Molnar 
1064cae2ed9aSIngo Molnar #ifdef CONFIG_DEBUG_LOCK_ALLOC
1065cae2ed9aSIngo Molnar # define I_SPINLOCK(x)	lockdep_reset_lock(&lock_##x.dep_map)
1066cae2ed9aSIngo Molnar # define I_RWLOCK(x)	lockdep_reset_lock(&rwlock_##x.dep_map)
1067cae2ed9aSIngo Molnar # define I_MUTEX(x)	lockdep_reset_lock(&mutex_##x.dep_map)
1068cae2ed9aSIngo Molnar # define I_RWSEM(x)	lockdep_reset_lock(&rwsem_##x.dep_map)
10691de99445SMaarten Lankhorst # define I_WW(x)	lockdep_reset_lock(&x.dep_map)
1070018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1071018956d6SPeter Zijlstra # define I_RTMUTEX(x)	lockdep_reset_lock(&rtmutex_##x.dep_map)
1072018956d6SPeter Zijlstra #endif
1073cae2ed9aSIngo Molnar #else
1074cae2ed9aSIngo Molnar # define I_SPINLOCK(x)
1075cae2ed9aSIngo Molnar # define I_RWLOCK(x)
1076cae2ed9aSIngo Molnar # define I_MUTEX(x)
1077cae2ed9aSIngo Molnar # define I_RWSEM(x)
10781de99445SMaarten Lankhorst # define I_WW(x)
1079cae2ed9aSIngo Molnar #endif
1080cae2ed9aSIngo Molnar 
1081018956d6SPeter Zijlstra #ifndef I_RTMUTEX
1082018956d6SPeter Zijlstra # define I_RTMUTEX(x)
1083018956d6SPeter Zijlstra #endif
1084018956d6SPeter Zijlstra 
1085018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1086018956d6SPeter Zijlstra #define I2_RTMUTEX(x)	rt_mutex_init(&rtmutex_##x)
1087018956d6SPeter Zijlstra #else
1088018956d6SPeter Zijlstra #define I2_RTMUTEX(x)
1089018956d6SPeter Zijlstra #endif
1090018956d6SPeter Zijlstra 
1091cae2ed9aSIngo Molnar #define I1(x)					\
1092cae2ed9aSIngo Molnar 	do {					\
1093cae2ed9aSIngo Molnar 		I_SPINLOCK(x);			\
1094cae2ed9aSIngo Molnar 		I_RWLOCK(x);			\
1095cae2ed9aSIngo Molnar 		I_MUTEX(x);			\
1096cae2ed9aSIngo Molnar 		I_RWSEM(x);			\
1097018956d6SPeter Zijlstra 		I_RTMUTEX(x);			\
1098cae2ed9aSIngo Molnar 	} while (0)
1099cae2ed9aSIngo Molnar 
1100cae2ed9aSIngo Molnar #define I2(x)					\
1101cae2ed9aSIngo Molnar 	do {					\
11029fb1b90cSYong Zhang 		raw_spin_lock_init(&lock_##x);	\
1103cae2ed9aSIngo Molnar 		rwlock_init(&rwlock_##x);	\
1104cae2ed9aSIngo Molnar 		mutex_init(&mutex_##x);		\
1105cae2ed9aSIngo Molnar 		init_rwsem(&rwsem_##x);		\
1106018956d6SPeter Zijlstra 		I2_RTMUTEX(x);			\
1107cae2ed9aSIngo Molnar 	} while (0)
1108cae2ed9aSIngo Molnar 
1109cae2ed9aSIngo Molnar static void reset_locks(void)
1110cae2ed9aSIngo Molnar {
1111cae2ed9aSIngo Molnar 	local_irq_disable();
11121de99445SMaarten Lankhorst 	lockdep_free_key_range(&ww_lockdep.acquire_key, 1);
11131de99445SMaarten Lankhorst 	lockdep_free_key_range(&ww_lockdep.mutex_key, 1);
11141de99445SMaarten Lankhorst 
1115cae2ed9aSIngo Molnar 	I1(A); I1(B); I1(C); I1(D);
1116cae2ed9aSIngo Molnar 	I1(X1); I1(X2); I1(Y1); I1(Y2); I1(Z1); I1(Z2);
1117f3cf139eSMaarten Lankhorst 	I_WW(t); I_WW(t2); I_WW(o.base); I_WW(o2.base); I_WW(o3.base);
1118cae2ed9aSIngo Molnar 	lockdep_reset();
1119cae2ed9aSIngo Molnar 	I2(A); I2(B); I2(C); I2(D);
1120cae2ed9aSIngo Molnar 	init_shared_classes();
11211de99445SMaarten Lankhorst 
1122f3cf139eSMaarten Lankhorst 	ww_mutex_init(&o, &ww_lockdep); ww_mutex_init(&o2, &ww_lockdep); ww_mutex_init(&o3, &ww_lockdep);
11231de99445SMaarten Lankhorst 	memset(&t, 0, sizeof(t)); memset(&t2, 0, sizeof(t2));
11241de99445SMaarten Lankhorst 	memset(&ww_lockdep.acquire_key, 0, sizeof(ww_lockdep.acquire_key));
11251de99445SMaarten Lankhorst 	memset(&ww_lockdep.mutex_key, 0, sizeof(ww_lockdep.mutex_key));
1126cae2ed9aSIngo Molnar 	local_irq_enable();
1127cae2ed9aSIngo Molnar }
1128cae2ed9aSIngo Molnar 
1129cae2ed9aSIngo Molnar #undef I
1130cae2ed9aSIngo Molnar 
1131cae2ed9aSIngo Molnar static int testcase_total;
1132cae2ed9aSIngo Molnar static int testcase_successes;
1133cae2ed9aSIngo Molnar static int expected_testcase_failures;
1134cae2ed9aSIngo Molnar static int unexpected_testcase_failures;
1135cae2ed9aSIngo Molnar 
1136cae2ed9aSIngo Molnar static void dotest(void (*testcase_fn)(void), int expected, int lockclass_mask)
1137cae2ed9aSIngo Molnar {
1138cae2ed9aSIngo Molnar 	unsigned long saved_preempt_count = preempt_count();
1139cae2ed9aSIngo Molnar 
1140cae2ed9aSIngo Molnar 	WARN_ON(irqs_disabled());
1141cae2ed9aSIngo Molnar 
1142cae2ed9aSIngo Molnar 	testcase_fn();
1143cae2ed9aSIngo Molnar 	/*
1144cae2ed9aSIngo Molnar 	 * Filter out expected failures:
1145cae2ed9aSIngo Molnar 	 */
11461de99445SMaarten Lankhorst #ifndef CONFIG_PROVE_LOCKING
1147166989e3SMaarten Lankhorst 	if (expected == FAILURE && debug_locks) {
1148cae2ed9aSIngo Molnar 		expected_testcase_failures++;
114925139409SMichael Ellerman 		pr_cont("failed|");
1150166989e3SMaarten Lankhorst 	}
1151166989e3SMaarten Lankhorst 	else
1152166989e3SMaarten Lankhorst #endif
1153166989e3SMaarten Lankhorst 	if (debug_locks != expected) {
1154cae2ed9aSIngo Molnar 		unexpected_testcase_failures++;
115525139409SMichael Ellerman 		pr_cont("FAILED|");
1156cae2ed9aSIngo Molnar 	} else {
1157cae2ed9aSIngo Molnar 		testcase_successes++;
115825139409SMichael Ellerman 		pr_cont("  ok  |");
1159cae2ed9aSIngo Molnar 	}
1160cae2ed9aSIngo Molnar 	testcase_total++;
1161cae2ed9aSIngo Molnar 
1162cae2ed9aSIngo Molnar 	if (debug_locks_verbose)
116325139409SMichael Ellerman 		pr_cont(" lockclass mask: %x, debug_locks: %d, expected: %d\n",
1164cae2ed9aSIngo Molnar 			lockclass_mask, debug_locks, expected);
1165cae2ed9aSIngo Molnar 	/*
1166cae2ed9aSIngo Molnar 	 * Some tests (e.g. double-unlock) might corrupt the preemption
1167cae2ed9aSIngo Molnar 	 * count, so restore it:
1168cae2ed9aSIngo Molnar 	 */
11694a2b4b22SPeter Zijlstra 	preempt_count_set(saved_preempt_count);
1170cae2ed9aSIngo Molnar #ifdef CONFIG_TRACE_IRQFLAGS
1171cae2ed9aSIngo Molnar 	if (softirq_count())
1172cae2ed9aSIngo Molnar 		current->softirqs_enabled = 0;
1173cae2ed9aSIngo Molnar 	else
1174cae2ed9aSIngo Molnar 		current->softirqs_enabled = 1;
1175cae2ed9aSIngo Molnar #endif
1176cae2ed9aSIngo Molnar 
1177cae2ed9aSIngo Molnar 	reset_locks();
1178cae2ed9aSIngo Molnar }
1179cae2ed9aSIngo Molnar 
1180018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1181018956d6SPeter Zijlstra #define dotest_rt(fn, e, m)	dotest((fn), (e), (m))
1182018956d6SPeter Zijlstra #else
1183018956d6SPeter Zijlstra #define dotest_rt(fn, e, m)
1184018956d6SPeter Zijlstra #endif
1185018956d6SPeter Zijlstra 
1186cae2ed9aSIngo Molnar static inline void print_testname(const char *testname)
1187cae2ed9aSIngo Molnar {
1188cae2ed9aSIngo Molnar 	printk("%33s:", testname);
1189cae2ed9aSIngo Molnar }
1190cae2ed9aSIngo Molnar 
1191cae2ed9aSIngo Molnar #define DO_TESTCASE_1(desc, name, nr)				\
1192cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1193cae2ed9aSIngo Molnar 	dotest(name##_##nr, SUCCESS, LOCKTYPE_RWLOCK);		\
119425139409SMichael Ellerman 	pr_cont("\n");
1195cae2ed9aSIngo Molnar 
1196cae2ed9aSIngo Molnar #define DO_TESTCASE_1B(desc, name, nr)				\
1197cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1198cae2ed9aSIngo Molnar 	dotest(name##_##nr, FAILURE, LOCKTYPE_RWLOCK);		\
119925139409SMichael Ellerman 	pr_cont("\n");
1200cae2ed9aSIngo Molnar 
1201cae2ed9aSIngo Molnar #define DO_TESTCASE_3(desc, name, nr)				\
1202cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1203cae2ed9aSIngo Molnar 	dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN);	\
1204cae2ed9aSIngo Molnar 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
1205cae2ed9aSIngo Molnar 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
120625139409SMichael Ellerman 	pr_cont("\n");
1207cae2ed9aSIngo Molnar 
1208cae2ed9aSIngo Molnar #define DO_TESTCASE_3RW(desc, name, nr)				\
1209cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1210cae2ed9aSIngo Molnar 	dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN|LOCKTYPE_RWLOCK);\
1211cae2ed9aSIngo Molnar 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
1212cae2ed9aSIngo Molnar 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
121325139409SMichael Ellerman 	pr_cont("\n");
1214cae2ed9aSIngo Molnar 
1215cae2ed9aSIngo Molnar #define DO_TESTCASE_6(desc, name)				\
1216cae2ed9aSIngo Molnar 	print_testname(desc);					\
1217cae2ed9aSIngo Molnar 	dotest(name##_spin, FAILURE, LOCKTYPE_SPIN);		\
1218cae2ed9aSIngo Molnar 	dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK);		\
1219cae2ed9aSIngo Molnar 	dotest(name##_rlock, FAILURE, LOCKTYPE_RWLOCK);		\
1220cae2ed9aSIngo Molnar 	dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX);		\
1221cae2ed9aSIngo Molnar 	dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM);		\
1222cae2ed9aSIngo Molnar 	dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM);		\
1223018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX);	\
122425139409SMichael Ellerman 	pr_cont("\n");
1225cae2ed9aSIngo Molnar 
1226cae2ed9aSIngo Molnar #define DO_TESTCASE_6_SUCCESS(desc, name)			\
1227cae2ed9aSIngo Molnar 	print_testname(desc);					\
1228cae2ed9aSIngo Molnar 	dotest(name##_spin, SUCCESS, LOCKTYPE_SPIN);		\
1229cae2ed9aSIngo Molnar 	dotest(name##_wlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1230cae2ed9aSIngo Molnar 	dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1231cae2ed9aSIngo Molnar 	dotest(name##_mutex, SUCCESS, LOCKTYPE_MUTEX);		\
1232cae2ed9aSIngo Molnar 	dotest(name##_wsem, SUCCESS, LOCKTYPE_RWSEM);		\
1233cae2ed9aSIngo Molnar 	dotest(name##_rsem, SUCCESS, LOCKTYPE_RWSEM);		\
1234018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, SUCCESS, LOCKTYPE_RTMUTEX);	\
123525139409SMichael Ellerman 	pr_cont("\n");
1236cae2ed9aSIngo Molnar 
1237cae2ed9aSIngo Molnar /*
1238cae2ed9aSIngo Molnar  * 'read' variant: rlocks must not trigger.
1239cae2ed9aSIngo Molnar  */
1240cae2ed9aSIngo Molnar #define DO_TESTCASE_6R(desc, name)				\
1241cae2ed9aSIngo Molnar 	print_testname(desc);					\
1242cae2ed9aSIngo Molnar 	dotest(name##_spin, FAILURE, LOCKTYPE_SPIN);		\
1243cae2ed9aSIngo Molnar 	dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK);		\
1244cae2ed9aSIngo Molnar 	dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1245cae2ed9aSIngo Molnar 	dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX);		\
1246cae2ed9aSIngo Molnar 	dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM);		\
1247cae2ed9aSIngo Molnar 	dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM);		\
1248018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX);	\
124925139409SMichael Ellerman 	pr_cont("\n");
1250cae2ed9aSIngo Molnar 
1251cae2ed9aSIngo Molnar #define DO_TESTCASE_2I(desc, name, nr)				\
1252cae2ed9aSIngo Molnar 	DO_TESTCASE_1("hard-"desc, name##_hard, nr);		\
1253cae2ed9aSIngo Molnar 	DO_TESTCASE_1("soft-"desc, name##_soft, nr);
1254cae2ed9aSIngo Molnar 
1255cae2ed9aSIngo Molnar #define DO_TESTCASE_2IB(desc, name, nr)				\
1256cae2ed9aSIngo Molnar 	DO_TESTCASE_1B("hard-"desc, name##_hard, nr);		\
1257cae2ed9aSIngo Molnar 	DO_TESTCASE_1B("soft-"desc, name##_soft, nr);
1258cae2ed9aSIngo Molnar 
1259cae2ed9aSIngo Molnar #define DO_TESTCASE_6I(desc, name, nr)				\
1260cae2ed9aSIngo Molnar 	DO_TESTCASE_3("hard-"desc, name##_hard, nr);		\
1261cae2ed9aSIngo Molnar 	DO_TESTCASE_3("soft-"desc, name##_soft, nr);
1262cae2ed9aSIngo Molnar 
1263cae2ed9aSIngo Molnar #define DO_TESTCASE_6IRW(desc, name, nr)			\
1264cae2ed9aSIngo Molnar 	DO_TESTCASE_3RW("hard-"desc, name##_hard, nr);		\
1265cae2ed9aSIngo Molnar 	DO_TESTCASE_3RW("soft-"desc, name##_soft, nr);
1266cae2ed9aSIngo Molnar 
1267cae2ed9aSIngo Molnar #define DO_TESTCASE_2x3(desc, name)				\
1268cae2ed9aSIngo Molnar 	DO_TESTCASE_3(desc, name, 12);				\
1269cae2ed9aSIngo Molnar 	DO_TESTCASE_3(desc, name, 21);
1270cae2ed9aSIngo Molnar 
1271cae2ed9aSIngo Molnar #define DO_TESTCASE_2x6(desc, name)				\
1272cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 12);				\
1273cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 21);
1274cae2ed9aSIngo Molnar 
1275cae2ed9aSIngo Molnar #define DO_TESTCASE_6x2(desc, name)				\
1276cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 123);			\
1277cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 132);			\
1278cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 213);			\
1279cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 231);			\
1280cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 312);			\
1281cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 321);
1282cae2ed9aSIngo Molnar 
1283cae2ed9aSIngo Molnar #define DO_TESTCASE_6x2B(desc, name)				\
1284cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 123);			\
1285cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 132);			\
1286cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 213);			\
1287cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 231);			\
1288cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 312);			\
1289cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 321);
1290cae2ed9aSIngo Molnar 
1291cae2ed9aSIngo Molnar #define DO_TESTCASE_6x6(desc, name)				\
1292cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 123);			\
1293cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 132);			\
1294cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 213);			\
1295cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 231);			\
1296cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 312);			\
1297cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 321);
1298cae2ed9aSIngo Molnar 
1299cae2ed9aSIngo Molnar #define DO_TESTCASE_6x6RW(desc, name)				\
1300cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 123);			\
1301cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 132);			\
1302cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 213);			\
1303cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 231);			\
1304cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 312);			\
1305cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 321);
1306cae2ed9aSIngo Molnar 
13071de99445SMaarten Lankhorst static void ww_test_fail_acquire(void)
13081de99445SMaarten Lankhorst {
13091de99445SMaarten Lankhorst 	int ret;
13101de99445SMaarten Lankhorst 
13111de99445SMaarten Lankhorst 	WWAI(&t);
13121de99445SMaarten Lankhorst 	t.stamp++;
13131de99445SMaarten Lankhorst 
13141de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
13151de99445SMaarten Lankhorst 
13161de99445SMaarten Lankhorst 	if (WARN_ON(!o.ctx) ||
13171de99445SMaarten Lankhorst 	    WARN_ON(ret))
13181de99445SMaarten Lankhorst 		return;
13191de99445SMaarten Lankhorst 
13201de99445SMaarten Lankhorst 	/* No lockdep test, pure API */
13211de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
13221de99445SMaarten Lankhorst 	WARN_ON(ret != -EALREADY);
13231de99445SMaarten Lankhorst 
13241de99445SMaarten Lankhorst 	ret = WWT(&o);
13251de99445SMaarten Lankhorst 	WARN_ON(ret);
13261de99445SMaarten Lankhorst 
13271de99445SMaarten Lankhorst 	t2 = t;
13281de99445SMaarten Lankhorst 	t2.stamp++;
13291de99445SMaarten Lankhorst 	ret = WWL(&o, &t2);
13301de99445SMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
13311de99445SMaarten Lankhorst 	WWU(&o);
13321de99445SMaarten Lankhorst 
13331de99445SMaarten Lankhorst 	if (WWT(&o))
13341de99445SMaarten Lankhorst 		WWU(&o);
13351de99445SMaarten Lankhorst #ifdef CONFIG_DEBUG_LOCK_ALLOC
13361de99445SMaarten Lankhorst 	else
13371de99445SMaarten Lankhorst 		DEBUG_LOCKS_WARN_ON(1);
13381de99445SMaarten Lankhorst #endif
13391de99445SMaarten Lankhorst }
13401de99445SMaarten Lankhorst 
13412fe3d4b1SMaarten Lankhorst static void ww_test_normal(void)
13422fe3d4b1SMaarten Lankhorst {
13432fe3d4b1SMaarten Lankhorst 	int ret;
13442fe3d4b1SMaarten Lankhorst 
13452fe3d4b1SMaarten Lankhorst 	WWAI(&t);
13462fe3d4b1SMaarten Lankhorst 
13472fe3d4b1SMaarten Lankhorst 	/*
13482fe3d4b1SMaarten Lankhorst 	 * None of the ww_mutex codepaths should be taken in the 'normal'
13492fe3d4b1SMaarten Lankhorst 	 * mutex calls. The easiest way to verify this is by using the
13502fe3d4b1SMaarten Lankhorst 	 * normal mutex calls, and making sure o.ctx is unmodified.
13512fe3d4b1SMaarten Lankhorst 	 */
13522fe3d4b1SMaarten Lankhorst 
13532fe3d4b1SMaarten Lankhorst 	/* mutex_lock (and indirectly, mutex_lock_nested) */
13542fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
13552fe3d4b1SMaarten Lankhorst 	mutex_lock(&o.base);
13562fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
13572fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
13582fe3d4b1SMaarten Lankhorst 
13592fe3d4b1SMaarten Lankhorst 	/* mutex_lock_interruptible (and *_nested) */
13602fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
13612fe3d4b1SMaarten Lankhorst 	ret = mutex_lock_interruptible(&o.base);
13622fe3d4b1SMaarten Lankhorst 	if (!ret)
13632fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
13642fe3d4b1SMaarten Lankhorst 	else
13652fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
13662fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
13672fe3d4b1SMaarten Lankhorst 
13682fe3d4b1SMaarten Lankhorst 	/* mutex_lock_killable (and *_nested) */
13692fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
13702fe3d4b1SMaarten Lankhorst 	ret = mutex_lock_killable(&o.base);
13712fe3d4b1SMaarten Lankhorst 	if (!ret)
13722fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
13732fe3d4b1SMaarten Lankhorst 	else
13742fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
13752fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
13762fe3d4b1SMaarten Lankhorst 
13772fe3d4b1SMaarten Lankhorst 	/* trylock, succeeding */
13782fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
13792fe3d4b1SMaarten Lankhorst 	ret = mutex_trylock(&o.base);
13802fe3d4b1SMaarten Lankhorst 	WARN_ON(!ret);
13812fe3d4b1SMaarten Lankhorst 	if (ret)
13822fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
13832fe3d4b1SMaarten Lankhorst 	else
13842fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
13852fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
13862fe3d4b1SMaarten Lankhorst 
13872fe3d4b1SMaarten Lankhorst 	/* trylock, failing */
13882fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
13892fe3d4b1SMaarten Lankhorst 	mutex_lock(&o.base);
13902fe3d4b1SMaarten Lankhorst 	ret = mutex_trylock(&o.base);
13912fe3d4b1SMaarten Lankhorst 	WARN_ON(ret);
13922fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
13932fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
13942fe3d4b1SMaarten Lankhorst 
13952fe3d4b1SMaarten Lankhorst 	/* nest_lock */
13962fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
13972fe3d4b1SMaarten Lankhorst 	mutex_lock_nest_lock(&o.base, &t);
13982fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
13992fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
14002fe3d4b1SMaarten Lankhorst }
14012fe3d4b1SMaarten Lankhorst 
14021de99445SMaarten Lankhorst static void ww_test_two_contexts(void)
14031de99445SMaarten Lankhorst {
14041de99445SMaarten Lankhorst 	WWAI(&t);
14051de99445SMaarten Lankhorst 	WWAI(&t2);
14061de99445SMaarten Lankhorst }
14071de99445SMaarten Lankhorst 
14081de99445SMaarten Lankhorst static void ww_test_diff_class(void)
14091de99445SMaarten Lankhorst {
14101de99445SMaarten Lankhorst 	WWAI(&t);
14111de99445SMaarten Lankhorst #ifdef CONFIG_DEBUG_MUTEXES
14121de99445SMaarten Lankhorst 	t.ww_class = NULL;
14131de99445SMaarten Lankhorst #endif
14141de99445SMaarten Lankhorst 	WWL(&o, &t);
14151de99445SMaarten Lankhorst }
14161de99445SMaarten Lankhorst 
14171de99445SMaarten Lankhorst static void ww_test_context_done_twice(void)
14181de99445SMaarten Lankhorst {
14191de99445SMaarten Lankhorst 	WWAI(&t);
14201de99445SMaarten Lankhorst 	WWAD(&t);
14211de99445SMaarten Lankhorst 	WWAD(&t);
14221de99445SMaarten Lankhorst 	WWAF(&t);
14231de99445SMaarten Lankhorst }
14241de99445SMaarten Lankhorst 
14251de99445SMaarten Lankhorst static void ww_test_context_unlock_twice(void)
14261de99445SMaarten Lankhorst {
14271de99445SMaarten Lankhorst 	WWAI(&t);
14281de99445SMaarten Lankhorst 	WWAD(&t);
14291de99445SMaarten Lankhorst 	WWAF(&t);
14301de99445SMaarten Lankhorst 	WWAF(&t);
14311de99445SMaarten Lankhorst }
14321de99445SMaarten Lankhorst 
14331de99445SMaarten Lankhorst static void ww_test_context_fini_early(void)
14341de99445SMaarten Lankhorst {
14351de99445SMaarten Lankhorst 	WWAI(&t);
14361de99445SMaarten Lankhorst 	WWL(&o, &t);
14371de99445SMaarten Lankhorst 	WWAD(&t);
14381de99445SMaarten Lankhorst 	WWAF(&t);
14391de99445SMaarten Lankhorst }
14401de99445SMaarten Lankhorst 
14411de99445SMaarten Lankhorst static void ww_test_context_lock_after_done(void)
14421de99445SMaarten Lankhorst {
14431de99445SMaarten Lankhorst 	WWAI(&t);
14441de99445SMaarten Lankhorst 	WWAD(&t);
14451de99445SMaarten Lankhorst 	WWL(&o, &t);
14461de99445SMaarten Lankhorst }
14471de99445SMaarten Lankhorst 
14481de99445SMaarten Lankhorst static void ww_test_object_unlock_twice(void)
14491de99445SMaarten Lankhorst {
14501de99445SMaarten Lankhorst 	WWL1(&o);
14511de99445SMaarten Lankhorst 	WWU(&o);
14521de99445SMaarten Lankhorst 	WWU(&o);
14531de99445SMaarten Lankhorst }
14541de99445SMaarten Lankhorst 
14551de99445SMaarten Lankhorst static void ww_test_object_lock_unbalanced(void)
14561de99445SMaarten Lankhorst {
14571de99445SMaarten Lankhorst 	WWAI(&t);
14581de99445SMaarten Lankhorst 	WWL(&o, &t);
14591de99445SMaarten Lankhorst 	t.acquired = 0;
14601de99445SMaarten Lankhorst 	WWU(&o);
14611de99445SMaarten Lankhorst 	WWAF(&t);
14621de99445SMaarten Lankhorst }
14631de99445SMaarten Lankhorst 
14641de99445SMaarten Lankhorst static void ww_test_object_lock_stale_context(void)
14651de99445SMaarten Lankhorst {
14661de99445SMaarten Lankhorst 	WWAI(&t);
14671de99445SMaarten Lankhorst 	o.ctx = &t2;
14681de99445SMaarten Lankhorst 	WWL(&o, &t);
14691de99445SMaarten Lankhorst }
14701de99445SMaarten Lankhorst 
1471f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_normal(void)
1472f3cf139eSMaarten Lankhorst {
1473f3cf139eSMaarten Lankhorst 	int ret;
1474f3cf139eSMaarten Lankhorst 
1475f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1476f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1477f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1478f3cf139eSMaarten Lankhorst 
1479f3cf139eSMaarten Lankhorst 	WWAI(&t);
1480f3cf139eSMaarten Lankhorst 	t2 = t;
1481f3cf139eSMaarten Lankhorst 	t2.stamp--;
1482f3cf139eSMaarten Lankhorst 
1483f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1484f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1485f3cf139eSMaarten Lankhorst 
1486f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1487f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1488f3cf139eSMaarten Lankhorst 
1489f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1490f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1491f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1492f3cf139eSMaarten Lankhorst 	WWU(&o);
1493f3cf139eSMaarten Lankhorst 
1494f3cf139eSMaarten Lankhorst 	WWL(&o2, &t);
1495f3cf139eSMaarten Lankhorst }
1496f3cf139eSMaarten Lankhorst 
1497f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_normal_slow(void)
1498f3cf139eSMaarten Lankhorst {
1499f3cf139eSMaarten Lankhorst 	int ret;
1500f3cf139eSMaarten Lankhorst 
1501f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1502f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1503f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1504f3cf139eSMaarten Lankhorst 
1505f3cf139eSMaarten Lankhorst 	WWAI(&t);
1506f3cf139eSMaarten Lankhorst 	t2 = t;
1507f3cf139eSMaarten Lankhorst 	t2.stamp--;
1508f3cf139eSMaarten Lankhorst 
1509f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1510f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1511f3cf139eSMaarten Lankhorst 
1512f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1513f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1514f3cf139eSMaarten Lankhorst 
1515f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1516f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1517f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1518f3cf139eSMaarten Lankhorst 	WWU(&o);
1519f3cf139eSMaarten Lankhorst 
1520f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o2, &t);
1521f3cf139eSMaarten Lankhorst }
1522f3cf139eSMaarten Lankhorst 
1523f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_no_unlock(void)
1524f3cf139eSMaarten Lankhorst {
1525f3cf139eSMaarten Lankhorst 	int ret;
1526f3cf139eSMaarten Lankhorst 
1527f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1528f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1529f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1530f3cf139eSMaarten Lankhorst 
1531f3cf139eSMaarten Lankhorst 	WWAI(&t);
1532f3cf139eSMaarten Lankhorst 	t2 = t;
1533f3cf139eSMaarten Lankhorst 	t2.stamp--;
1534f3cf139eSMaarten Lankhorst 
1535f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1536f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1537f3cf139eSMaarten Lankhorst 
1538f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1539f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1540f3cf139eSMaarten Lankhorst 
1541f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1542f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1543f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1544f3cf139eSMaarten Lankhorst 
1545f3cf139eSMaarten Lankhorst 	WWL(&o2, &t);
1546f3cf139eSMaarten Lankhorst }
1547f3cf139eSMaarten Lankhorst 
1548f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_no_unlock_slow(void)
1549f3cf139eSMaarten Lankhorst {
1550f3cf139eSMaarten Lankhorst 	int ret;
1551f3cf139eSMaarten Lankhorst 
1552f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1553f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1554f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1555f3cf139eSMaarten Lankhorst 
1556f3cf139eSMaarten Lankhorst 	WWAI(&t);
1557f3cf139eSMaarten Lankhorst 	t2 = t;
1558f3cf139eSMaarten Lankhorst 	t2.stamp--;
1559f3cf139eSMaarten Lankhorst 
1560f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1561f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1562f3cf139eSMaarten Lankhorst 
1563f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1564f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1565f3cf139eSMaarten Lankhorst 
1566f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1567f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1568f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1569f3cf139eSMaarten Lankhorst 
1570f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o2, &t);
1571f3cf139eSMaarten Lankhorst }
1572f3cf139eSMaarten Lankhorst 
1573f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more(void)
1574f3cf139eSMaarten Lankhorst {
1575f3cf139eSMaarten Lankhorst 	int ret;
1576f3cf139eSMaarten Lankhorst 
1577f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1578f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1579f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1580f3cf139eSMaarten Lankhorst 
1581f3cf139eSMaarten Lankhorst 	WWAI(&t);
1582f3cf139eSMaarten Lankhorst 	t2 = t;
1583f3cf139eSMaarten Lankhorst 	t2.stamp--;
1584f3cf139eSMaarten Lankhorst 
1585f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1586f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1587f3cf139eSMaarten Lankhorst 
1588f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1589f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1590f3cf139eSMaarten Lankhorst 
1591f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1592f3cf139eSMaarten Lankhorst }
1593f3cf139eSMaarten Lankhorst 
1594f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_slow(void)
1595f3cf139eSMaarten Lankhorst {
1596f3cf139eSMaarten Lankhorst 	int ret;
1597f3cf139eSMaarten Lankhorst 
1598f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1599f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1600f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1601f3cf139eSMaarten Lankhorst 
1602f3cf139eSMaarten Lankhorst 	WWAI(&t);
1603f3cf139eSMaarten Lankhorst 	t2 = t;
1604f3cf139eSMaarten Lankhorst 	t2.stamp--;
1605f3cf139eSMaarten Lankhorst 
1606f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1607f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1608f3cf139eSMaarten Lankhorst 
1609f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1610f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1611f3cf139eSMaarten Lankhorst 
1612f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1613f3cf139eSMaarten Lankhorst }
1614f3cf139eSMaarten Lankhorst 
1615f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_edeadlk(void)
1616f3cf139eSMaarten Lankhorst {
1617f3cf139eSMaarten Lankhorst 	int ret;
1618f3cf139eSMaarten Lankhorst 
1619f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1620f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1621f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1622f3cf139eSMaarten Lankhorst 
1623f3cf139eSMaarten Lankhorst 	mutex_lock(&o3.base);
1624f3cf139eSMaarten Lankhorst 	mutex_release(&o3.base.dep_map, 1, _THIS_IP_);
1625f3cf139eSMaarten Lankhorst 	o3.ctx = &t2;
1626f3cf139eSMaarten Lankhorst 
1627f3cf139eSMaarten Lankhorst 	WWAI(&t);
1628f3cf139eSMaarten Lankhorst 	t2 = t;
1629f3cf139eSMaarten Lankhorst 	t2.stamp--;
1630f3cf139eSMaarten Lankhorst 
1631f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1632f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1633f3cf139eSMaarten Lankhorst 
1634f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1635f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1636f3cf139eSMaarten Lankhorst 
1637f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1638f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1639f3cf139eSMaarten Lankhorst }
1640f3cf139eSMaarten Lankhorst 
1641f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_edeadlk_slow(void)
1642f3cf139eSMaarten Lankhorst {
1643f3cf139eSMaarten Lankhorst 	int ret;
1644f3cf139eSMaarten Lankhorst 
1645f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1646f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1647f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1648f3cf139eSMaarten Lankhorst 
1649f3cf139eSMaarten Lankhorst 	mutex_lock(&o3.base);
1650f3cf139eSMaarten Lankhorst 	mutex_release(&o3.base.dep_map, 1, _THIS_IP_);
1651f3cf139eSMaarten Lankhorst 	o3.ctx = &t2;
1652f3cf139eSMaarten Lankhorst 
1653f3cf139eSMaarten Lankhorst 	WWAI(&t);
1654f3cf139eSMaarten Lankhorst 	t2 = t;
1655f3cf139eSMaarten Lankhorst 	t2.stamp--;
1656f3cf139eSMaarten Lankhorst 
1657f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1658f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1659f3cf139eSMaarten Lankhorst 
1660f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1661f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1662f3cf139eSMaarten Lankhorst 
1663f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1664f3cf139eSMaarten Lankhorst }
1665f3cf139eSMaarten Lankhorst 
1666f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_wrong(void)
1667f3cf139eSMaarten Lankhorst {
1668f3cf139eSMaarten Lankhorst 	int ret;
1669f3cf139eSMaarten Lankhorst 
1670f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1671f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1672f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1673f3cf139eSMaarten Lankhorst 
1674f3cf139eSMaarten Lankhorst 	WWAI(&t);
1675f3cf139eSMaarten Lankhorst 	t2 = t;
1676f3cf139eSMaarten Lankhorst 	t2.stamp--;
1677f3cf139eSMaarten Lankhorst 
1678f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1679f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1680f3cf139eSMaarten Lankhorst 
1681f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1682f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1683f3cf139eSMaarten Lankhorst 	if (!ret)
1684f3cf139eSMaarten Lankhorst 		WWU(&o2);
1685f3cf139eSMaarten Lankhorst 
1686f3cf139eSMaarten Lankhorst 	WWU(&o);
1687f3cf139eSMaarten Lankhorst 
1688f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1689f3cf139eSMaarten Lankhorst }
1690f3cf139eSMaarten Lankhorst 
1691f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_wrong_slow(void)
1692f3cf139eSMaarten Lankhorst {
1693f3cf139eSMaarten Lankhorst 	int ret;
1694f3cf139eSMaarten Lankhorst 
1695f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1696f3cf139eSMaarten Lankhorst 	mutex_release(&o2.base.dep_map, 1, _THIS_IP_);
1697f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1698f3cf139eSMaarten Lankhorst 
1699f3cf139eSMaarten Lankhorst 	WWAI(&t);
1700f3cf139eSMaarten Lankhorst 	t2 = t;
1701f3cf139eSMaarten Lankhorst 	t2.stamp--;
1702f3cf139eSMaarten Lankhorst 
1703f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1704f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1705f3cf139eSMaarten Lankhorst 
1706f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1707f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1708f3cf139eSMaarten Lankhorst 	if (!ret)
1709f3cf139eSMaarten Lankhorst 		WWU(&o2);
1710f3cf139eSMaarten Lankhorst 
1711f3cf139eSMaarten Lankhorst 	WWU(&o);
1712f3cf139eSMaarten Lankhorst 
1713f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1714f3cf139eSMaarten Lankhorst }
1715f3cf139eSMaarten Lankhorst 
17161de99445SMaarten Lankhorst static void ww_test_spin_nest_unlocked(void)
17171de99445SMaarten Lankhorst {
17181de99445SMaarten Lankhorst 	raw_spin_lock_nest_lock(&lock_A, &o.base);
17191de99445SMaarten Lankhorst 	U(A);
17201de99445SMaarten Lankhorst }
17211de99445SMaarten Lankhorst 
17221de99445SMaarten Lankhorst static void ww_test_unneeded_slow(void)
17231de99445SMaarten Lankhorst {
17241de99445SMaarten Lankhorst 	WWAI(&t);
17251de99445SMaarten Lankhorst 
17261de99445SMaarten Lankhorst 	ww_mutex_lock_slow(&o, &t);
17271de99445SMaarten Lankhorst }
17281de99445SMaarten Lankhorst 
17291de99445SMaarten Lankhorst static void ww_test_context_block(void)
17301de99445SMaarten Lankhorst {
17311de99445SMaarten Lankhorst 	int ret;
17321de99445SMaarten Lankhorst 
17331de99445SMaarten Lankhorst 	WWAI(&t);
17341de99445SMaarten Lankhorst 
17351de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
17361de99445SMaarten Lankhorst 	WARN_ON(ret);
17371de99445SMaarten Lankhorst 	WWL1(&o2);
17381de99445SMaarten Lankhorst }
17391de99445SMaarten Lankhorst 
17401de99445SMaarten Lankhorst static void ww_test_context_try(void)
17411de99445SMaarten Lankhorst {
17421de99445SMaarten Lankhorst 	int ret;
17431de99445SMaarten Lankhorst 
17441de99445SMaarten Lankhorst 	WWAI(&t);
17451de99445SMaarten Lankhorst 
17461de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
17471de99445SMaarten Lankhorst 	WARN_ON(ret);
17481de99445SMaarten Lankhorst 
17491de99445SMaarten Lankhorst 	ret = WWT(&o2);
17501de99445SMaarten Lankhorst 	WARN_ON(!ret);
17511de99445SMaarten Lankhorst 	WWU(&o2);
17521de99445SMaarten Lankhorst 	WWU(&o);
17531de99445SMaarten Lankhorst }
17541de99445SMaarten Lankhorst 
17551de99445SMaarten Lankhorst static void ww_test_context_context(void)
17561de99445SMaarten Lankhorst {
17571de99445SMaarten Lankhorst 	int ret;
17581de99445SMaarten Lankhorst 
17591de99445SMaarten Lankhorst 	WWAI(&t);
17601de99445SMaarten Lankhorst 
17611de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
17621de99445SMaarten Lankhorst 	WARN_ON(ret);
17631de99445SMaarten Lankhorst 
17641de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
17651de99445SMaarten Lankhorst 	WARN_ON(ret);
17661de99445SMaarten Lankhorst 
17671de99445SMaarten Lankhorst 	WWU(&o2);
17681de99445SMaarten Lankhorst 	WWU(&o);
17691de99445SMaarten Lankhorst }
17701de99445SMaarten Lankhorst 
17711de99445SMaarten Lankhorst static void ww_test_try_block(void)
17721de99445SMaarten Lankhorst {
17731de99445SMaarten Lankhorst 	bool ret;
17741de99445SMaarten Lankhorst 
17751de99445SMaarten Lankhorst 	ret = WWT(&o);
17761de99445SMaarten Lankhorst 	WARN_ON(!ret);
17771de99445SMaarten Lankhorst 
17781de99445SMaarten Lankhorst 	WWL1(&o2);
17791de99445SMaarten Lankhorst 	WWU(&o2);
17801de99445SMaarten Lankhorst 	WWU(&o);
17811de99445SMaarten Lankhorst }
17821de99445SMaarten Lankhorst 
17831de99445SMaarten Lankhorst static void ww_test_try_try(void)
17841de99445SMaarten Lankhorst {
17851de99445SMaarten Lankhorst 	bool ret;
17861de99445SMaarten Lankhorst 
17871de99445SMaarten Lankhorst 	ret = WWT(&o);
17881de99445SMaarten Lankhorst 	WARN_ON(!ret);
17891de99445SMaarten Lankhorst 	ret = WWT(&o2);
17901de99445SMaarten Lankhorst 	WARN_ON(!ret);
17911de99445SMaarten Lankhorst 	WWU(&o2);
17921de99445SMaarten Lankhorst 	WWU(&o);
17931de99445SMaarten Lankhorst }
17941de99445SMaarten Lankhorst 
17951de99445SMaarten Lankhorst static void ww_test_try_context(void)
17961de99445SMaarten Lankhorst {
17971de99445SMaarten Lankhorst 	int ret;
17981de99445SMaarten Lankhorst 
17991de99445SMaarten Lankhorst 	ret = WWT(&o);
18001de99445SMaarten Lankhorst 	WARN_ON(!ret);
18011de99445SMaarten Lankhorst 
18021de99445SMaarten Lankhorst 	WWAI(&t);
18031de99445SMaarten Lankhorst 
18041de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
18051de99445SMaarten Lankhorst 	WARN_ON(ret);
18061de99445SMaarten Lankhorst }
18071de99445SMaarten Lankhorst 
18081de99445SMaarten Lankhorst static void ww_test_block_block(void)
18091de99445SMaarten Lankhorst {
18101de99445SMaarten Lankhorst 	WWL1(&o);
18111de99445SMaarten Lankhorst 	WWL1(&o2);
18121de99445SMaarten Lankhorst }
18131de99445SMaarten Lankhorst 
18141de99445SMaarten Lankhorst static void ww_test_block_try(void)
18151de99445SMaarten Lankhorst {
18161de99445SMaarten Lankhorst 	bool ret;
18171de99445SMaarten Lankhorst 
18181de99445SMaarten Lankhorst 	WWL1(&o);
18191de99445SMaarten Lankhorst 	ret = WWT(&o2);
18201de99445SMaarten Lankhorst 	WARN_ON(!ret);
18211de99445SMaarten Lankhorst }
18221de99445SMaarten Lankhorst 
18231de99445SMaarten Lankhorst static void ww_test_block_context(void)
18241de99445SMaarten Lankhorst {
18251de99445SMaarten Lankhorst 	int ret;
18261de99445SMaarten Lankhorst 
18271de99445SMaarten Lankhorst 	WWL1(&o);
18281de99445SMaarten Lankhorst 	WWAI(&t);
18291de99445SMaarten Lankhorst 
18301de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
18311de99445SMaarten Lankhorst 	WARN_ON(ret);
18321de99445SMaarten Lankhorst }
18331de99445SMaarten Lankhorst 
18341de99445SMaarten Lankhorst static void ww_test_spin_block(void)
18351de99445SMaarten Lankhorst {
18361de99445SMaarten Lankhorst 	L(A);
18371de99445SMaarten Lankhorst 	U(A);
18381de99445SMaarten Lankhorst 
18391de99445SMaarten Lankhorst 	WWL1(&o);
18401de99445SMaarten Lankhorst 	L(A);
18411de99445SMaarten Lankhorst 	U(A);
18421de99445SMaarten Lankhorst 	WWU(&o);
18431de99445SMaarten Lankhorst 
18441de99445SMaarten Lankhorst 	L(A);
18451de99445SMaarten Lankhorst 	WWL1(&o);
18461de99445SMaarten Lankhorst 	WWU(&o);
18471de99445SMaarten Lankhorst 	U(A);
18481de99445SMaarten Lankhorst }
18491de99445SMaarten Lankhorst 
18501de99445SMaarten Lankhorst static void ww_test_spin_try(void)
18511de99445SMaarten Lankhorst {
18521de99445SMaarten Lankhorst 	bool ret;
18531de99445SMaarten Lankhorst 
18541de99445SMaarten Lankhorst 	L(A);
18551de99445SMaarten Lankhorst 	U(A);
18561de99445SMaarten Lankhorst 
18571de99445SMaarten Lankhorst 	ret = WWT(&o);
18581de99445SMaarten Lankhorst 	WARN_ON(!ret);
18591de99445SMaarten Lankhorst 	L(A);
18601de99445SMaarten Lankhorst 	U(A);
18611de99445SMaarten Lankhorst 	WWU(&o);
18621de99445SMaarten Lankhorst 
18631de99445SMaarten Lankhorst 	L(A);
18641de99445SMaarten Lankhorst 	ret = WWT(&o);
18651de99445SMaarten Lankhorst 	WARN_ON(!ret);
18661de99445SMaarten Lankhorst 	WWU(&o);
18671de99445SMaarten Lankhorst 	U(A);
18681de99445SMaarten Lankhorst }
18691de99445SMaarten Lankhorst 
18701de99445SMaarten Lankhorst static void ww_test_spin_context(void)
18711de99445SMaarten Lankhorst {
18721de99445SMaarten Lankhorst 	int ret;
18731de99445SMaarten Lankhorst 
18741de99445SMaarten Lankhorst 	L(A);
18751de99445SMaarten Lankhorst 	U(A);
18761de99445SMaarten Lankhorst 
18771de99445SMaarten Lankhorst 	WWAI(&t);
18781de99445SMaarten Lankhorst 
18791de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
18801de99445SMaarten Lankhorst 	WARN_ON(ret);
18811de99445SMaarten Lankhorst 	L(A);
18821de99445SMaarten Lankhorst 	U(A);
18831de99445SMaarten Lankhorst 	WWU(&o);
18841de99445SMaarten Lankhorst 
18851de99445SMaarten Lankhorst 	L(A);
18861de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
18871de99445SMaarten Lankhorst 	WARN_ON(ret);
18881de99445SMaarten Lankhorst 	WWU(&o);
18891de99445SMaarten Lankhorst 	U(A);
18901de99445SMaarten Lankhorst }
18911de99445SMaarten Lankhorst 
18921de99445SMaarten Lankhorst static void ww_tests(void)
18931de99445SMaarten Lankhorst {
18941de99445SMaarten Lankhorst 	printk("  --------------------------------------------------------------------------\n");
18951de99445SMaarten Lankhorst 	printk("  | Wound/wait tests |\n");
18961de99445SMaarten Lankhorst 	printk("  ---------------------\n");
18971de99445SMaarten Lankhorst 
18981de99445SMaarten Lankhorst 	print_testname("ww api failures");
18991de99445SMaarten Lankhorst 	dotest(ww_test_fail_acquire, SUCCESS, LOCKTYPE_WW);
19002fe3d4b1SMaarten Lankhorst 	dotest(ww_test_normal, SUCCESS, LOCKTYPE_WW);
19011de99445SMaarten Lankhorst 	dotest(ww_test_unneeded_slow, FAILURE, LOCKTYPE_WW);
190225139409SMichael Ellerman 	pr_cont("\n");
19031de99445SMaarten Lankhorst 
19041de99445SMaarten Lankhorst 	print_testname("ww contexts mixing");
19051de99445SMaarten Lankhorst 	dotest(ww_test_two_contexts, FAILURE, LOCKTYPE_WW);
19061de99445SMaarten Lankhorst 	dotest(ww_test_diff_class, FAILURE, LOCKTYPE_WW);
190725139409SMichael Ellerman 	pr_cont("\n");
19081de99445SMaarten Lankhorst 
19091de99445SMaarten Lankhorst 	print_testname("finishing ww context");
19101de99445SMaarten Lankhorst 	dotest(ww_test_context_done_twice, FAILURE, LOCKTYPE_WW);
19111de99445SMaarten Lankhorst 	dotest(ww_test_context_unlock_twice, FAILURE, LOCKTYPE_WW);
19121de99445SMaarten Lankhorst 	dotest(ww_test_context_fini_early, FAILURE, LOCKTYPE_WW);
19131de99445SMaarten Lankhorst 	dotest(ww_test_context_lock_after_done, FAILURE, LOCKTYPE_WW);
191425139409SMichael Ellerman 	pr_cont("\n");
19151de99445SMaarten Lankhorst 
19161de99445SMaarten Lankhorst 	print_testname("locking mismatches");
19171de99445SMaarten Lankhorst 	dotest(ww_test_object_unlock_twice, FAILURE, LOCKTYPE_WW);
19181de99445SMaarten Lankhorst 	dotest(ww_test_object_lock_unbalanced, FAILURE, LOCKTYPE_WW);
19191de99445SMaarten Lankhorst 	dotest(ww_test_object_lock_stale_context, FAILURE, LOCKTYPE_WW);
192025139409SMichael Ellerman 	pr_cont("\n");
19211de99445SMaarten Lankhorst 
1922f3cf139eSMaarten Lankhorst 	print_testname("EDEADLK handling");
1923f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_normal, SUCCESS, LOCKTYPE_WW);
1924f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_normal_slow, SUCCESS, LOCKTYPE_WW);
1925f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_no_unlock, FAILURE, LOCKTYPE_WW);
1926f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_no_unlock_slow, FAILURE, LOCKTYPE_WW);
1927f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more, FAILURE, LOCKTYPE_WW);
1928f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_slow, FAILURE, LOCKTYPE_WW);
1929f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_edeadlk, FAILURE, LOCKTYPE_WW);
1930f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_edeadlk_slow, FAILURE, LOCKTYPE_WW);
1931f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_wrong, FAILURE, LOCKTYPE_WW);
1932f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_wrong_slow, FAILURE, LOCKTYPE_WW);
193325139409SMichael Ellerman 	pr_cont("\n");
1934f3cf139eSMaarten Lankhorst 
19351de99445SMaarten Lankhorst 	print_testname("spinlock nest unlocked");
19361de99445SMaarten Lankhorst 	dotest(ww_test_spin_nest_unlocked, FAILURE, LOCKTYPE_WW);
193725139409SMichael Ellerman 	pr_cont("\n");
19381de99445SMaarten Lankhorst 
19391de99445SMaarten Lankhorst 	printk("  -----------------------------------------------------\n");
19401de99445SMaarten Lankhorst 	printk("                                 |block | try  |context|\n");
19411de99445SMaarten Lankhorst 	printk("  -----------------------------------------------------\n");
19421de99445SMaarten Lankhorst 
19431de99445SMaarten Lankhorst 	print_testname("context");
19441de99445SMaarten Lankhorst 	dotest(ww_test_context_block, FAILURE, LOCKTYPE_WW);
19451de99445SMaarten Lankhorst 	dotest(ww_test_context_try, SUCCESS, LOCKTYPE_WW);
19461de99445SMaarten Lankhorst 	dotest(ww_test_context_context, SUCCESS, LOCKTYPE_WW);
194725139409SMichael Ellerman 	pr_cont("\n");
19481de99445SMaarten Lankhorst 
19491de99445SMaarten Lankhorst 	print_testname("try");
19501de99445SMaarten Lankhorst 	dotest(ww_test_try_block, FAILURE, LOCKTYPE_WW);
19511de99445SMaarten Lankhorst 	dotest(ww_test_try_try, SUCCESS, LOCKTYPE_WW);
19521de99445SMaarten Lankhorst 	dotest(ww_test_try_context, FAILURE, LOCKTYPE_WW);
195325139409SMichael Ellerman 	pr_cont("\n");
19541de99445SMaarten Lankhorst 
19551de99445SMaarten Lankhorst 	print_testname("block");
19561de99445SMaarten Lankhorst 	dotest(ww_test_block_block, FAILURE, LOCKTYPE_WW);
19571de99445SMaarten Lankhorst 	dotest(ww_test_block_try, SUCCESS, LOCKTYPE_WW);
19581de99445SMaarten Lankhorst 	dotest(ww_test_block_context, FAILURE, LOCKTYPE_WW);
195925139409SMichael Ellerman 	pr_cont("\n");
19601de99445SMaarten Lankhorst 
19611de99445SMaarten Lankhorst 	print_testname("spinlock");
19621de99445SMaarten Lankhorst 	dotest(ww_test_spin_block, FAILURE, LOCKTYPE_WW);
19631de99445SMaarten Lankhorst 	dotest(ww_test_spin_try, SUCCESS, LOCKTYPE_WW);
19641de99445SMaarten Lankhorst 	dotest(ww_test_spin_context, FAILURE, LOCKTYPE_WW);
196525139409SMichael Ellerman 	pr_cont("\n");
19661de99445SMaarten Lankhorst }
1967cae2ed9aSIngo Molnar 
1968cae2ed9aSIngo Molnar void locking_selftest(void)
1969cae2ed9aSIngo Molnar {
1970cae2ed9aSIngo Molnar 	/*
1971cae2ed9aSIngo Molnar 	 * Got a locking failure before the selftest ran?
1972cae2ed9aSIngo Molnar 	 */
1973cae2ed9aSIngo Molnar 	if (!debug_locks) {
1974cae2ed9aSIngo Molnar 		printk("----------------------------------\n");
1975cae2ed9aSIngo Molnar 		printk("| Locking API testsuite disabled |\n");
1976cae2ed9aSIngo Molnar 		printk("----------------------------------\n");
1977cae2ed9aSIngo Molnar 		return;
1978cae2ed9aSIngo Molnar 	}
1979cae2ed9aSIngo Molnar 
1980cae2ed9aSIngo Molnar 	/*
1981cae2ed9aSIngo Molnar 	 * Run the testsuite:
1982cae2ed9aSIngo Molnar 	 */
1983cae2ed9aSIngo Molnar 	printk("------------------------\n");
1984cae2ed9aSIngo Molnar 	printk("| Locking API testsuite:\n");
1985cae2ed9aSIngo Molnar 	printk("----------------------------------------------------------------------------\n");
1986cae2ed9aSIngo Molnar 	printk("                                 | spin |wlock |rlock |mutex | wsem | rsem |\n");
1987cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
1988cae2ed9aSIngo Molnar 
1989cae2ed9aSIngo Molnar 	init_shared_classes();
1990cae2ed9aSIngo Molnar 	debug_locks_silent = !debug_locks_verbose;
1991cae2ed9aSIngo Molnar 
19926c9076ecSIngo Molnar 	DO_TESTCASE_6R("A-A deadlock", AA);
1993cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-A deadlock", ABBA);
1994cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-C-C-A deadlock", ABBCCA);
1995cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-A-B-C deadlock", ABCABC);
1996cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-C-C-D-D-A deadlock", ABBCCDDA);
1997cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-D-B-D-D-A deadlock", ABCDBDDA);
1998cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-D-B-C-D-A deadlock", ABCDBCDA);
1999cae2ed9aSIngo Molnar 	DO_TESTCASE_6("double unlock", double_unlock);
2000cae2ed9aSIngo Molnar 	DO_TESTCASE_6("initialize held", init_held);
2001cae2ed9aSIngo Molnar 
2002cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2003cae2ed9aSIngo Molnar 	print_testname("recursive read-lock");
200425139409SMichael Ellerman 	pr_cont("             |");
2005cae2ed9aSIngo Molnar 	dotest(rlock_AA1, SUCCESS, LOCKTYPE_RWLOCK);
200625139409SMichael Ellerman 	pr_cont("             |");
2007cae2ed9aSIngo Molnar 	dotest(rsem_AA1, FAILURE, LOCKTYPE_RWSEM);
200825139409SMichael Ellerman 	pr_cont("\n");
2009cae2ed9aSIngo Molnar 
2010cae2ed9aSIngo Molnar 	print_testname("recursive read-lock #2");
201125139409SMichael Ellerman 	pr_cont("             |");
20126c9076ecSIngo Molnar 	dotest(rlock_AA1B, SUCCESS, LOCKTYPE_RWLOCK);
201325139409SMichael Ellerman 	pr_cont("             |");
2014cae2ed9aSIngo Molnar 	dotest(rsem_AA1B, FAILURE, LOCKTYPE_RWSEM);
201525139409SMichael Ellerman 	pr_cont("\n");
2016cae2ed9aSIngo Molnar 
2017cae2ed9aSIngo Molnar 	print_testname("mixed read-write-lock");
201825139409SMichael Ellerman 	pr_cont("             |");
2019cae2ed9aSIngo Molnar 	dotest(rlock_AA2, FAILURE, LOCKTYPE_RWLOCK);
202025139409SMichael Ellerman 	pr_cont("             |");
2021cae2ed9aSIngo Molnar 	dotest(rsem_AA2, FAILURE, LOCKTYPE_RWSEM);
202225139409SMichael Ellerman 	pr_cont("\n");
2023cae2ed9aSIngo Molnar 
2024cae2ed9aSIngo Molnar 	print_testname("mixed write-read-lock");
202525139409SMichael Ellerman 	pr_cont("             |");
2026cae2ed9aSIngo Molnar 	dotest(rlock_AA3, FAILURE, LOCKTYPE_RWLOCK);
202725139409SMichael Ellerman 	pr_cont("             |");
2028cae2ed9aSIngo Molnar 	dotest(rsem_AA3, FAILURE, LOCKTYPE_RWSEM);
202925139409SMichael Ellerman 	pr_cont("\n");
2030cae2ed9aSIngo Molnar 
2031e9149858SPeter Zijlstra 	print_testname("mixed read-lock/lock-write ABBA");
2032e9149858SPeter Zijlstra 	pr_cont("             |");
2033e9149858SPeter Zijlstra 	dotest(rlock_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
2034*c7e2f69dSPeter Zijlstra #ifdef CONFIG_PROVE_LOCKING
2035d82fed75SPeter Zijlstra 	/*
2036d82fed75SPeter Zijlstra 	 * Lockdep does indeed fail here, but there's nothing we can do about
2037d82fed75SPeter Zijlstra 	 * that now.  Don't kill lockdep for it.
2038d82fed75SPeter Zijlstra 	 */
2039d82fed75SPeter Zijlstra 	unexpected_testcase_failures--;
2040*c7e2f69dSPeter Zijlstra #endif
2041d82fed75SPeter Zijlstra 
2042e9149858SPeter Zijlstra 	pr_cont("             |");
2043e9149858SPeter Zijlstra 	dotest(rwsem_ABBA1, FAILURE, LOCKTYPE_RWSEM);
2044e9149858SPeter Zijlstra 
2045e9149858SPeter Zijlstra 	print_testname("mixed read-lock/lock-read ABBA");
2046e9149858SPeter Zijlstra 	pr_cont("             |");
2047e9149858SPeter Zijlstra 	dotest(rlock_ABBA2, SUCCESS, LOCKTYPE_RWLOCK);
2048e9149858SPeter Zijlstra 	pr_cont("             |");
2049e9149858SPeter Zijlstra 	dotest(rwsem_ABBA2, FAILURE, LOCKTYPE_RWSEM);
2050e9149858SPeter Zijlstra 
2051e9149858SPeter Zijlstra 	print_testname("mixed write-lock/lock-write ABBA");
2052e9149858SPeter Zijlstra 	pr_cont("             |");
2053e9149858SPeter Zijlstra 	dotest(rlock_ABBA3, FAILURE, LOCKTYPE_RWLOCK);
2054e9149858SPeter Zijlstra 	pr_cont("             |");
2055e9149858SPeter Zijlstra 	dotest(rwsem_ABBA3, FAILURE, LOCKTYPE_RWSEM);
2056e9149858SPeter Zijlstra 
2057cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2058cae2ed9aSIngo Molnar 
2059cae2ed9aSIngo Molnar 	/*
2060cae2ed9aSIngo Molnar 	 * irq-context testcases:
2061cae2ed9aSIngo Molnar 	 */
2062cae2ed9aSIngo Molnar 	DO_TESTCASE_2x6("irqs-on + irq-safe-A", irqsafe1);
2063cae2ed9aSIngo Molnar 	DO_TESTCASE_2x3("sirq-safe-A => hirqs-on", irqsafe2A);
2064cae2ed9aSIngo Molnar 	DO_TESTCASE_2x6("safe-A + irqs-on", irqsafe2B);
2065cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6("safe-A + unsafe-B #1", irqsafe3);
2066cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6("safe-A + unsafe-B #2", irqsafe4);
2067cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6RW("irq lock-inversion", irq_inversion);
2068cae2ed9aSIngo Molnar 
2069cae2ed9aSIngo Molnar 	DO_TESTCASE_6x2("irq read-recursion", irq_read_recursion);
2070cae2ed9aSIngo Molnar //	DO_TESTCASE_6x2B("irq read-recursion #2", irq_read_recursion2);
2071cae2ed9aSIngo Molnar 
20721de99445SMaarten Lankhorst 	ww_tests();
20731de99445SMaarten Lankhorst 
2074cae2ed9aSIngo Molnar 	if (unexpected_testcase_failures) {
2075cae2ed9aSIngo Molnar 		printk("-----------------------------------------------------------------\n");
2076cae2ed9aSIngo Molnar 		debug_locks = 0;
2077cae2ed9aSIngo Molnar 		printk("BUG: %3d unexpected failures (out of %3d) - debugging disabled! |\n",
2078cae2ed9aSIngo Molnar 			unexpected_testcase_failures, testcase_total);
2079cae2ed9aSIngo Molnar 		printk("-----------------------------------------------------------------\n");
2080cae2ed9aSIngo Molnar 	} else if (expected_testcase_failures && testcase_successes) {
2081cae2ed9aSIngo Molnar 		printk("--------------------------------------------------------\n");
2082cae2ed9aSIngo Molnar 		printk("%3d out of %3d testcases failed, as expected. |\n",
2083cae2ed9aSIngo Molnar 			expected_testcase_failures, testcase_total);
2084cae2ed9aSIngo Molnar 		printk("----------------------------------------------------\n");
2085cae2ed9aSIngo Molnar 		debug_locks = 1;
2086cae2ed9aSIngo Molnar 	} else if (expected_testcase_failures && !testcase_successes) {
2087cae2ed9aSIngo Molnar 		printk("--------------------------------------------------------\n");
2088cae2ed9aSIngo Molnar 		printk("All %3d testcases failed, as expected. |\n",
2089cae2ed9aSIngo Molnar 			expected_testcase_failures);
2090cae2ed9aSIngo Molnar 		printk("----------------------------------------\n");
2091cae2ed9aSIngo Molnar 		debug_locks = 1;
2092cae2ed9aSIngo Molnar 	} else {
2093cae2ed9aSIngo Molnar 		printk("-------------------------------------------------------\n");
2094cae2ed9aSIngo Molnar 		printk("Good, all %3d testcases passed! |\n",
2095cae2ed9aSIngo Molnar 			testcase_successes);
2096cae2ed9aSIngo Molnar 		printk("---------------------------------\n");
2097cae2ed9aSIngo Molnar 		debug_locks = 1;
2098cae2ed9aSIngo Molnar 	}
2099cae2ed9aSIngo Molnar 	debug_locks_silent = 0;
2100cae2ed9aSIngo Molnar }
2101