xref: /linux-6.15/lib/locking-selftest.c (revision d4f200e5)
1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
2cae2ed9aSIngo Molnar /*
3cae2ed9aSIngo Molnar  * lib/locking-selftest.c
4cae2ed9aSIngo Molnar  *
5cae2ed9aSIngo Molnar  * Testsuite for various locking APIs: spinlocks, rwlocks,
6cae2ed9aSIngo Molnar  * mutexes and rw-semaphores.
7cae2ed9aSIngo Molnar  *
8cae2ed9aSIngo Molnar  * It is checking both false positives and false negatives.
9cae2ed9aSIngo Molnar  *
10cae2ed9aSIngo Molnar  * Started by Ingo Molnar:
11cae2ed9aSIngo Molnar  *
12cae2ed9aSIngo Molnar  *  Copyright (C) 2006 Red Hat, Inc., Ingo Molnar <[email protected]>
13cae2ed9aSIngo Molnar  */
14cae2ed9aSIngo Molnar #include <linux/rwsem.h>
15cae2ed9aSIngo Molnar #include <linux/mutex.h>
161b375dc3SMaarten Lankhorst #include <linux/ww_mutex.h>
17cae2ed9aSIngo Molnar #include <linux/sched.h>
18cae2ed9aSIngo Molnar #include <linux/delay.h>
19fbb9ce95SIngo Molnar #include <linux/lockdep.h>
20cae2ed9aSIngo Molnar #include <linux/spinlock.h>
21cae2ed9aSIngo Molnar #include <linux/kallsyms.h>
22cae2ed9aSIngo Molnar #include <linux/interrupt.h>
23cae2ed9aSIngo Molnar #include <linux/debug_locks.h>
24cae2ed9aSIngo Molnar #include <linux/irqflags.h>
25018956d6SPeter Zijlstra #include <linux/rtmutex.h>
26cae2ed9aSIngo Molnar 
27cae2ed9aSIngo Molnar /*
28cae2ed9aSIngo Molnar  * Change this to 1 if you want to see the failure printouts:
29cae2ed9aSIngo Molnar  */
30cae2ed9aSIngo Molnar static unsigned int debug_locks_verbose;
31e9181886SBoqun Feng unsigned int force_read_lock_recursive;
32cae2ed9aSIngo Molnar 
3308295b3bSThomas Hellstrom static DEFINE_WD_CLASS(ww_lockdep);
341de99445SMaarten Lankhorst 
35cae2ed9aSIngo Molnar static int __init setup_debug_locks_verbose(char *str)
36cae2ed9aSIngo Molnar {
37cae2ed9aSIngo Molnar 	get_option(&str, &debug_locks_verbose);
38cae2ed9aSIngo Molnar 
39cae2ed9aSIngo Molnar 	return 1;
40cae2ed9aSIngo Molnar }
41cae2ed9aSIngo Molnar 
42cae2ed9aSIngo Molnar __setup("debug_locks_verbose=", setup_debug_locks_verbose);
43cae2ed9aSIngo Molnar 
44cae2ed9aSIngo Molnar #define FAILURE		0
45cae2ed9aSIngo Molnar #define SUCCESS		1
46cae2ed9aSIngo Molnar 
47cae2ed9aSIngo Molnar #define LOCKTYPE_SPIN	0x1
48cae2ed9aSIngo Molnar #define LOCKTYPE_RWLOCK	0x2
49cae2ed9aSIngo Molnar #define LOCKTYPE_MUTEX	0x4
50cae2ed9aSIngo Molnar #define LOCKTYPE_RWSEM	0x8
511de99445SMaarten Lankhorst #define LOCKTYPE_WW	0x10
52018956d6SPeter Zijlstra #define LOCKTYPE_RTMUTEX 0x20
531de99445SMaarten Lankhorst 
541de99445SMaarten Lankhorst static struct ww_acquire_ctx t, t2;
55f3cf139eSMaarten Lankhorst static struct ww_mutex o, o2, o3;
56cae2ed9aSIngo Molnar 
57cae2ed9aSIngo Molnar /*
58cae2ed9aSIngo Molnar  * Normal standalone locks, for the circular and irq-context
59cae2ed9aSIngo Molnar  * dependency tests:
60cae2ed9aSIngo Molnar  */
619fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_A);
629fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_B);
639fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_C);
649fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_D);
65cae2ed9aSIngo Molnar 
66cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_A);
67cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_B);
68cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_C);
69cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_D);
70cae2ed9aSIngo Molnar 
71cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_A);
72cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_B);
73cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_C);
74cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_D);
75cae2ed9aSIngo Molnar 
76cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_A);
77cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_B);
78cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_C);
79cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_D);
80cae2ed9aSIngo Molnar 
81018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
82018956d6SPeter Zijlstra 
83018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_A);
84018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_B);
85018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_C);
86018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_D);
87018956d6SPeter Zijlstra 
88018956d6SPeter Zijlstra #endif
89018956d6SPeter Zijlstra 
90cae2ed9aSIngo Molnar /*
91cae2ed9aSIngo Molnar  * Locks that we initialize dynamically as well so that
92cae2ed9aSIngo Molnar  * e.g. X1 and X2 becomes two instances of the same class,
93cae2ed9aSIngo Molnar  * but X* and Y* are different classes. We do this so that
94cae2ed9aSIngo Molnar  * we do not trigger a real lockup:
95cae2ed9aSIngo Molnar  */
969fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_X1);
979fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_X2);
989fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Y1);
999fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Y2);
1009fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Z1);
1019fb1b90cSYong Zhang static DEFINE_RAW_SPINLOCK(lock_Z2);
102cae2ed9aSIngo Molnar 
103cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_X1);
104cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_X2);
105cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Y1);
106cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Y2);
107cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Z1);
108cae2ed9aSIngo Molnar static DEFINE_RWLOCK(rwlock_Z2);
109cae2ed9aSIngo Molnar 
110cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_X1);
111cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_X2);
112cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Y1);
113cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Y2);
114cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Z1);
115cae2ed9aSIngo Molnar static DEFINE_MUTEX(mutex_Z2);
116cae2ed9aSIngo Molnar 
117cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_X1);
118cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_X2);
119cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Y1);
120cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Y2);
121cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Z1);
122cae2ed9aSIngo Molnar static DECLARE_RWSEM(rwsem_Z2);
123cae2ed9aSIngo Molnar 
124018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
125018956d6SPeter Zijlstra 
126018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_X1);
127018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_X2);
128018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Y1);
129018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Y2);
130018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Z1);
131018956d6SPeter Zijlstra static DEFINE_RT_MUTEX(rtmutex_Z2);
132018956d6SPeter Zijlstra 
133018956d6SPeter Zijlstra #endif
134018956d6SPeter Zijlstra 
135cae2ed9aSIngo Molnar /*
136cae2ed9aSIngo Molnar  * non-inlined runtime initializers, to let separate locks share
137cae2ed9aSIngo Molnar  * the same lock-class:
138cae2ed9aSIngo Molnar  */
139cae2ed9aSIngo Molnar #define INIT_CLASS_FUNC(class) 				\
140cae2ed9aSIngo Molnar static noinline void					\
1419fb1b90cSYong Zhang init_class_##class(raw_spinlock_t *lock, rwlock_t *rwlock, \
1429fb1b90cSYong Zhang 	struct mutex *mutex, struct rw_semaphore *rwsem)\
143cae2ed9aSIngo Molnar {							\
1449fb1b90cSYong Zhang 	raw_spin_lock_init(lock);			\
145cae2ed9aSIngo Molnar 	rwlock_init(rwlock);				\
146cae2ed9aSIngo Molnar 	mutex_init(mutex);				\
147cae2ed9aSIngo Molnar 	init_rwsem(rwsem);				\
148cae2ed9aSIngo Molnar }
149cae2ed9aSIngo Molnar 
150cae2ed9aSIngo Molnar INIT_CLASS_FUNC(X)
151cae2ed9aSIngo Molnar INIT_CLASS_FUNC(Y)
152cae2ed9aSIngo Molnar INIT_CLASS_FUNC(Z)
153cae2ed9aSIngo Molnar 
154cae2ed9aSIngo Molnar static void init_shared_classes(void)
155cae2ed9aSIngo Molnar {
156018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
157018956d6SPeter Zijlstra 	static struct lock_class_key rt_X, rt_Y, rt_Z;
158018956d6SPeter Zijlstra 
159018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_X1, __func__, &rt_X);
160018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_X2, __func__, &rt_X);
161018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Y1, __func__, &rt_Y);
162018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Y2, __func__, &rt_Y);
163018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Z1, __func__, &rt_Z);
164018956d6SPeter Zijlstra 	__rt_mutex_init(&rtmutex_Z2, __func__, &rt_Z);
165018956d6SPeter Zijlstra #endif
166018956d6SPeter Zijlstra 
167cae2ed9aSIngo Molnar 	init_class_X(&lock_X1, &rwlock_X1, &mutex_X1, &rwsem_X1);
168cae2ed9aSIngo Molnar 	init_class_X(&lock_X2, &rwlock_X2, &mutex_X2, &rwsem_X2);
169cae2ed9aSIngo Molnar 
170cae2ed9aSIngo Molnar 	init_class_Y(&lock_Y1, &rwlock_Y1, &mutex_Y1, &rwsem_Y1);
171cae2ed9aSIngo Molnar 	init_class_Y(&lock_Y2, &rwlock_Y2, &mutex_Y2, &rwsem_Y2);
172cae2ed9aSIngo Molnar 
173cae2ed9aSIngo Molnar 	init_class_Z(&lock_Z1, &rwlock_Z1, &mutex_Z1, &rwsem_Z1);
174cae2ed9aSIngo Molnar 	init_class_Z(&lock_Z2, &rwlock_Z2, &mutex_Z2, &rwsem_Z2);
175cae2ed9aSIngo Molnar }
176cae2ed9aSIngo Molnar 
177cae2ed9aSIngo Molnar /*
178cae2ed9aSIngo Molnar  * For spinlocks and rwlocks we also do hardirq-safe / softirq-safe tests.
179cae2ed9aSIngo Molnar  * The following functions use a lock from a simulated hardirq/softirq
180cae2ed9aSIngo Molnar  * context, causing the locks to be marked as hardirq-safe/softirq-safe:
181cae2ed9aSIngo Molnar  */
182cae2ed9aSIngo Molnar 
183cae2ed9aSIngo Molnar #define HARDIRQ_DISABLE		local_irq_disable
184cae2ed9aSIngo Molnar #define HARDIRQ_ENABLE		local_irq_enable
185cae2ed9aSIngo Molnar 
186cae2ed9aSIngo Molnar #define HARDIRQ_ENTER()				\
187cae2ed9aSIngo Molnar 	local_irq_disable();			\
188ba9f207cSFrederic Weisbecker 	__irq_enter();				\
189cae2ed9aSIngo Molnar 	WARN_ON(!in_irq());
190cae2ed9aSIngo Molnar 
191cae2ed9aSIngo Molnar #define HARDIRQ_EXIT()				\
192cae2ed9aSIngo Molnar 	__irq_exit();				\
193cae2ed9aSIngo Molnar 	local_irq_enable();
194cae2ed9aSIngo Molnar 
195cae2ed9aSIngo Molnar #define SOFTIRQ_DISABLE		local_bh_disable
196cae2ed9aSIngo Molnar #define SOFTIRQ_ENABLE		local_bh_enable
197cae2ed9aSIngo Molnar 
198cae2ed9aSIngo Molnar #define SOFTIRQ_ENTER()				\
199cae2ed9aSIngo Molnar 		local_bh_disable();		\
200cae2ed9aSIngo Molnar 		local_irq_disable();		\
201d820ac4cSIngo Molnar 		lockdep_softirq_enter();	\
202cae2ed9aSIngo Molnar 		WARN_ON(!in_softirq());
203cae2ed9aSIngo Molnar 
204cae2ed9aSIngo Molnar #define SOFTIRQ_EXIT()				\
205d820ac4cSIngo Molnar 		lockdep_softirq_exit();		\
206cae2ed9aSIngo Molnar 		local_irq_enable();		\
207cae2ed9aSIngo Molnar 		local_bh_enable();
208cae2ed9aSIngo Molnar 
209cae2ed9aSIngo Molnar /*
210cae2ed9aSIngo Molnar  * Shortcuts for lock/unlock API variants, to keep
211cae2ed9aSIngo Molnar  * the testcases compact:
212cae2ed9aSIngo Molnar  */
2139fb1b90cSYong Zhang #define L(x)			raw_spin_lock(&lock_##x)
2149fb1b90cSYong Zhang #define U(x)			raw_spin_unlock(&lock_##x)
215cae2ed9aSIngo Molnar #define LU(x)			L(x); U(x)
2169fb1b90cSYong Zhang #define SI(x)			raw_spin_lock_init(&lock_##x)
217cae2ed9aSIngo Molnar 
218cae2ed9aSIngo Molnar #define WL(x)			write_lock(&rwlock_##x)
219cae2ed9aSIngo Molnar #define WU(x)			write_unlock(&rwlock_##x)
220cae2ed9aSIngo Molnar #define WLU(x)			WL(x); WU(x)
221cae2ed9aSIngo Molnar 
222cae2ed9aSIngo Molnar #define RL(x)			read_lock(&rwlock_##x)
223cae2ed9aSIngo Molnar #define RU(x)			read_unlock(&rwlock_##x)
224cae2ed9aSIngo Molnar #define RLU(x)			RL(x); RU(x)
225cae2ed9aSIngo Molnar #define RWI(x)			rwlock_init(&rwlock_##x)
226cae2ed9aSIngo Molnar 
227cae2ed9aSIngo Molnar #define ML(x)			mutex_lock(&mutex_##x)
228cae2ed9aSIngo Molnar #define MU(x)			mutex_unlock(&mutex_##x)
229cae2ed9aSIngo Molnar #define MI(x)			mutex_init(&mutex_##x)
230cae2ed9aSIngo Molnar 
231018956d6SPeter Zijlstra #define RTL(x)			rt_mutex_lock(&rtmutex_##x)
232018956d6SPeter Zijlstra #define RTU(x)			rt_mutex_unlock(&rtmutex_##x)
233018956d6SPeter Zijlstra #define RTI(x)			rt_mutex_init(&rtmutex_##x)
234018956d6SPeter Zijlstra 
235cae2ed9aSIngo Molnar #define WSL(x)			down_write(&rwsem_##x)
236cae2ed9aSIngo Molnar #define WSU(x)			up_write(&rwsem_##x)
237cae2ed9aSIngo Molnar 
238cae2ed9aSIngo Molnar #define RSL(x)			down_read(&rwsem_##x)
239cae2ed9aSIngo Molnar #define RSU(x)			up_read(&rwsem_##x)
240cae2ed9aSIngo Molnar #define RWSI(x)			init_rwsem(&rwsem_##x)
241cae2ed9aSIngo Molnar 
2421de99445SMaarten Lankhorst #ifndef CONFIG_DEBUG_WW_MUTEX_SLOWPATH
2431de99445SMaarten Lankhorst #define WWAI(x)			ww_acquire_init(x, &ww_lockdep)
2441de99445SMaarten Lankhorst #else
2451de99445SMaarten Lankhorst #define WWAI(x)			do { ww_acquire_init(x, &ww_lockdep); (x)->deadlock_inject_countdown = ~0U; } while (0)
2461de99445SMaarten Lankhorst #endif
2471de99445SMaarten Lankhorst #define WWAD(x)			ww_acquire_done(x)
2481de99445SMaarten Lankhorst #define WWAF(x)			ww_acquire_fini(x)
2491de99445SMaarten Lankhorst 
2501de99445SMaarten Lankhorst #define WWL(x, c)		ww_mutex_lock(x, c)
2511de99445SMaarten Lankhorst #define WWT(x)			ww_mutex_trylock(x)
2521de99445SMaarten Lankhorst #define WWL1(x)			ww_mutex_lock(x, NULL)
2531de99445SMaarten Lankhorst #define WWU(x)			ww_mutex_unlock(x)
2541de99445SMaarten Lankhorst 
2551de99445SMaarten Lankhorst 
256cae2ed9aSIngo Molnar #define LOCK_UNLOCK_2(x,y)	LOCK(x); LOCK(y); UNLOCK(y); UNLOCK(x)
257cae2ed9aSIngo Molnar 
258cae2ed9aSIngo Molnar /*
259cae2ed9aSIngo Molnar  * Generate different permutations of the same testcase, using
260cae2ed9aSIngo Molnar  * the same basic lock-dependency/state events:
261cae2ed9aSIngo Molnar  */
262cae2ed9aSIngo Molnar 
263cae2ed9aSIngo Molnar #define GENERATE_TESTCASE(name)			\
264cae2ed9aSIngo Molnar 						\
265cae2ed9aSIngo Molnar static void name(void) { E(); }
266cae2ed9aSIngo Molnar 
267cae2ed9aSIngo Molnar #define GENERATE_PERMUTATIONS_2_EVENTS(name)	\
268cae2ed9aSIngo Molnar 						\
269cae2ed9aSIngo Molnar static void name##_12(void) { E1(); E2(); }	\
270cae2ed9aSIngo Molnar static void name##_21(void) { E2(); E1(); }
271cae2ed9aSIngo Molnar 
272cae2ed9aSIngo Molnar #define GENERATE_PERMUTATIONS_3_EVENTS(name)		\
273cae2ed9aSIngo Molnar 							\
274cae2ed9aSIngo Molnar static void name##_123(void) { E1(); E2(); E3(); }	\
275cae2ed9aSIngo Molnar static void name##_132(void) { E1(); E3(); E2(); }	\
276cae2ed9aSIngo Molnar static void name##_213(void) { E2(); E1(); E3(); }	\
277cae2ed9aSIngo Molnar static void name##_231(void) { E2(); E3(); E1(); }	\
278cae2ed9aSIngo Molnar static void name##_312(void) { E3(); E1(); E2(); }	\
279cae2ed9aSIngo Molnar static void name##_321(void) { E3(); E2(); E1(); }
280cae2ed9aSIngo Molnar 
281cae2ed9aSIngo Molnar /*
282cae2ed9aSIngo Molnar  * AA deadlock:
283cae2ed9aSIngo Molnar  */
284cae2ed9aSIngo Molnar 
285cae2ed9aSIngo Molnar #define E()					\
286cae2ed9aSIngo Molnar 						\
287cae2ed9aSIngo Molnar 	LOCK(X1);				\
288cae2ed9aSIngo Molnar 	LOCK(X2); /* this one should fail */
289cae2ed9aSIngo Molnar 
290cae2ed9aSIngo Molnar /*
291cae2ed9aSIngo Molnar  * 6 testcases:
292cae2ed9aSIngo Molnar  */
293cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
294cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_spin)
295cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
296cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_wlock)
297cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
298cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_rlock)
299cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
300cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_mutex)
301cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
302cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_wsem)
303cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
304cae2ed9aSIngo Molnar GENERATE_TESTCASE(AA_rsem)
305cae2ed9aSIngo Molnar 
306018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
307018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
308018956d6SPeter Zijlstra GENERATE_TESTCASE(AA_rtmutex);
309018956d6SPeter Zijlstra #endif
310018956d6SPeter Zijlstra 
311cae2ed9aSIngo Molnar #undef E
312cae2ed9aSIngo Molnar 
313cae2ed9aSIngo Molnar /*
314cae2ed9aSIngo Molnar  * Special-case for read-locking, they are
3156c9076ecSIngo Molnar  * allowed to recurse on the same lock class:
316cae2ed9aSIngo Molnar  */
317cae2ed9aSIngo Molnar static void rlock_AA1(void)
318cae2ed9aSIngo Molnar {
319cae2ed9aSIngo Molnar 	RL(X1);
320cae2ed9aSIngo Molnar 	RL(X1); // this one should NOT fail
321cae2ed9aSIngo Molnar }
322cae2ed9aSIngo Molnar 
323cae2ed9aSIngo Molnar static void rlock_AA1B(void)
324cae2ed9aSIngo Molnar {
325cae2ed9aSIngo Molnar 	RL(X1);
3266c9076ecSIngo Molnar 	RL(X2); // this one should NOT fail
327cae2ed9aSIngo Molnar }
328cae2ed9aSIngo Molnar 
329cae2ed9aSIngo Molnar static void rsem_AA1(void)
330cae2ed9aSIngo Molnar {
331cae2ed9aSIngo Molnar 	RSL(X1);
332cae2ed9aSIngo Molnar 	RSL(X1); // this one should fail
333cae2ed9aSIngo Molnar }
334cae2ed9aSIngo Molnar 
335cae2ed9aSIngo Molnar static void rsem_AA1B(void)
336cae2ed9aSIngo Molnar {
337cae2ed9aSIngo Molnar 	RSL(X1);
338cae2ed9aSIngo Molnar 	RSL(X2); // this one should fail
339cae2ed9aSIngo Molnar }
340cae2ed9aSIngo Molnar /*
341cae2ed9aSIngo Molnar  * The mixing of read and write locks is not allowed:
342cae2ed9aSIngo Molnar  */
343cae2ed9aSIngo Molnar static void rlock_AA2(void)
344cae2ed9aSIngo Molnar {
345cae2ed9aSIngo Molnar 	RL(X1);
346cae2ed9aSIngo Molnar 	WL(X2); // this one should fail
347cae2ed9aSIngo Molnar }
348cae2ed9aSIngo Molnar 
349cae2ed9aSIngo Molnar static void rsem_AA2(void)
350cae2ed9aSIngo Molnar {
351cae2ed9aSIngo Molnar 	RSL(X1);
352cae2ed9aSIngo Molnar 	WSL(X2); // this one should fail
353cae2ed9aSIngo Molnar }
354cae2ed9aSIngo Molnar 
355cae2ed9aSIngo Molnar static void rlock_AA3(void)
356cae2ed9aSIngo Molnar {
357cae2ed9aSIngo Molnar 	WL(X1);
358cae2ed9aSIngo Molnar 	RL(X2); // this one should fail
359cae2ed9aSIngo Molnar }
360cae2ed9aSIngo Molnar 
361cae2ed9aSIngo Molnar static void rsem_AA3(void)
362cae2ed9aSIngo Molnar {
363cae2ed9aSIngo Molnar 	WSL(X1);
364cae2ed9aSIngo Molnar 	RSL(X2); // this one should fail
365cae2ed9aSIngo Molnar }
366cae2ed9aSIngo Molnar 
367cae2ed9aSIngo Molnar /*
368e9149858SPeter Zijlstra  * read_lock(A)
369e9149858SPeter Zijlstra  * spin_lock(B)
370e9149858SPeter Zijlstra  *		spin_lock(B)
371e9149858SPeter Zijlstra  *		write_lock(A)
372e9149858SPeter Zijlstra  */
373e9149858SPeter Zijlstra static void rlock_ABBA1(void)
374e9149858SPeter Zijlstra {
375e9149858SPeter Zijlstra 	RL(X1);
376e9149858SPeter Zijlstra 	L(Y1);
377e9149858SPeter Zijlstra 	U(Y1);
378e9149858SPeter Zijlstra 	RU(X1);
379e9149858SPeter Zijlstra 
380e9149858SPeter Zijlstra 	L(Y1);
381e9149858SPeter Zijlstra 	WL(X1);
382e9149858SPeter Zijlstra 	WU(X1);
383e9149858SPeter Zijlstra 	U(Y1); // should fail
384e9149858SPeter Zijlstra }
385e9149858SPeter Zijlstra 
386e9149858SPeter Zijlstra static void rwsem_ABBA1(void)
387e9149858SPeter Zijlstra {
388e9149858SPeter Zijlstra 	RSL(X1);
389e9149858SPeter Zijlstra 	ML(Y1);
390e9149858SPeter Zijlstra 	MU(Y1);
391e9149858SPeter Zijlstra 	RSU(X1);
392e9149858SPeter Zijlstra 
393e9149858SPeter Zijlstra 	ML(Y1);
394e9149858SPeter Zijlstra 	WSL(X1);
395e9149858SPeter Zijlstra 	WSU(X1);
396e9149858SPeter Zijlstra 	MU(Y1); // should fail
397e9149858SPeter Zijlstra }
398e9149858SPeter Zijlstra 
399e9149858SPeter Zijlstra /*
400e9149858SPeter Zijlstra  * read_lock(A)
401e9149858SPeter Zijlstra  * spin_lock(B)
402e9149858SPeter Zijlstra  *		spin_lock(B)
403*d4f200e5SBoqun Feng  *		write_lock(A)
404*d4f200e5SBoqun Feng  *
405*d4f200e5SBoqun Feng  * This test case is aimed at poking whether the chain cache prevents us from
406*d4f200e5SBoqun Feng  * detecting a read-lock/lock-write deadlock: if the chain cache doesn't differ
407*d4f200e5SBoqun Feng  * read/write locks, the following case may happen
408*d4f200e5SBoqun Feng  *
409*d4f200e5SBoqun Feng  * 	{ read_lock(A)->lock(B) dependency exists }
410*d4f200e5SBoqun Feng  *
411*d4f200e5SBoqun Feng  * 	P0:
412*d4f200e5SBoqun Feng  * 	lock(B);
413*d4f200e5SBoqun Feng  * 	read_lock(A);
414*d4f200e5SBoqun Feng  *
415*d4f200e5SBoqun Feng  *	{ Not a deadlock, B -> A is added in the chain cache }
416*d4f200e5SBoqun Feng  *
417*d4f200e5SBoqun Feng  *	P1:
418*d4f200e5SBoqun Feng  *	lock(B);
419*d4f200e5SBoqun Feng  *	write_lock(A);
420*d4f200e5SBoqun Feng  *
421*d4f200e5SBoqun Feng  *	{ B->A found in chain cache, not reported as a deadlock }
422*d4f200e5SBoqun Feng  *
423*d4f200e5SBoqun Feng  */
424*d4f200e5SBoqun Feng static void rlock_chaincache_ABBA1(void)
425*d4f200e5SBoqun Feng {
426*d4f200e5SBoqun Feng 	RL(X1);
427*d4f200e5SBoqun Feng 	L(Y1);
428*d4f200e5SBoqun Feng 	U(Y1);
429*d4f200e5SBoqun Feng 	RU(X1);
430*d4f200e5SBoqun Feng 
431*d4f200e5SBoqun Feng 	L(Y1);
432*d4f200e5SBoqun Feng 	RL(X1);
433*d4f200e5SBoqun Feng 	RU(X1);
434*d4f200e5SBoqun Feng 	U(Y1);
435*d4f200e5SBoqun Feng 
436*d4f200e5SBoqun Feng 	L(Y1);
437*d4f200e5SBoqun Feng 	WL(X1);
438*d4f200e5SBoqun Feng 	WU(X1);
439*d4f200e5SBoqun Feng 	U(Y1); // should fail
440*d4f200e5SBoqun Feng }
441*d4f200e5SBoqun Feng 
442*d4f200e5SBoqun Feng /*
443*d4f200e5SBoqun Feng  * read_lock(A)
444*d4f200e5SBoqun Feng  * spin_lock(B)
445*d4f200e5SBoqun Feng  *		spin_lock(B)
446e9149858SPeter Zijlstra  *		read_lock(A)
447e9149858SPeter Zijlstra  */
448e9149858SPeter Zijlstra static void rlock_ABBA2(void)
449e9149858SPeter Zijlstra {
450e9149858SPeter Zijlstra 	RL(X1);
451e9149858SPeter Zijlstra 	L(Y1);
452e9149858SPeter Zijlstra 	U(Y1);
453e9149858SPeter Zijlstra 	RU(X1);
454e9149858SPeter Zijlstra 
455e9149858SPeter Zijlstra 	L(Y1);
456e9149858SPeter Zijlstra 	RL(X1);
457e9149858SPeter Zijlstra 	RU(X1);
458e9149858SPeter Zijlstra 	U(Y1); // should NOT fail
459e9149858SPeter Zijlstra }
460e9149858SPeter Zijlstra 
461e9149858SPeter Zijlstra static void rwsem_ABBA2(void)
462e9149858SPeter Zijlstra {
463e9149858SPeter Zijlstra 	RSL(X1);
464e9149858SPeter Zijlstra 	ML(Y1);
465e9149858SPeter Zijlstra 	MU(Y1);
466e9149858SPeter Zijlstra 	RSU(X1);
467e9149858SPeter Zijlstra 
468e9149858SPeter Zijlstra 	ML(Y1);
469e9149858SPeter Zijlstra 	RSL(X1);
470e9149858SPeter Zijlstra 	RSU(X1);
471e9149858SPeter Zijlstra 	MU(Y1); // should fail
472e9149858SPeter Zijlstra }
473e9149858SPeter Zijlstra 
474e9149858SPeter Zijlstra 
475e9149858SPeter Zijlstra /*
476e9149858SPeter Zijlstra  * write_lock(A)
477e9149858SPeter Zijlstra  * spin_lock(B)
478e9149858SPeter Zijlstra  *		spin_lock(B)
479e9149858SPeter Zijlstra  *		write_lock(A)
480e9149858SPeter Zijlstra  */
481e9149858SPeter Zijlstra static void rlock_ABBA3(void)
482e9149858SPeter Zijlstra {
483e9149858SPeter Zijlstra 	WL(X1);
484e9149858SPeter Zijlstra 	L(Y1);
485e9149858SPeter Zijlstra 	U(Y1);
486e9149858SPeter Zijlstra 	WU(X1);
487e9149858SPeter Zijlstra 
488e9149858SPeter Zijlstra 	L(Y1);
489e9149858SPeter Zijlstra 	WL(X1);
490e9149858SPeter Zijlstra 	WU(X1);
491e9149858SPeter Zijlstra 	U(Y1); // should fail
492e9149858SPeter Zijlstra }
493e9149858SPeter Zijlstra 
494e9149858SPeter Zijlstra static void rwsem_ABBA3(void)
495e9149858SPeter Zijlstra {
496e9149858SPeter Zijlstra 	WSL(X1);
497e9149858SPeter Zijlstra 	ML(Y1);
498e9149858SPeter Zijlstra 	MU(Y1);
499e9149858SPeter Zijlstra 	WSU(X1);
500e9149858SPeter Zijlstra 
501e9149858SPeter Zijlstra 	ML(Y1);
502e9149858SPeter Zijlstra 	WSL(X1);
503e9149858SPeter Zijlstra 	WSU(X1);
504e9149858SPeter Zijlstra 	MU(Y1); // should fail
505e9149858SPeter Zijlstra }
506e9149858SPeter Zijlstra 
507e9149858SPeter Zijlstra /*
508cae2ed9aSIngo Molnar  * ABBA deadlock:
509cae2ed9aSIngo Molnar  */
510cae2ed9aSIngo Molnar 
511cae2ed9aSIngo Molnar #define E()					\
512cae2ed9aSIngo Molnar 						\
513cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
514cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, A); /* fail */
515cae2ed9aSIngo Molnar 
516cae2ed9aSIngo Molnar /*
517cae2ed9aSIngo Molnar  * 6 testcases:
518cae2ed9aSIngo Molnar  */
519cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
520cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_spin)
521cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
522cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_wlock)
523cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
524cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_rlock)
525cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
526cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_mutex)
527cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
528cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_wsem)
529cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
530cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBA_rsem)
531cae2ed9aSIngo Molnar 
532018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
533018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
534018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBA_rtmutex);
535018956d6SPeter Zijlstra #endif
536018956d6SPeter Zijlstra 
537cae2ed9aSIngo Molnar #undef E
538cae2ed9aSIngo Molnar 
539cae2ed9aSIngo Molnar /*
540cae2ed9aSIngo Molnar  * AB BC CA deadlock:
541cae2ed9aSIngo Molnar  */
542cae2ed9aSIngo Molnar 
543cae2ed9aSIngo Molnar #define E()					\
544cae2ed9aSIngo Molnar 						\
545cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
546cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
547cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, A); /* fail */
548cae2ed9aSIngo Molnar 
549cae2ed9aSIngo Molnar /*
550cae2ed9aSIngo Molnar  * 6 testcases:
551cae2ed9aSIngo Molnar  */
552cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
553cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_spin)
554cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
555cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_wlock)
556cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
557cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_rlock)
558cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
559cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_mutex)
560cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
561cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_wsem)
562cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
563cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCA_rsem)
564cae2ed9aSIngo Molnar 
565018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
566018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
567018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBCCA_rtmutex);
568018956d6SPeter Zijlstra #endif
569018956d6SPeter Zijlstra 
570cae2ed9aSIngo Molnar #undef E
571cae2ed9aSIngo Molnar 
572cae2ed9aSIngo Molnar /*
573cae2ed9aSIngo Molnar  * AB CA BC deadlock:
574cae2ed9aSIngo Molnar  */
575cae2ed9aSIngo Molnar 
576cae2ed9aSIngo Molnar #define E()					\
577cae2ed9aSIngo Molnar 						\
578cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
579cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, A);			\
580cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C); /* fail */
581cae2ed9aSIngo Molnar 
582cae2ed9aSIngo Molnar /*
583cae2ed9aSIngo Molnar  * 6 testcases:
584cae2ed9aSIngo Molnar  */
585cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
586cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_spin)
587cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
588cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_wlock)
589cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
590cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_rlock)
591cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
592cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_mutex)
593cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
594cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_wsem)
595cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
596cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCABC_rsem)
597cae2ed9aSIngo Molnar 
598018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
599018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
600018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCABC_rtmutex);
601018956d6SPeter Zijlstra #endif
602018956d6SPeter Zijlstra 
603cae2ed9aSIngo Molnar #undef E
604cae2ed9aSIngo Molnar 
605cae2ed9aSIngo Molnar /*
606cae2ed9aSIngo Molnar  * AB BC CD DA deadlock:
607cae2ed9aSIngo Molnar  */
608cae2ed9aSIngo Molnar 
609cae2ed9aSIngo Molnar #define E()					\
610cae2ed9aSIngo Molnar 						\
611cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
612cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
613cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
614cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
615cae2ed9aSIngo Molnar 
616cae2ed9aSIngo Molnar /*
617cae2ed9aSIngo Molnar  * 6 testcases:
618cae2ed9aSIngo Molnar  */
619cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
620cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_spin)
621cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
622cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_wlock)
623cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
624cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_rlock)
625cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
626cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_mutex)
627cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
628cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_wsem)
629cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
630cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABBCCDDA_rsem)
631cae2ed9aSIngo Molnar 
632018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
633018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
634018956d6SPeter Zijlstra GENERATE_TESTCASE(ABBCCDDA_rtmutex);
635018956d6SPeter Zijlstra #endif
636018956d6SPeter Zijlstra 
637cae2ed9aSIngo Molnar #undef E
638cae2ed9aSIngo Molnar 
639cae2ed9aSIngo Molnar /*
640cae2ed9aSIngo Molnar  * AB CD BD DA deadlock:
641cae2ed9aSIngo Molnar  */
642cae2ed9aSIngo Molnar #define E()					\
643cae2ed9aSIngo Molnar 						\
644cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
645cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
646cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, D);			\
647cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
648cae2ed9aSIngo Molnar 
649cae2ed9aSIngo Molnar /*
650cae2ed9aSIngo Molnar  * 6 testcases:
651cae2ed9aSIngo Molnar  */
652cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
653cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_spin)
654cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
655cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_wlock)
656cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
657cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_rlock)
658cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
659cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_mutex)
660cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
661cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_wsem)
662cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
663cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBDDA_rsem)
664cae2ed9aSIngo Molnar 
665018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
666018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
667018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCDBDDA_rtmutex);
668018956d6SPeter Zijlstra #endif
669018956d6SPeter Zijlstra 
670cae2ed9aSIngo Molnar #undef E
671cae2ed9aSIngo Molnar 
672cae2ed9aSIngo Molnar /*
673cae2ed9aSIngo Molnar  * AB CD BC DA deadlock:
674cae2ed9aSIngo Molnar  */
675cae2ed9aSIngo Molnar #define E()					\
676cae2ed9aSIngo Molnar 						\
677cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(A, B);			\
678cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(C, D);			\
679cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(B, C);			\
680cae2ed9aSIngo Molnar 	LOCK_UNLOCK_2(D, A); /* fail */
681cae2ed9aSIngo Molnar 
682cae2ed9aSIngo Molnar /*
683cae2ed9aSIngo Molnar  * 6 testcases:
684cae2ed9aSIngo Molnar  */
685cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
686cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_spin)
687cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
688cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_wlock)
689cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
690cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_rlock)
691cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
692cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_mutex)
693cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
694cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_wsem)
695cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
696cae2ed9aSIngo Molnar GENERATE_TESTCASE(ABCDBCDA_rsem)
697cae2ed9aSIngo Molnar 
698018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
699018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
700018956d6SPeter Zijlstra GENERATE_TESTCASE(ABCDBCDA_rtmutex);
701018956d6SPeter Zijlstra #endif
702018956d6SPeter Zijlstra 
703cae2ed9aSIngo Molnar #undef E
704cae2ed9aSIngo Molnar 
705cae2ed9aSIngo Molnar /*
706cae2ed9aSIngo Molnar  * Double unlock:
707cae2ed9aSIngo Molnar  */
708cae2ed9aSIngo Molnar #define E()					\
709cae2ed9aSIngo Molnar 						\
710cae2ed9aSIngo Molnar 	LOCK(A);				\
711cae2ed9aSIngo Molnar 	UNLOCK(A);				\
712cae2ed9aSIngo Molnar 	UNLOCK(A); /* fail */
713cae2ed9aSIngo Molnar 
714cae2ed9aSIngo Molnar /*
715cae2ed9aSIngo Molnar  * 6 testcases:
716cae2ed9aSIngo Molnar  */
717cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
718cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_spin)
719cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
720cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_wlock)
721cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
722cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_rlock)
723cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
724cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_mutex)
725cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
726cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_wsem)
727cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
728cae2ed9aSIngo Molnar GENERATE_TESTCASE(double_unlock_rsem)
729cae2ed9aSIngo Molnar 
730018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
731018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
732018956d6SPeter Zijlstra GENERATE_TESTCASE(double_unlock_rtmutex);
733018956d6SPeter Zijlstra #endif
734018956d6SPeter Zijlstra 
735cae2ed9aSIngo Molnar #undef E
736cae2ed9aSIngo Molnar 
737cae2ed9aSIngo Molnar /*
738cae2ed9aSIngo Molnar  * initializing a held lock:
739cae2ed9aSIngo Molnar  */
740cae2ed9aSIngo Molnar #define E()					\
741cae2ed9aSIngo Molnar 						\
742cae2ed9aSIngo Molnar 	LOCK(A);				\
743cae2ed9aSIngo Molnar 	INIT(A); /* fail */
744cae2ed9aSIngo Molnar 
745cae2ed9aSIngo Molnar /*
746cae2ed9aSIngo Molnar  * 6 testcases:
747cae2ed9aSIngo Molnar  */
748cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
749cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_spin)
750cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
751cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_wlock)
752cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
753cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_rlock)
754cae2ed9aSIngo Molnar #include "locking-selftest-mutex.h"
755cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_mutex)
756cae2ed9aSIngo Molnar #include "locking-selftest-wsem.h"
757cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_wsem)
758cae2ed9aSIngo Molnar #include "locking-selftest-rsem.h"
759cae2ed9aSIngo Molnar GENERATE_TESTCASE(init_held_rsem)
760cae2ed9aSIngo Molnar 
761018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
762018956d6SPeter Zijlstra #include "locking-selftest-rtmutex.h"
763018956d6SPeter Zijlstra GENERATE_TESTCASE(init_held_rtmutex);
764018956d6SPeter Zijlstra #endif
765018956d6SPeter Zijlstra 
766cae2ed9aSIngo Molnar #undef E
767cae2ed9aSIngo Molnar 
768cae2ed9aSIngo Molnar /*
769cae2ed9aSIngo Molnar  * locking an irq-safe lock with irqs enabled:
770cae2ed9aSIngo Molnar  */
771cae2ed9aSIngo Molnar #define E1()				\
772cae2ed9aSIngo Molnar 					\
773cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
774cae2ed9aSIngo Molnar 	LOCK(A);			\
775cae2ed9aSIngo Molnar 	UNLOCK(A);			\
776cae2ed9aSIngo Molnar 	IRQ_EXIT();
777cae2ed9aSIngo Molnar 
778cae2ed9aSIngo Molnar #define E2()				\
779cae2ed9aSIngo Molnar 					\
780cae2ed9aSIngo Molnar 	LOCK(A);			\
781cae2ed9aSIngo Molnar 	UNLOCK(A);
782cae2ed9aSIngo Molnar 
783cae2ed9aSIngo Molnar /*
784cae2ed9aSIngo Molnar  * Generate 24 testcases:
785cae2ed9aSIngo Molnar  */
786cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
787cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_spin)
788cae2ed9aSIngo Molnar 
789cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
790cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_rlock)
791cae2ed9aSIngo Molnar 
792cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
793cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_wlock)
794cae2ed9aSIngo Molnar 
795cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
796cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_spin)
797cae2ed9aSIngo Molnar 
798cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
799cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_rlock)
800cae2ed9aSIngo Molnar 
801cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
802cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_wlock)
803cae2ed9aSIngo Molnar 
804cae2ed9aSIngo Molnar #undef E1
805cae2ed9aSIngo Molnar #undef E2
806cae2ed9aSIngo Molnar 
807cae2ed9aSIngo Molnar /*
808cae2ed9aSIngo Molnar  * Enabling hardirqs with a softirq-safe lock held:
809cae2ed9aSIngo Molnar  */
810cae2ed9aSIngo Molnar #define E1()				\
811cae2ed9aSIngo Molnar 					\
812cae2ed9aSIngo Molnar 	SOFTIRQ_ENTER();		\
813cae2ed9aSIngo Molnar 	LOCK(A);			\
814cae2ed9aSIngo Molnar 	UNLOCK(A);			\
815cae2ed9aSIngo Molnar 	SOFTIRQ_EXIT();
816cae2ed9aSIngo Molnar 
817cae2ed9aSIngo Molnar #define E2()				\
818cae2ed9aSIngo Molnar 					\
819cae2ed9aSIngo Molnar 	HARDIRQ_DISABLE();		\
820cae2ed9aSIngo Molnar 	LOCK(A);			\
821cae2ed9aSIngo Molnar 	HARDIRQ_ENABLE();		\
822cae2ed9aSIngo Molnar 	UNLOCK(A);
823cae2ed9aSIngo Molnar 
824cae2ed9aSIngo Molnar /*
825cae2ed9aSIngo Molnar  * Generate 12 testcases:
826cae2ed9aSIngo Molnar  */
827cae2ed9aSIngo Molnar #include "locking-selftest-spin.h"
828cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_spin)
829cae2ed9aSIngo Molnar 
830cae2ed9aSIngo Molnar #include "locking-selftest-wlock.h"
831cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_wlock)
832cae2ed9aSIngo Molnar 
833cae2ed9aSIngo Molnar #include "locking-selftest-rlock.h"
834cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_rlock)
835cae2ed9aSIngo Molnar 
836cae2ed9aSIngo Molnar #undef E1
837cae2ed9aSIngo Molnar #undef E2
838cae2ed9aSIngo Molnar 
839cae2ed9aSIngo Molnar /*
840cae2ed9aSIngo Molnar  * Enabling irqs with an irq-safe lock held:
841cae2ed9aSIngo Molnar  */
842cae2ed9aSIngo Molnar #define E1()				\
843cae2ed9aSIngo Molnar 					\
844cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
845cae2ed9aSIngo Molnar 	LOCK(A);			\
846cae2ed9aSIngo Molnar 	UNLOCK(A);			\
847cae2ed9aSIngo Molnar 	IRQ_EXIT();
848cae2ed9aSIngo Molnar 
849cae2ed9aSIngo Molnar #define E2()				\
850cae2ed9aSIngo Molnar 					\
851cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
852cae2ed9aSIngo Molnar 	LOCK(A);			\
853cae2ed9aSIngo Molnar 	IRQ_ENABLE();			\
854cae2ed9aSIngo Molnar 	UNLOCK(A);
855cae2ed9aSIngo Molnar 
856cae2ed9aSIngo Molnar /*
857cae2ed9aSIngo Molnar  * Generate 24 testcases:
858cae2ed9aSIngo Molnar  */
859cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
860cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_spin)
861cae2ed9aSIngo Molnar 
862cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
863cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_rlock)
864cae2ed9aSIngo Molnar 
865cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
866cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_wlock)
867cae2ed9aSIngo Molnar 
868cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
869cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_spin)
870cae2ed9aSIngo Molnar 
871cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
872cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_rlock)
873cae2ed9aSIngo Molnar 
874cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
875cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_wlock)
876cae2ed9aSIngo Molnar 
877cae2ed9aSIngo Molnar #undef E1
878cae2ed9aSIngo Molnar #undef E2
879cae2ed9aSIngo Molnar 
880cae2ed9aSIngo Molnar /*
881cae2ed9aSIngo Molnar  * Acquiring a irq-unsafe lock while holding an irq-safe-lock:
882cae2ed9aSIngo Molnar  */
883cae2ed9aSIngo Molnar #define E1()				\
884cae2ed9aSIngo Molnar 					\
885cae2ed9aSIngo Molnar 	LOCK(A);			\
886cae2ed9aSIngo Molnar 	LOCK(B);			\
887cae2ed9aSIngo Molnar 	UNLOCK(B);			\
888cae2ed9aSIngo Molnar 	UNLOCK(A);			\
889cae2ed9aSIngo Molnar 
890cae2ed9aSIngo Molnar #define E2()				\
891cae2ed9aSIngo Molnar 					\
892cae2ed9aSIngo Molnar 	LOCK(B);			\
893cae2ed9aSIngo Molnar 	UNLOCK(B);
894cae2ed9aSIngo Molnar 
895cae2ed9aSIngo Molnar #define E3()				\
896cae2ed9aSIngo Molnar 					\
897cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
898cae2ed9aSIngo Molnar 	LOCK(A);			\
899cae2ed9aSIngo Molnar 	UNLOCK(A);			\
900cae2ed9aSIngo Molnar 	IRQ_EXIT();
901cae2ed9aSIngo Molnar 
902cae2ed9aSIngo Molnar /*
903cae2ed9aSIngo Molnar  * Generate 36 testcases:
904cae2ed9aSIngo Molnar  */
905cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
906cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_spin)
907cae2ed9aSIngo Molnar 
908cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
909cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_rlock)
910cae2ed9aSIngo Molnar 
911cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
912cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_wlock)
913cae2ed9aSIngo Molnar 
914cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
915cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_spin)
916cae2ed9aSIngo Molnar 
917cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
918cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_rlock)
919cae2ed9aSIngo Molnar 
920cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
921cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_wlock)
922cae2ed9aSIngo Molnar 
923cae2ed9aSIngo Molnar #undef E1
924cae2ed9aSIngo Molnar #undef E2
925cae2ed9aSIngo Molnar #undef E3
926cae2ed9aSIngo Molnar 
927cae2ed9aSIngo Molnar /*
928cae2ed9aSIngo Molnar  * If a lock turns into softirq-safe, but earlier it took
929cae2ed9aSIngo Molnar  * a softirq-unsafe lock:
930cae2ed9aSIngo Molnar  */
931cae2ed9aSIngo Molnar 
932cae2ed9aSIngo Molnar #define E1()				\
933cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
934cae2ed9aSIngo Molnar 	LOCK(A);			\
935cae2ed9aSIngo Molnar 	LOCK(B);			\
936cae2ed9aSIngo Molnar 	UNLOCK(B);			\
937cae2ed9aSIngo Molnar 	UNLOCK(A);			\
938cae2ed9aSIngo Molnar 	IRQ_ENABLE();
939cae2ed9aSIngo Molnar 
940cae2ed9aSIngo Molnar #define E2()				\
941cae2ed9aSIngo Molnar 	LOCK(B);			\
942cae2ed9aSIngo Molnar 	UNLOCK(B);
943cae2ed9aSIngo Molnar 
944cae2ed9aSIngo Molnar #define E3()				\
945cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
946cae2ed9aSIngo Molnar 	LOCK(A);			\
947cae2ed9aSIngo Molnar 	UNLOCK(A);			\
948cae2ed9aSIngo Molnar 	IRQ_EXIT();
949cae2ed9aSIngo Molnar 
950cae2ed9aSIngo Molnar /*
951cae2ed9aSIngo Molnar  * Generate 36 testcases:
952cae2ed9aSIngo Molnar  */
953cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
954cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_spin)
955cae2ed9aSIngo Molnar 
956cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
957cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_rlock)
958cae2ed9aSIngo Molnar 
959cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
960cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_wlock)
961cae2ed9aSIngo Molnar 
962cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
963cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_spin)
964cae2ed9aSIngo Molnar 
965cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
966cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_rlock)
967cae2ed9aSIngo Molnar 
968cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
969cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_wlock)
970cae2ed9aSIngo Molnar 
971cae2ed9aSIngo Molnar #undef E1
972cae2ed9aSIngo Molnar #undef E2
973cae2ed9aSIngo Molnar #undef E3
974cae2ed9aSIngo Molnar 
975cae2ed9aSIngo Molnar /*
976cae2ed9aSIngo Molnar  * read-lock / write-lock irq inversion.
977cae2ed9aSIngo Molnar  *
978cae2ed9aSIngo Molnar  * Deadlock scenario:
979cae2ed9aSIngo Molnar  *
980cae2ed9aSIngo Molnar  * CPU#1 is at #1, i.e. it has write-locked A, but has not
981cae2ed9aSIngo Molnar  * taken B yet.
982cae2ed9aSIngo Molnar  *
983cae2ed9aSIngo Molnar  * CPU#2 is at #2, i.e. it has locked B.
984cae2ed9aSIngo Molnar  *
985cae2ed9aSIngo Molnar  * Hardirq hits CPU#2 at point #2 and is trying to read-lock A.
986cae2ed9aSIngo Molnar  *
987cae2ed9aSIngo Molnar  * The deadlock occurs because CPU#1 will spin on B, and CPU#2
988cae2ed9aSIngo Molnar  * will spin on A.
989cae2ed9aSIngo Molnar  */
990cae2ed9aSIngo Molnar 
991cae2ed9aSIngo Molnar #define E1()				\
992cae2ed9aSIngo Molnar 					\
993cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
994cae2ed9aSIngo Molnar 	WL(A);				\
995cae2ed9aSIngo Molnar 	LOCK(B);			\
996cae2ed9aSIngo Molnar 	UNLOCK(B);			\
997cae2ed9aSIngo Molnar 	WU(A);				\
998cae2ed9aSIngo Molnar 	IRQ_ENABLE();
999cae2ed9aSIngo Molnar 
1000cae2ed9aSIngo Molnar #define E2()				\
1001cae2ed9aSIngo Molnar 					\
1002cae2ed9aSIngo Molnar 	LOCK(B);			\
1003cae2ed9aSIngo Molnar 	UNLOCK(B);
1004cae2ed9aSIngo Molnar 
1005cae2ed9aSIngo Molnar #define E3()				\
1006cae2ed9aSIngo Molnar 					\
1007cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
1008cae2ed9aSIngo Molnar 	RL(A);				\
1009cae2ed9aSIngo Molnar 	RU(A);				\
1010cae2ed9aSIngo Molnar 	IRQ_EXIT();
1011cae2ed9aSIngo Molnar 
1012cae2ed9aSIngo Molnar /*
1013cae2ed9aSIngo Molnar  * Generate 36 testcases:
1014cae2ed9aSIngo Molnar  */
1015cae2ed9aSIngo Molnar #include "locking-selftest-spin-hardirq.h"
1016cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_spin)
1017cae2ed9aSIngo Molnar 
1018cae2ed9aSIngo Molnar #include "locking-selftest-rlock-hardirq.h"
1019cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_rlock)
1020cae2ed9aSIngo Molnar 
1021cae2ed9aSIngo Molnar #include "locking-selftest-wlock-hardirq.h"
1022cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_wlock)
1023cae2ed9aSIngo Molnar 
1024cae2ed9aSIngo Molnar #include "locking-selftest-spin-softirq.h"
1025cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_spin)
1026cae2ed9aSIngo Molnar 
1027cae2ed9aSIngo Molnar #include "locking-selftest-rlock-softirq.h"
1028cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_rlock)
1029cae2ed9aSIngo Molnar 
1030cae2ed9aSIngo Molnar #include "locking-selftest-wlock-softirq.h"
1031cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_wlock)
1032cae2ed9aSIngo Molnar 
1033cae2ed9aSIngo Molnar #undef E1
1034cae2ed9aSIngo Molnar #undef E2
1035cae2ed9aSIngo Molnar #undef E3
1036cae2ed9aSIngo Molnar 
1037cae2ed9aSIngo Molnar /*
1038cae2ed9aSIngo Molnar  * read-lock / write-lock recursion that is actually safe.
1039cae2ed9aSIngo Molnar  */
1040cae2ed9aSIngo Molnar 
1041cae2ed9aSIngo Molnar #define E1()				\
1042cae2ed9aSIngo Molnar 					\
1043cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
1044cae2ed9aSIngo Molnar 	WL(A);				\
1045cae2ed9aSIngo Molnar 	WU(A);				\
1046cae2ed9aSIngo Molnar 	IRQ_ENABLE();
1047cae2ed9aSIngo Molnar 
1048cae2ed9aSIngo Molnar #define E2()				\
1049cae2ed9aSIngo Molnar 					\
1050cae2ed9aSIngo Molnar 	RL(A);				\
1051cae2ed9aSIngo Molnar 	RU(A);				\
1052cae2ed9aSIngo Molnar 
1053cae2ed9aSIngo Molnar #define E3()				\
1054cae2ed9aSIngo Molnar 					\
1055cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
1056cae2ed9aSIngo Molnar 	RL(A);				\
1057cae2ed9aSIngo Molnar 	L(B);				\
1058cae2ed9aSIngo Molnar 	U(B);				\
1059cae2ed9aSIngo Molnar 	RU(A);				\
1060cae2ed9aSIngo Molnar 	IRQ_EXIT();
1061cae2ed9aSIngo Molnar 
1062cae2ed9aSIngo Molnar /*
1063cae2ed9aSIngo Molnar  * Generate 12 testcases:
1064cae2ed9aSIngo Molnar  */
1065cae2ed9aSIngo Molnar #include "locking-selftest-hardirq.h"
1066cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_hard)
1067cae2ed9aSIngo Molnar 
1068cae2ed9aSIngo Molnar #include "locking-selftest-softirq.h"
1069cae2ed9aSIngo Molnar GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_soft)
1070cae2ed9aSIngo Molnar 
1071cae2ed9aSIngo Molnar #undef E1
1072cae2ed9aSIngo Molnar #undef E2
1073cae2ed9aSIngo Molnar #undef E3
1074cae2ed9aSIngo Molnar 
1075cae2ed9aSIngo Molnar /*
1076cae2ed9aSIngo Molnar  * read-lock / write-lock recursion that is unsafe.
1077cae2ed9aSIngo Molnar  */
1078cae2ed9aSIngo Molnar 
1079cae2ed9aSIngo Molnar #define E1()				\
1080cae2ed9aSIngo Molnar 					\
1081cae2ed9aSIngo Molnar 	IRQ_DISABLE();			\
1082cae2ed9aSIngo Molnar 	L(B);				\
1083cae2ed9aSIngo Molnar 	WL(A);				\
1084cae2ed9aSIngo Molnar 	WU(A);				\
1085cae2ed9aSIngo Molnar 	U(B);				\
1086cae2ed9aSIngo Molnar 	IRQ_ENABLE();
1087cae2ed9aSIngo Molnar 
1088cae2ed9aSIngo Molnar #define E2()				\
1089cae2ed9aSIngo Molnar 					\
1090cae2ed9aSIngo Molnar 	RL(A);				\
1091cae2ed9aSIngo Molnar 	RU(A);				\
1092cae2ed9aSIngo Molnar 
1093cae2ed9aSIngo Molnar #define E3()				\
1094cae2ed9aSIngo Molnar 					\
1095cae2ed9aSIngo Molnar 	IRQ_ENTER();			\
1096cae2ed9aSIngo Molnar 	L(B);				\
1097cae2ed9aSIngo Molnar 	U(B);				\
1098cae2ed9aSIngo Molnar 	IRQ_EXIT();
1099cae2ed9aSIngo Molnar 
1100cae2ed9aSIngo Molnar /*
1101cae2ed9aSIngo Molnar  * Generate 12 testcases:
1102cae2ed9aSIngo Molnar  */
1103cae2ed9aSIngo Molnar #include "locking-selftest-hardirq.h"
1104cae2ed9aSIngo Molnar // GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_hard)
1105cae2ed9aSIngo Molnar 
1106cae2ed9aSIngo Molnar #include "locking-selftest-softirq.h"
1107cae2ed9aSIngo Molnar // GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_soft)
1108cae2ed9aSIngo Molnar 
1109cae2ed9aSIngo Molnar #ifdef CONFIG_DEBUG_LOCK_ALLOC
1110cae2ed9aSIngo Molnar # define I_SPINLOCK(x)	lockdep_reset_lock(&lock_##x.dep_map)
1111cae2ed9aSIngo Molnar # define I_RWLOCK(x)	lockdep_reset_lock(&rwlock_##x.dep_map)
1112cae2ed9aSIngo Molnar # define I_MUTEX(x)	lockdep_reset_lock(&mutex_##x.dep_map)
1113cae2ed9aSIngo Molnar # define I_RWSEM(x)	lockdep_reset_lock(&rwsem_##x.dep_map)
11141de99445SMaarten Lankhorst # define I_WW(x)	lockdep_reset_lock(&x.dep_map)
1115018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1116018956d6SPeter Zijlstra # define I_RTMUTEX(x)	lockdep_reset_lock(&rtmutex_##x.dep_map)
1117018956d6SPeter Zijlstra #endif
1118cae2ed9aSIngo Molnar #else
1119cae2ed9aSIngo Molnar # define I_SPINLOCK(x)
1120cae2ed9aSIngo Molnar # define I_RWLOCK(x)
1121cae2ed9aSIngo Molnar # define I_MUTEX(x)
1122cae2ed9aSIngo Molnar # define I_RWSEM(x)
11231de99445SMaarten Lankhorst # define I_WW(x)
1124cae2ed9aSIngo Molnar #endif
1125cae2ed9aSIngo Molnar 
1126018956d6SPeter Zijlstra #ifndef I_RTMUTEX
1127018956d6SPeter Zijlstra # define I_RTMUTEX(x)
1128018956d6SPeter Zijlstra #endif
1129018956d6SPeter Zijlstra 
1130018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1131018956d6SPeter Zijlstra #define I2_RTMUTEX(x)	rt_mutex_init(&rtmutex_##x)
1132018956d6SPeter Zijlstra #else
1133018956d6SPeter Zijlstra #define I2_RTMUTEX(x)
1134018956d6SPeter Zijlstra #endif
1135018956d6SPeter Zijlstra 
1136cae2ed9aSIngo Molnar #define I1(x)					\
1137cae2ed9aSIngo Molnar 	do {					\
1138cae2ed9aSIngo Molnar 		I_SPINLOCK(x);			\
1139cae2ed9aSIngo Molnar 		I_RWLOCK(x);			\
1140cae2ed9aSIngo Molnar 		I_MUTEX(x);			\
1141cae2ed9aSIngo Molnar 		I_RWSEM(x);			\
1142018956d6SPeter Zijlstra 		I_RTMUTEX(x);			\
1143cae2ed9aSIngo Molnar 	} while (0)
1144cae2ed9aSIngo Molnar 
1145cae2ed9aSIngo Molnar #define I2(x)					\
1146cae2ed9aSIngo Molnar 	do {					\
11479fb1b90cSYong Zhang 		raw_spin_lock_init(&lock_##x);	\
1148cae2ed9aSIngo Molnar 		rwlock_init(&rwlock_##x);	\
1149cae2ed9aSIngo Molnar 		mutex_init(&mutex_##x);		\
1150cae2ed9aSIngo Molnar 		init_rwsem(&rwsem_##x);		\
1151018956d6SPeter Zijlstra 		I2_RTMUTEX(x);			\
1152cae2ed9aSIngo Molnar 	} while (0)
1153cae2ed9aSIngo Molnar 
1154cae2ed9aSIngo Molnar static void reset_locks(void)
1155cae2ed9aSIngo Molnar {
1156cae2ed9aSIngo Molnar 	local_irq_disable();
11571de99445SMaarten Lankhorst 	lockdep_free_key_range(&ww_lockdep.acquire_key, 1);
11581de99445SMaarten Lankhorst 	lockdep_free_key_range(&ww_lockdep.mutex_key, 1);
11591de99445SMaarten Lankhorst 
1160cae2ed9aSIngo Molnar 	I1(A); I1(B); I1(C); I1(D);
1161cae2ed9aSIngo Molnar 	I1(X1); I1(X2); I1(Y1); I1(Y2); I1(Z1); I1(Z2);
1162f3cf139eSMaarten Lankhorst 	I_WW(t); I_WW(t2); I_WW(o.base); I_WW(o2.base); I_WW(o3.base);
1163cae2ed9aSIngo Molnar 	lockdep_reset();
1164cae2ed9aSIngo Molnar 	I2(A); I2(B); I2(C); I2(D);
1165cae2ed9aSIngo Molnar 	init_shared_classes();
11661de99445SMaarten Lankhorst 
1167f3cf139eSMaarten Lankhorst 	ww_mutex_init(&o, &ww_lockdep); ww_mutex_init(&o2, &ww_lockdep); ww_mutex_init(&o3, &ww_lockdep);
11681de99445SMaarten Lankhorst 	memset(&t, 0, sizeof(t)); memset(&t2, 0, sizeof(t2));
11691de99445SMaarten Lankhorst 	memset(&ww_lockdep.acquire_key, 0, sizeof(ww_lockdep.acquire_key));
11701de99445SMaarten Lankhorst 	memset(&ww_lockdep.mutex_key, 0, sizeof(ww_lockdep.mutex_key));
1171cae2ed9aSIngo Molnar 	local_irq_enable();
1172cae2ed9aSIngo Molnar }
1173cae2ed9aSIngo Molnar 
1174cae2ed9aSIngo Molnar #undef I
1175cae2ed9aSIngo Molnar 
1176cae2ed9aSIngo Molnar static int testcase_total;
1177cae2ed9aSIngo Molnar static int testcase_successes;
1178cae2ed9aSIngo Molnar static int expected_testcase_failures;
1179cae2ed9aSIngo Molnar static int unexpected_testcase_failures;
1180cae2ed9aSIngo Molnar 
1181cae2ed9aSIngo Molnar static void dotest(void (*testcase_fn)(void), int expected, int lockclass_mask)
1182cae2ed9aSIngo Molnar {
1183cae2ed9aSIngo Molnar 	unsigned long saved_preempt_count = preempt_count();
1184cae2ed9aSIngo Molnar 
1185cae2ed9aSIngo Molnar 	WARN_ON(irqs_disabled());
1186cae2ed9aSIngo Molnar 
1187cae2ed9aSIngo Molnar 	testcase_fn();
1188cae2ed9aSIngo Molnar 	/*
1189cae2ed9aSIngo Molnar 	 * Filter out expected failures:
1190cae2ed9aSIngo Molnar 	 */
11911de99445SMaarten Lankhorst #ifndef CONFIG_PROVE_LOCKING
1192166989e3SMaarten Lankhorst 	if (expected == FAILURE && debug_locks) {
1193cae2ed9aSIngo Molnar 		expected_testcase_failures++;
119425139409SMichael Ellerman 		pr_cont("failed|");
1195166989e3SMaarten Lankhorst 	}
1196166989e3SMaarten Lankhorst 	else
1197166989e3SMaarten Lankhorst #endif
1198166989e3SMaarten Lankhorst 	if (debug_locks != expected) {
1199cae2ed9aSIngo Molnar 		unexpected_testcase_failures++;
120025139409SMichael Ellerman 		pr_cont("FAILED|");
1201cae2ed9aSIngo Molnar 	} else {
1202cae2ed9aSIngo Molnar 		testcase_successes++;
120325139409SMichael Ellerman 		pr_cont("  ok  |");
1204cae2ed9aSIngo Molnar 	}
1205cae2ed9aSIngo Molnar 	testcase_total++;
1206cae2ed9aSIngo Molnar 
1207cae2ed9aSIngo Molnar 	if (debug_locks_verbose)
120825139409SMichael Ellerman 		pr_cont(" lockclass mask: %x, debug_locks: %d, expected: %d\n",
1209cae2ed9aSIngo Molnar 			lockclass_mask, debug_locks, expected);
1210cae2ed9aSIngo Molnar 	/*
1211cae2ed9aSIngo Molnar 	 * Some tests (e.g. double-unlock) might corrupt the preemption
1212cae2ed9aSIngo Molnar 	 * count, so restore it:
1213cae2ed9aSIngo Molnar 	 */
12144a2b4b22SPeter Zijlstra 	preempt_count_set(saved_preempt_count);
1215cae2ed9aSIngo Molnar #ifdef CONFIG_TRACE_IRQFLAGS
1216cae2ed9aSIngo Molnar 	if (softirq_count())
1217cae2ed9aSIngo Molnar 		current->softirqs_enabled = 0;
1218cae2ed9aSIngo Molnar 	else
1219cae2ed9aSIngo Molnar 		current->softirqs_enabled = 1;
1220cae2ed9aSIngo Molnar #endif
1221cae2ed9aSIngo Molnar 
1222cae2ed9aSIngo Molnar 	reset_locks();
1223cae2ed9aSIngo Molnar }
1224cae2ed9aSIngo Molnar 
1225018956d6SPeter Zijlstra #ifdef CONFIG_RT_MUTEXES
1226018956d6SPeter Zijlstra #define dotest_rt(fn, e, m)	dotest((fn), (e), (m))
1227018956d6SPeter Zijlstra #else
1228018956d6SPeter Zijlstra #define dotest_rt(fn, e, m)
1229018956d6SPeter Zijlstra #endif
1230018956d6SPeter Zijlstra 
1231cae2ed9aSIngo Molnar static inline void print_testname(const char *testname)
1232cae2ed9aSIngo Molnar {
1233cae2ed9aSIngo Molnar 	printk("%33s:", testname);
1234cae2ed9aSIngo Molnar }
1235cae2ed9aSIngo Molnar 
1236cae2ed9aSIngo Molnar #define DO_TESTCASE_1(desc, name, nr)				\
1237cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1238cae2ed9aSIngo Molnar 	dotest(name##_##nr, SUCCESS, LOCKTYPE_RWLOCK);		\
123925139409SMichael Ellerman 	pr_cont("\n");
1240cae2ed9aSIngo Molnar 
1241cae2ed9aSIngo Molnar #define DO_TESTCASE_1B(desc, name, nr)				\
1242cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1243cae2ed9aSIngo Molnar 	dotest(name##_##nr, FAILURE, LOCKTYPE_RWLOCK);		\
124425139409SMichael Ellerman 	pr_cont("\n");
1245cae2ed9aSIngo Molnar 
1246cae2ed9aSIngo Molnar #define DO_TESTCASE_3(desc, name, nr)				\
1247cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1248cae2ed9aSIngo Molnar 	dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN);	\
1249cae2ed9aSIngo Molnar 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
1250cae2ed9aSIngo Molnar 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
125125139409SMichael Ellerman 	pr_cont("\n");
1252cae2ed9aSIngo Molnar 
1253cae2ed9aSIngo Molnar #define DO_TESTCASE_3RW(desc, name, nr)				\
1254cae2ed9aSIngo Molnar 	print_testname(desc"/"#nr);				\
1255cae2ed9aSIngo Molnar 	dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN|LOCKTYPE_RWLOCK);\
1256cae2ed9aSIngo Molnar 	dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK);	\
1257cae2ed9aSIngo Molnar 	dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK);	\
125825139409SMichael Ellerman 	pr_cont("\n");
1259cae2ed9aSIngo Molnar 
1260cae2ed9aSIngo Molnar #define DO_TESTCASE_6(desc, name)				\
1261cae2ed9aSIngo Molnar 	print_testname(desc);					\
1262cae2ed9aSIngo Molnar 	dotest(name##_spin, FAILURE, LOCKTYPE_SPIN);		\
1263cae2ed9aSIngo Molnar 	dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK);		\
1264cae2ed9aSIngo Molnar 	dotest(name##_rlock, FAILURE, LOCKTYPE_RWLOCK);		\
1265cae2ed9aSIngo Molnar 	dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX);		\
1266cae2ed9aSIngo Molnar 	dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM);		\
1267cae2ed9aSIngo Molnar 	dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM);		\
1268018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX);	\
126925139409SMichael Ellerman 	pr_cont("\n");
1270cae2ed9aSIngo Molnar 
1271cae2ed9aSIngo Molnar #define DO_TESTCASE_6_SUCCESS(desc, name)			\
1272cae2ed9aSIngo Molnar 	print_testname(desc);					\
1273cae2ed9aSIngo Molnar 	dotest(name##_spin, SUCCESS, LOCKTYPE_SPIN);		\
1274cae2ed9aSIngo Molnar 	dotest(name##_wlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1275cae2ed9aSIngo Molnar 	dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1276cae2ed9aSIngo Molnar 	dotest(name##_mutex, SUCCESS, LOCKTYPE_MUTEX);		\
1277cae2ed9aSIngo Molnar 	dotest(name##_wsem, SUCCESS, LOCKTYPE_RWSEM);		\
1278cae2ed9aSIngo Molnar 	dotest(name##_rsem, SUCCESS, LOCKTYPE_RWSEM);		\
1279018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, SUCCESS, LOCKTYPE_RTMUTEX);	\
128025139409SMichael Ellerman 	pr_cont("\n");
1281cae2ed9aSIngo Molnar 
1282cae2ed9aSIngo Molnar /*
1283cae2ed9aSIngo Molnar  * 'read' variant: rlocks must not trigger.
1284cae2ed9aSIngo Molnar  */
1285cae2ed9aSIngo Molnar #define DO_TESTCASE_6R(desc, name)				\
1286cae2ed9aSIngo Molnar 	print_testname(desc);					\
1287cae2ed9aSIngo Molnar 	dotest(name##_spin, FAILURE, LOCKTYPE_SPIN);		\
1288cae2ed9aSIngo Molnar 	dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK);		\
1289cae2ed9aSIngo Molnar 	dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK);		\
1290cae2ed9aSIngo Molnar 	dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX);		\
1291cae2ed9aSIngo Molnar 	dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM);		\
1292cae2ed9aSIngo Molnar 	dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM);		\
1293018956d6SPeter Zijlstra 	dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX);	\
129425139409SMichael Ellerman 	pr_cont("\n");
1295cae2ed9aSIngo Molnar 
1296cae2ed9aSIngo Molnar #define DO_TESTCASE_2I(desc, name, nr)				\
1297cae2ed9aSIngo Molnar 	DO_TESTCASE_1("hard-"desc, name##_hard, nr);		\
1298cae2ed9aSIngo Molnar 	DO_TESTCASE_1("soft-"desc, name##_soft, nr);
1299cae2ed9aSIngo Molnar 
1300cae2ed9aSIngo Molnar #define DO_TESTCASE_2IB(desc, name, nr)				\
1301cae2ed9aSIngo Molnar 	DO_TESTCASE_1B("hard-"desc, name##_hard, nr);		\
1302cae2ed9aSIngo Molnar 	DO_TESTCASE_1B("soft-"desc, name##_soft, nr);
1303cae2ed9aSIngo Molnar 
1304cae2ed9aSIngo Molnar #define DO_TESTCASE_6I(desc, name, nr)				\
1305cae2ed9aSIngo Molnar 	DO_TESTCASE_3("hard-"desc, name##_hard, nr);		\
1306cae2ed9aSIngo Molnar 	DO_TESTCASE_3("soft-"desc, name##_soft, nr);
1307cae2ed9aSIngo Molnar 
1308cae2ed9aSIngo Molnar #define DO_TESTCASE_6IRW(desc, name, nr)			\
1309cae2ed9aSIngo Molnar 	DO_TESTCASE_3RW("hard-"desc, name##_hard, nr);		\
1310cae2ed9aSIngo Molnar 	DO_TESTCASE_3RW("soft-"desc, name##_soft, nr);
1311cae2ed9aSIngo Molnar 
1312cae2ed9aSIngo Molnar #define DO_TESTCASE_2x3(desc, name)				\
1313cae2ed9aSIngo Molnar 	DO_TESTCASE_3(desc, name, 12);				\
1314cae2ed9aSIngo Molnar 	DO_TESTCASE_3(desc, name, 21);
1315cae2ed9aSIngo Molnar 
1316cae2ed9aSIngo Molnar #define DO_TESTCASE_2x6(desc, name)				\
1317cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 12);				\
1318cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 21);
1319cae2ed9aSIngo Molnar 
1320cae2ed9aSIngo Molnar #define DO_TESTCASE_6x2(desc, name)				\
1321cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 123);			\
1322cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 132);			\
1323cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 213);			\
1324cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 231);			\
1325cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 312);			\
1326cae2ed9aSIngo Molnar 	DO_TESTCASE_2I(desc, name, 321);
1327cae2ed9aSIngo Molnar 
1328cae2ed9aSIngo Molnar #define DO_TESTCASE_6x2B(desc, name)				\
1329cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 123);			\
1330cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 132);			\
1331cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 213);			\
1332cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 231);			\
1333cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 312);			\
1334cae2ed9aSIngo Molnar 	DO_TESTCASE_2IB(desc, name, 321);
1335cae2ed9aSIngo Molnar 
1336cae2ed9aSIngo Molnar #define DO_TESTCASE_6x6(desc, name)				\
1337cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 123);			\
1338cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 132);			\
1339cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 213);			\
1340cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 231);			\
1341cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 312);			\
1342cae2ed9aSIngo Molnar 	DO_TESTCASE_6I(desc, name, 321);
1343cae2ed9aSIngo Molnar 
1344cae2ed9aSIngo Molnar #define DO_TESTCASE_6x6RW(desc, name)				\
1345cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 123);			\
1346cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 132);			\
1347cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 213);			\
1348cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 231);			\
1349cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 312);			\
1350cae2ed9aSIngo Molnar 	DO_TESTCASE_6IRW(desc, name, 321);
1351cae2ed9aSIngo Molnar 
13521de99445SMaarten Lankhorst static void ww_test_fail_acquire(void)
13531de99445SMaarten Lankhorst {
13541de99445SMaarten Lankhorst 	int ret;
13551de99445SMaarten Lankhorst 
13561de99445SMaarten Lankhorst 	WWAI(&t);
13571de99445SMaarten Lankhorst 	t.stamp++;
13581de99445SMaarten Lankhorst 
13591de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
13601de99445SMaarten Lankhorst 
13611de99445SMaarten Lankhorst 	if (WARN_ON(!o.ctx) ||
13621de99445SMaarten Lankhorst 	    WARN_ON(ret))
13631de99445SMaarten Lankhorst 		return;
13641de99445SMaarten Lankhorst 
13651de99445SMaarten Lankhorst 	/* No lockdep test, pure API */
13661de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
13671de99445SMaarten Lankhorst 	WARN_ON(ret != -EALREADY);
13681de99445SMaarten Lankhorst 
13691de99445SMaarten Lankhorst 	ret = WWT(&o);
13701de99445SMaarten Lankhorst 	WARN_ON(ret);
13711de99445SMaarten Lankhorst 
13721de99445SMaarten Lankhorst 	t2 = t;
13731de99445SMaarten Lankhorst 	t2.stamp++;
13741de99445SMaarten Lankhorst 	ret = WWL(&o, &t2);
13751de99445SMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
13761de99445SMaarten Lankhorst 	WWU(&o);
13771de99445SMaarten Lankhorst 
13781de99445SMaarten Lankhorst 	if (WWT(&o))
13791de99445SMaarten Lankhorst 		WWU(&o);
13801de99445SMaarten Lankhorst #ifdef CONFIG_DEBUG_LOCK_ALLOC
13811de99445SMaarten Lankhorst 	else
13821de99445SMaarten Lankhorst 		DEBUG_LOCKS_WARN_ON(1);
13831de99445SMaarten Lankhorst #endif
13841de99445SMaarten Lankhorst }
13851de99445SMaarten Lankhorst 
13862fe3d4b1SMaarten Lankhorst static void ww_test_normal(void)
13872fe3d4b1SMaarten Lankhorst {
13882fe3d4b1SMaarten Lankhorst 	int ret;
13892fe3d4b1SMaarten Lankhorst 
13902fe3d4b1SMaarten Lankhorst 	WWAI(&t);
13912fe3d4b1SMaarten Lankhorst 
13922fe3d4b1SMaarten Lankhorst 	/*
13932fe3d4b1SMaarten Lankhorst 	 * None of the ww_mutex codepaths should be taken in the 'normal'
13942fe3d4b1SMaarten Lankhorst 	 * mutex calls. The easiest way to verify this is by using the
13952fe3d4b1SMaarten Lankhorst 	 * normal mutex calls, and making sure o.ctx is unmodified.
13962fe3d4b1SMaarten Lankhorst 	 */
13972fe3d4b1SMaarten Lankhorst 
13982fe3d4b1SMaarten Lankhorst 	/* mutex_lock (and indirectly, mutex_lock_nested) */
13992fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
14002fe3d4b1SMaarten Lankhorst 	mutex_lock(&o.base);
14012fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
14022fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
14032fe3d4b1SMaarten Lankhorst 
14042fe3d4b1SMaarten Lankhorst 	/* mutex_lock_interruptible (and *_nested) */
14052fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
14062fe3d4b1SMaarten Lankhorst 	ret = mutex_lock_interruptible(&o.base);
14072fe3d4b1SMaarten Lankhorst 	if (!ret)
14082fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
14092fe3d4b1SMaarten Lankhorst 	else
14102fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
14112fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
14122fe3d4b1SMaarten Lankhorst 
14132fe3d4b1SMaarten Lankhorst 	/* mutex_lock_killable (and *_nested) */
14142fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
14152fe3d4b1SMaarten Lankhorst 	ret = mutex_lock_killable(&o.base);
14162fe3d4b1SMaarten Lankhorst 	if (!ret)
14172fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
14182fe3d4b1SMaarten Lankhorst 	else
14192fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
14202fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
14212fe3d4b1SMaarten Lankhorst 
14222fe3d4b1SMaarten Lankhorst 	/* trylock, succeeding */
14232fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
14242fe3d4b1SMaarten Lankhorst 	ret = mutex_trylock(&o.base);
14252fe3d4b1SMaarten Lankhorst 	WARN_ON(!ret);
14262fe3d4b1SMaarten Lankhorst 	if (ret)
14272fe3d4b1SMaarten Lankhorst 		mutex_unlock(&o.base);
14282fe3d4b1SMaarten Lankhorst 	else
14292fe3d4b1SMaarten Lankhorst 		WARN_ON(1);
14302fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
14312fe3d4b1SMaarten Lankhorst 
14322fe3d4b1SMaarten Lankhorst 	/* trylock, failing */
14332fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
14342fe3d4b1SMaarten Lankhorst 	mutex_lock(&o.base);
14352fe3d4b1SMaarten Lankhorst 	ret = mutex_trylock(&o.base);
14362fe3d4b1SMaarten Lankhorst 	WARN_ON(ret);
14372fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
14382fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
14392fe3d4b1SMaarten Lankhorst 
14402fe3d4b1SMaarten Lankhorst 	/* nest_lock */
14412fe3d4b1SMaarten Lankhorst 	o.ctx = (void *)~0UL;
14422fe3d4b1SMaarten Lankhorst 	mutex_lock_nest_lock(&o.base, &t);
14432fe3d4b1SMaarten Lankhorst 	mutex_unlock(&o.base);
14442fe3d4b1SMaarten Lankhorst 	WARN_ON(o.ctx != (void *)~0UL);
14452fe3d4b1SMaarten Lankhorst }
14462fe3d4b1SMaarten Lankhorst 
14471de99445SMaarten Lankhorst static void ww_test_two_contexts(void)
14481de99445SMaarten Lankhorst {
14491de99445SMaarten Lankhorst 	WWAI(&t);
14501de99445SMaarten Lankhorst 	WWAI(&t2);
14511de99445SMaarten Lankhorst }
14521de99445SMaarten Lankhorst 
14531de99445SMaarten Lankhorst static void ww_test_diff_class(void)
14541de99445SMaarten Lankhorst {
14551de99445SMaarten Lankhorst 	WWAI(&t);
14561de99445SMaarten Lankhorst #ifdef CONFIG_DEBUG_MUTEXES
14571de99445SMaarten Lankhorst 	t.ww_class = NULL;
14581de99445SMaarten Lankhorst #endif
14591de99445SMaarten Lankhorst 	WWL(&o, &t);
14601de99445SMaarten Lankhorst }
14611de99445SMaarten Lankhorst 
14621de99445SMaarten Lankhorst static void ww_test_context_done_twice(void)
14631de99445SMaarten Lankhorst {
14641de99445SMaarten Lankhorst 	WWAI(&t);
14651de99445SMaarten Lankhorst 	WWAD(&t);
14661de99445SMaarten Lankhorst 	WWAD(&t);
14671de99445SMaarten Lankhorst 	WWAF(&t);
14681de99445SMaarten Lankhorst }
14691de99445SMaarten Lankhorst 
14701de99445SMaarten Lankhorst static void ww_test_context_unlock_twice(void)
14711de99445SMaarten Lankhorst {
14721de99445SMaarten Lankhorst 	WWAI(&t);
14731de99445SMaarten Lankhorst 	WWAD(&t);
14741de99445SMaarten Lankhorst 	WWAF(&t);
14751de99445SMaarten Lankhorst 	WWAF(&t);
14761de99445SMaarten Lankhorst }
14771de99445SMaarten Lankhorst 
14781de99445SMaarten Lankhorst static void ww_test_context_fini_early(void)
14791de99445SMaarten Lankhorst {
14801de99445SMaarten Lankhorst 	WWAI(&t);
14811de99445SMaarten Lankhorst 	WWL(&o, &t);
14821de99445SMaarten Lankhorst 	WWAD(&t);
14831de99445SMaarten Lankhorst 	WWAF(&t);
14841de99445SMaarten Lankhorst }
14851de99445SMaarten Lankhorst 
14861de99445SMaarten Lankhorst static void ww_test_context_lock_after_done(void)
14871de99445SMaarten Lankhorst {
14881de99445SMaarten Lankhorst 	WWAI(&t);
14891de99445SMaarten Lankhorst 	WWAD(&t);
14901de99445SMaarten Lankhorst 	WWL(&o, &t);
14911de99445SMaarten Lankhorst }
14921de99445SMaarten Lankhorst 
14931de99445SMaarten Lankhorst static void ww_test_object_unlock_twice(void)
14941de99445SMaarten Lankhorst {
14951de99445SMaarten Lankhorst 	WWL1(&o);
14961de99445SMaarten Lankhorst 	WWU(&o);
14971de99445SMaarten Lankhorst 	WWU(&o);
14981de99445SMaarten Lankhorst }
14991de99445SMaarten Lankhorst 
15001de99445SMaarten Lankhorst static void ww_test_object_lock_unbalanced(void)
15011de99445SMaarten Lankhorst {
15021de99445SMaarten Lankhorst 	WWAI(&t);
15031de99445SMaarten Lankhorst 	WWL(&o, &t);
15041de99445SMaarten Lankhorst 	t.acquired = 0;
15051de99445SMaarten Lankhorst 	WWU(&o);
15061de99445SMaarten Lankhorst 	WWAF(&t);
15071de99445SMaarten Lankhorst }
15081de99445SMaarten Lankhorst 
15091de99445SMaarten Lankhorst static void ww_test_object_lock_stale_context(void)
15101de99445SMaarten Lankhorst {
15111de99445SMaarten Lankhorst 	WWAI(&t);
15121de99445SMaarten Lankhorst 	o.ctx = &t2;
15131de99445SMaarten Lankhorst 	WWL(&o, &t);
15141de99445SMaarten Lankhorst }
15151de99445SMaarten Lankhorst 
1516f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_normal(void)
1517f3cf139eSMaarten Lankhorst {
1518f3cf139eSMaarten Lankhorst 	int ret;
1519f3cf139eSMaarten Lankhorst 
1520f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1521f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
15225facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1523f3cf139eSMaarten Lankhorst 
1524f3cf139eSMaarten Lankhorst 	WWAI(&t);
1525f3cf139eSMaarten Lankhorst 	t2 = t;
1526f3cf139eSMaarten Lankhorst 	t2.stamp--;
1527f3cf139eSMaarten Lankhorst 
1528f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1529f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1530f3cf139eSMaarten Lankhorst 
1531f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1532f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1533f3cf139eSMaarten Lankhorst 
1534f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1535f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1536f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1537f3cf139eSMaarten Lankhorst 	WWU(&o);
1538f3cf139eSMaarten Lankhorst 
1539f3cf139eSMaarten Lankhorst 	WWL(&o2, &t);
1540f3cf139eSMaarten Lankhorst }
1541f3cf139eSMaarten Lankhorst 
1542f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_normal_slow(void)
1543f3cf139eSMaarten Lankhorst {
1544f3cf139eSMaarten Lankhorst 	int ret;
1545f3cf139eSMaarten Lankhorst 
1546f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
15475facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1548f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1549f3cf139eSMaarten Lankhorst 
1550f3cf139eSMaarten Lankhorst 	WWAI(&t);
1551f3cf139eSMaarten Lankhorst 	t2 = t;
1552f3cf139eSMaarten Lankhorst 	t2.stamp--;
1553f3cf139eSMaarten Lankhorst 
1554f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1555f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1556f3cf139eSMaarten Lankhorst 
1557f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1558f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1559f3cf139eSMaarten Lankhorst 
1560f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1561f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1562f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1563f3cf139eSMaarten Lankhorst 	WWU(&o);
1564f3cf139eSMaarten Lankhorst 
1565f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o2, &t);
1566f3cf139eSMaarten Lankhorst }
1567f3cf139eSMaarten Lankhorst 
1568f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_no_unlock(void)
1569f3cf139eSMaarten Lankhorst {
1570f3cf139eSMaarten Lankhorst 	int ret;
1571f3cf139eSMaarten Lankhorst 
1572f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
1573f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
15745facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1575f3cf139eSMaarten Lankhorst 
1576f3cf139eSMaarten Lankhorst 	WWAI(&t);
1577f3cf139eSMaarten Lankhorst 	t2 = t;
1578f3cf139eSMaarten Lankhorst 	t2.stamp--;
1579f3cf139eSMaarten Lankhorst 
1580f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1581f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1582f3cf139eSMaarten Lankhorst 
1583f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1584f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1585f3cf139eSMaarten Lankhorst 
1586f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1587f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1588f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1589f3cf139eSMaarten Lankhorst 
1590f3cf139eSMaarten Lankhorst 	WWL(&o2, &t);
1591f3cf139eSMaarten Lankhorst }
1592f3cf139eSMaarten Lankhorst 
1593f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_no_unlock_slow(void)
1594f3cf139eSMaarten Lankhorst {
1595f3cf139eSMaarten Lankhorst 	int ret;
1596f3cf139eSMaarten Lankhorst 
1597f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
15985facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1599f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1600f3cf139eSMaarten Lankhorst 
1601f3cf139eSMaarten Lankhorst 	WWAI(&t);
1602f3cf139eSMaarten Lankhorst 	t2 = t;
1603f3cf139eSMaarten Lankhorst 	t2.stamp--;
1604f3cf139eSMaarten Lankhorst 
1605f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1606f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1607f3cf139eSMaarten Lankhorst 
1608f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1609f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1610f3cf139eSMaarten Lankhorst 
1611f3cf139eSMaarten Lankhorst 	o2.ctx = NULL;
1612f3cf139eSMaarten Lankhorst 	mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1613f3cf139eSMaarten Lankhorst 	mutex_unlock(&o2.base);
1614f3cf139eSMaarten Lankhorst 
1615f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o2, &t);
1616f3cf139eSMaarten Lankhorst }
1617f3cf139eSMaarten Lankhorst 
1618f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more(void)
1619f3cf139eSMaarten Lankhorst {
1620f3cf139eSMaarten Lankhorst 	int ret;
1621f3cf139eSMaarten Lankhorst 
1622f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
16235facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1624f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1625f3cf139eSMaarten Lankhorst 
1626f3cf139eSMaarten Lankhorst 	WWAI(&t);
1627f3cf139eSMaarten Lankhorst 	t2 = t;
1628f3cf139eSMaarten Lankhorst 	t2.stamp--;
1629f3cf139eSMaarten Lankhorst 
1630f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1631f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1632f3cf139eSMaarten Lankhorst 
1633f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1634f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1635f3cf139eSMaarten Lankhorst 
1636f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1637f3cf139eSMaarten Lankhorst }
1638f3cf139eSMaarten Lankhorst 
1639f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_slow(void)
1640f3cf139eSMaarten Lankhorst {
1641f3cf139eSMaarten Lankhorst 	int ret;
1642f3cf139eSMaarten Lankhorst 
1643f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
16445facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1645f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1646f3cf139eSMaarten Lankhorst 
1647f3cf139eSMaarten Lankhorst 	WWAI(&t);
1648f3cf139eSMaarten Lankhorst 	t2 = t;
1649f3cf139eSMaarten Lankhorst 	t2.stamp--;
1650f3cf139eSMaarten Lankhorst 
1651f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1652f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1653f3cf139eSMaarten Lankhorst 
1654f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1655f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1656f3cf139eSMaarten Lankhorst 
1657f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1658f3cf139eSMaarten Lankhorst }
1659f3cf139eSMaarten Lankhorst 
1660f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_edeadlk(void)
1661f3cf139eSMaarten Lankhorst {
1662f3cf139eSMaarten Lankhorst 	int ret;
1663f3cf139eSMaarten Lankhorst 
1664f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
16655facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1666f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1667f3cf139eSMaarten Lankhorst 
1668f3cf139eSMaarten Lankhorst 	mutex_lock(&o3.base);
16695facae4fSQian Cai 	mutex_release(&o3.base.dep_map, _THIS_IP_);
1670f3cf139eSMaarten Lankhorst 	o3.ctx = &t2;
1671f3cf139eSMaarten Lankhorst 
1672f3cf139eSMaarten Lankhorst 	WWAI(&t);
1673f3cf139eSMaarten Lankhorst 	t2 = t;
1674f3cf139eSMaarten Lankhorst 	t2.stamp--;
1675f3cf139eSMaarten Lankhorst 
1676f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1677f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1678f3cf139eSMaarten Lankhorst 
1679f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1680f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1681f3cf139eSMaarten Lankhorst 
1682f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1683f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1684f3cf139eSMaarten Lankhorst }
1685f3cf139eSMaarten Lankhorst 
1686f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_more_edeadlk_slow(void)
1687f3cf139eSMaarten Lankhorst {
1688f3cf139eSMaarten Lankhorst 	int ret;
1689f3cf139eSMaarten Lankhorst 
1690f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
16915facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1692f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1693f3cf139eSMaarten Lankhorst 
1694f3cf139eSMaarten Lankhorst 	mutex_lock(&o3.base);
16955facae4fSQian Cai 	mutex_release(&o3.base.dep_map, _THIS_IP_);
1696f3cf139eSMaarten Lankhorst 	o3.ctx = &t2;
1697f3cf139eSMaarten Lankhorst 
1698f3cf139eSMaarten Lankhorst 	WWAI(&t);
1699f3cf139eSMaarten Lankhorst 	t2 = t;
1700f3cf139eSMaarten Lankhorst 	t2.stamp--;
1701f3cf139eSMaarten Lankhorst 
1702f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1703f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1704f3cf139eSMaarten Lankhorst 
1705f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1706f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1707f3cf139eSMaarten Lankhorst 
1708f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1709f3cf139eSMaarten Lankhorst }
1710f3cf139eSMaarten Lankhorst 
1711f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_wrong(void)
1712f3cf139eSMaarten Lankhorst {
1713f3cf139eSMaarten Lankhorst 	int ret;
1714f3cf139eSMaarten Lankhorst 
1715f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
17165facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1717f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1718f3cf139eSMaarten Lankhorst 
1719f3cf139eSMaarten Lankhorst 	WWAI(&t);
1720f3cf139eSMaarten Lankhorst 	t2 = t;
1721f3cf139eSMaarten Lankhorst 	t2.stamp--;
1722f3cf139eSMaarten Lankhorst 
1723f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1724f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1725f3cf139eSMaarten Lankhorst 
1726f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1727f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1728f3cf139eSMaarten Lankhorst 	if (!ret)
1729f3cf139eSMaarten Lankhorst 		WWU(&o2);
1730f3cf139eSMaarten Lankhorst 
1731f3cf139eSMaarten Lankhorst 	WWU(&o);
1732f3cf139eSMaarten Lankhorst 
1733f3cf139eSMaarten Lankhorst 	ret = WWL(&o3, &t);
1734f3cf139eSMaarten Lankhorst }
1735f3cf139eSMaarten Lankhorst 
1736f3cf139eSMaarten Lankhorst static void ww_test_edeadlk_acquire_wrong_slow(void)
1737f3cf139eSMaarten Lankhorst {
1738f3cf139eSMaarten Lankhorst 	int ret;
1739f3cf139eSMaarten Lankhorst 
1740f3cf139eSMaarten Lankhorst 	mutex_lock(&o2.base);
17415facae4fSQian Cai 	mutex_release(&o2.base.dep_map, _THIS_IP_);
1742f3cf139eSMaarten Lankhorst 	o2.ctx = &t2;
1743f3cf139eSMaarten Lankhorst 
1744f3cf139eSMaarten Lankhorst 	WWAI(&t);
1745f3cf139eSMaarten Lankhorst 	t2 = t;
1746f3cf139eSMaarten Lankhorst 	t2.stamp--;
1747f3cf139eSMaarten Lankhorst 
1748f3cf139eSMaarten Lankhorst 	ret = WWL(&o, &t);
1749f3cf139eSMaarten Lankhorst 	WARN_ON(ret);
1750f3cf139eSMaarten Lankhorst 
1751f3cf139eSMaarten Lankhorst 	ret = WWL(&o2, &t);
1752f3cf139eSMaarten Lankhorst 	WARN_ON(ret != -EDEADLK);
1753f3cf139eSMaarten Lankhorst 	if (!ret)
1754f3cf139eSMaarten Lankhorst 		WWU(&o2);
1755f3cf139eSMaarten Lankhorst 
1756f3cf139eSMaarten Lankhorst 	WWU(&o);
1757f3cf139eSMaarten Lankhorst 
1758f3cf139eSMaarten Lankhorst 	ww_mutex_lock_slow(&o3, &t);
1759f3cf139eSMaarten Lankhorst }
1760f3cf139eSMaarten Lankhorst 
17611de99445SMaarten Lankhorst static void ww_test_spin_nest_unlocked(void)
17621de99445SMaarten Lankhorst {
17631de99445SMaarten Lankhorst 	raw_spin_lock_nest_lock(&lock_A, &o.base);
17641de99445SMaarten Lankhorst 	U(A);
17651de99445SMaarten Lankhorst }
17661de99445SMaarten Lankhorst 
17671de99445SMaarten Lankhorst static void ww_test_unneeded_slow(void)
17681de99445SMaarten Lankhorst {
17691de99445SMaarten Lankhorst 	WWAI(&t);
17701de99445SMaarten Lankhorst 
17711de99445SMaarten Lankhorst 	ww_mutex_lock_slow(&o, &t);
17721de99445SMaarten Lankhorst }
17731de99445SMaarten Lankhorst 
17741de99445SMaarten Lankhorst static void ww_test_context_block(void)
17751de99445SMaarten Lankhorst {
17761de99445SMaarten Lankhorst 	int ret;
17771de99445SMaarten Lankhorst 
17781de99445SMaarten Lankhorst 	WWAI(&t);
17791de99445SMaarten Lankhorst 
17801de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
17811de99445SMaarten Lankhorst 	WARN_ON(ret);
17821de99445SMaarten Lankhorst 	WWL1(&o2);
17831de99445SMaarten Lankhorst }
17841de99445SMaarten Lankhorst 
17851de99445SMaarten Lankhorst static void ww_test_context_try(void)
17861de99445SMaarten Lankhorst {
17871de99445SMaarten Lankhorst 	int ret;
17881de99445SMaarten Lankhorst 
17891de99445SMaarten Lankhorst 	WWAI(&t);
17901de99445SMaarten Lankhorst 
17911de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
17921de99445SMaarten Lankhorst 	WARN_ON(ret);
17931de99445SMaarten Lankhorst 
17941de99445SMaarten Lankhorst 	ret = WWT(&o2);
17951de99445SMaarten Lankhorst 	WARN_ON(!ret);
17961de99445SMaarten Lankhorst 	WWU(&o2);
17971de99445SMaarten Lankhorst 	WWU(&o);
17981de99445SMaarten Lankhorst }
17991de99445SMaarten Lankhorst 
18001de99445SMaarten Lankhorst static void ww_test_context_context(void)
18011de99445SMaarten Lankhorst {
18021de99445SMaarten Lankhorst 	int ret;
18031de99445SMaarten Lankhorst 
18041de99445SMaarten Lankhorst 	WWAI(&t);
18051de99445SMaarten Lankhorst 
18061de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
18071de99445SMaarten Lankhorst 	WARN_ON(ret);
18081de99445SMaarten Lankhorst 
18091de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
18101de99445SMaarten Lankhorst 	WARN_ON(ret);
18111de99445SMaarten Lankhorst 
18121de99445SMaarten Lankhorst 	WWU(&o2);
18131de99445SMaarten Lankhorst 	WWU(&o);
18141de99445SMaarten Lankhorst }
18151de99445SMaarten Lankhorst 
18161de99445SMaarten Lankhorst static void ww_test_try_block(void)
18171de99445SMaarten Lankhorst {
18181de99445SMaarten Lankhorst 	bool ret;
18191de99445SMaarten Lankhorst 
18201de99445SMaarten Lankhorst 	ret = WWT(&o);
18211de99445SMaarten Lankhorst 	WARN_ON(!ret);
18221de99445SMaarten Lankhorst 
18231de99445SMaarten Lankhorst 	WWL1(&o2);
18241de99445SMaarten Lankhorst 	WWU(&o2);
18251de99445SMaarten Lankhorst 	WWU(&o);
18261de99445SMaarten Lankhorst }
18271de99445SMaarten Lankhorst 
18281de99445SMaarten Lankhorst static void ww_test_try_try(void)
18291de99445SMaarten Lankhorst {
18301de99445SMaarten Lankhorst 	bool ret;
18311de99445SMaarten Lankhorst 
18321de99445SMaarten Lankhorst 	ret = WWT(&o);
18331de99445SMaarten Lankhorst 	WARN_ON(!ret);
18341de99445SMaarten Lankhorst 	ret = WWT(&o2);
18351de99445SMaarten Lankhorst 	WARN_ON(!ret);
18361de99445SMaarten Lankhorst 	WWU(&o2);
18371de99445SMaarten Lankhorst 	WWU(&o);
18381de99445SMaarten Lankhorst }
18391de99445SMaarten Lankhorst 
18401de99445SMaarten Lankhorst static void ww_test_try_context(void)
18411de99445SMaarten Lankhorst {
18421de99445SMaarten Lankhorst 	int ret;
18431de99445SMaarten Lankhorst 
18441de99445SMaarten Lankhorst 	ret = WWT(&o);
18451de99445SMaarten Lankhorst 	WARN_ON(!ret);
18461de99445SMaarten Lankhorst 
18471de99445SMaarten Lankhorst 	WWAI(&t);
18481de99445SMaarten Lankhorst 
18491de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
18501de99445SMaarten Lankhorst 	WARN_ON(ret);
18511de99445SMaarten Lankhorst }
18521de99445SMaarten Lankhorst 
18531de99445SMaarten Lankhorst static void ww_test_block_block(void)
18541de99445SMaarten Lankhorst {
18551de99445SMaarten Lankhorst 	WWL1(&o);
18561de99445SMaarten Lankhorst 	WWL1(&o2);
18571de99445SMaarten Lankhorst }
18581de99445SMaarten Lankhorst 
18591de99445SMaarten Lankhorst static void ww_test_block_try(void)
18601de99445SMaarten Lankhorst {
18611de99445SMaarten Lankhorst 	bool ret;
18621de99445SMaarten Lankhorst 
18631de99445SMaarten Lankhorst 	WWL1(&o);
18641de99445SMaarten Lankhorst 	ret = WWT(&o2);
18651de99445SMaarten Lankhorst 	WARN_ON(!ret);
18661de99445SMaarten Lankhorst }
18671de99445SMaarten Lankhorst 
18681de99445SMaarten Lankhorst static void ww_test_block_context(void)
18691de99445SMaarten Lankhorst {
18701de99445SMaarten Lankhorst 	int ret;
18711de99445SMaarten Lankhorst 
18721de99445SMaarten Lankhorst 	WWL1(&o);
18731de99445SMaarten Lankhorst 	WWAI(&t);
18741de99445SMaarten Lankhorst 
18751de99445SMaarten Lankhorst 	ret = WWL(&o2, &t);
18761de99445SMaarten Lankhorst 	WARN_ON(ret);
18771de99445SMaarten Lankhorst }
18781de99445SMaarten Lankhorst 
18791de99445SMaarten Lankhorst static void ww_test_spin_block(void)
18801de99445SMaarten Lankhorst {
18811de99445SMaarten Lankhorst 	L(A);
18821de99445SMaarten Lankhorst 	U(A);
18831de99445SMaarten Lankhorst 
18841de99445SMaarten Lankhorst 	WWL1(&o);
18851de99445SMaarten Lankhorst 	L(A);
18861de99445SMaarten Lankhorst 	U(A);
18871de99445SMaarten Lankhorst 	WWU(&o);
18881de99445SMaarten Lankhorst 
18891de99445SMaarten Lankhorst 	L(A);
18901de99445SMaarten Lankhorst 	WWL1(&o);
18911de99445SMaarten Lankhorst 	WWU(&o);
18921de99445SMaarten Lankhorst 	U(A);
18931de99445SMaarten Lankhorst }
18941de99445SMaarten Lankhorst 
18951de99445SMaarten Lankhorst static void ww_test_spin_try(void)
18961de99445SMaarten Lankhorst {
18971de99445SMaarten Lankhorst 	bool ret;
18981de99445SMaarten Lankhorst 
18991de99445SMaarten Lankhorst 	L(A);
19001de99445SMaarten Lankhorst 	U(A);
19011de99445SMaarten Lankhorst 
19021de99445SMaarten Lankhorst 	ret = WWT(&o);
19031de99445SMaarten Lankhorst 	WARN_ON(!ret);
19041de99445SMaarten Lankhorst 	L(A);
19051de99445SMaarten Lankhorst 	U(A);
19061de99445SMaarten Lankhorst 	WWU(&o);
19071de99445SMaarten Lankhorst 
19081de99445SMaarten Lankhorst 	L(A);
19091de99445SMaarten Lankhorst 	ret = WWT(&o);
19101de99445SMaarten Lankhorst 	WARN_ON(!ret);
19111de99445SMaarten Lankhorst 	WWU(&o);
19121de99445SMaarten Lankhorst 	U(A);
19131de99445SMaarten Lankhorst }
19141de99445SMaarten Lankhorst 
19151de99445SMaarten Lankhorst static void ww_test_spin_context(void)
19161de99445SMaarten Lankhorst {
19171de99445SMaarten Lankhorst 	int ret;
19181de99445SMaarten Lankhorst 
19191de99445SMaarten Lankhorst 	L(A);
19201de99445SMaarten Lankhorst 	U(A);
19211de99445SMaarten Lankhorst 
19221de99445SMaarten Lankhorst 	WWAI(&t);
19231de99445SMaarten Lankhorst 
19241de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
19251de99445SMaarten Lankhorst 	WARN_ON(ret);
19261de99445SMaarten Lankhorst 	L(A);
19271de99445SMaarten Lankhorst 	U(A);
19281de99445SMaarten Lankhorst 	WWU(&o);
19291de99445SMaarten Lankhorst 
19301de99445SMaarten Lankhorst 	L(A);
19311de99445SMaarten Lankhorst 	ret = WWL(&o, &t);
19321de99445SMaarten Lankhorst 	WARN_ON(ret);
19331de99445SMaarten Lankhorst 	WWU(&o);
19341de99445SMaarten Lankhorst 	U(A);
19351de99445SMaarten Lankhorst }
19361de99445SMaarten Lankhorst 
19371de99445SMaarten Lankhorst static void ww_tests(void)
19381de99445SMaarten Lankhorst {
19391de99445SMaarten Lankhorst 	printk("  --------------------------------------------------------------------------\n");
19401de99445SMaarten Lankhorst 	printk("  | Wound/wait tests |\n");
19411de99445SMaarten Lankhorst 	printk("  ---------------------\n");
19421de99445SMaarten Lankhorst 
19431de99445SMaarten Lankhorst 	print_testname("ww api failures");
19441de99445SMaarten Lankhorst 	dotest(ww_test_fail_acquire, SUCCESS, LOCKTYPE_WW);
19452fe3d4b1SMaarten Lankhorst 	dotest(ww_test_normal, SUCCESS, LOCKTYPE_WW);
19461de99445SMaarten Lankhorst 	dotest(ww_test_unneeded_slow, FAILURE, LOCKTYPE_WW);
194725139409SMichael Ellerman 	pr_cont("\n");
19481de99445SMaarten Lankhorst 
19491de99445SMaarten Lankhorst 	print_testname("ww contexts mixing");
19501de99445SMaarten Lankhorst 	dotest(ww_test_two_contexts, FAILURE, LOCKTYPE_WW);
19511de99445SMaarten Lankhorst 	dotest(ww_test_diff_class, FAILURE, LOCKTYPE_WW);
195225139409SMichael Ellerman 	pr_cont("\n");
19531de99445SMaarten Lankhorst 
19541de99445SMaarten Lankhorst 	print_testname("finishing ww context");
19551de99445SMaarten Lankhorst 	dotest(ww_test_context_done_twice, FAILURE, LOCKTYPE_WW);
19561de99445SMaarten Lankhorst 	dotest(ww_test_context_unlock_twice, FAILURE, LOCKTYPE_WW);
19571de99445SMaarten Lankhorst 	dotest(ww_test_context_fini_early, FAILURE, LOCKTYPE_WW);
19581de99445SMaarten Lankhorst 	dotest(ww_test_context_lock_after_done, FAILURE, LOCKTYPE_WW);
195925139409SMichael Ellerman 	pr_cont("\n");
19601de99445SMaarten Lankhorst 
19611de99445SMaarten Lankhorst 	print_testname("locking mismatches");
19621de99445SMaarten Lankhorst 	dotest(ww_test_object_unlock_twice, FAILURE, LOCKTYPE_WW);
19631de99445SMaarten Lankhorst 	dotest(ww_test_object_lock_unbalanced, FAILURE, LOCKTYPE_WW);
19641de99445SMaarten Lankhorst 	dotest(ww_test_object_lock_stale_context, FAILURE, LOCKTYPE_WW);
196525139409SMichael Ellerman 	pr_cont("\n");
19661de99445SMaarten Lankhorst 
1967f3cf139eSMaarten Lankhorst 	print_testname("EDEADLK handling");
1968f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_normal, SUCCESS, LOCKTYPE_WW);
1969f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_normal_slow, SUCCESS, LOCKTYPE_WW);
1970f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_no_unlock, FAILURE, LOCKTYPE_WW);
1971f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_no_unlock_slow, FAILURE, LOCKTYPE_WW);
1972f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more, FAILURE, LOCKTYPE_WW);
1973f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_slow, FAILURE, LOCKTYPE_WW);
1974f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_edeadlk, FAILURE, LOCKTYPE_WW);
1975f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_more_edeadlk_slow, FAILURE, LOCKTYPE_WW);
1976f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_wrong, FAILURE, LOCKTYPE_WW);
1977f3cf139eSMaarten Lankhorst 	dotest(ww_test_edeadlk_acquire_wrong_slow, FAILURE, LOCKTYPE_WW);
197825139409SMichael Ellerman 	pr_cont("\n");
1979f3cf139eSMaarten Lankhorst 
19801de99445SMaarten Lankhorst 	print_testname("spinlock nest unlocked");
19811de99445SMaarten Lankhorst 	dotest(ww_test_spin_nest_unlocked, FAILURE, LOCKTYPE_WW);
198225139409SMichael Ellerman 	pr_cont("\n");
19831de99445SMaarten Lankhorst 
19841de99445SMaarten Lankhorst 	printk("  -----------------------------------------------------\n");
19851de99445SMaarten Lankhorst 	printk("                                 |block | try  |context|\n");
19861de99445SMaarten Lankhorst 	printk("  -----------------------------------------------------\n");
19871de99445SMaarten Lankhorst 
19881de99445SMaarten Lankhorst 	print_testname("context");
19891de99445SMaarten Lankhorst 	dotest(ww_test_context_block, FAILURE, LOCKTYPE_WW);
19901de99445SMaarten Lankhorst 	dotest(ww_test_context_try, SUCCESS, LOCKTYPE_WW);
19911de99445SMaarten Lankhorst 	dotest(ww_test_context_context, SUCCESS, LOCKTYPE_WW);
199225139409SMichael Ellerman 	pr_cont("\n");
19931de99445SMaarten Lankhorst 
19941de99445SMaarten Lankhorst 	print_testname("try");
19951de99445SMaarten Lankhorst 	dotest(ww_test_try_block, FAILURE, LOCKTYPE_WW);
19961de99445SMaarten Lankhorst 	dotest(ww_test_try_try, SUCCESS, LOCKTYPE_WW);
19971de99445SMaarten Lankhorst 	dotest(ww_test_try_context, FAILURE, LOCKTYPE_WW);
199825139409SMichael Ellerman 	pr_cont("\n");
19991de99445SMaarten Lankhorst 
20001de99445SMaarten Lankhorst 	print_testname("block");
20011de99445SMaarten Lankhorst 	dotest(ww_test_block_block, FAILURE, LOCKTYPE_WW);
20021de99445SMaarten Lankhorst 	dotest(ww_test_block_try, SUCCESS, LOCKTYPE_WW);
20031de99445SMaarten Lankhorst 	dotest(ww_test_block_context, FAILURE, LOCKTYPE_WW);
200425139409SMichael Ellerman 	pr_cont("\n");
20051de99445SMaarten Lankhorst 
20061de99445SMaarten Lankhorst 	print_testname("spinlock");
20071de99445SMaarten Lankhorst 	dotest(ww_test_spin_block, FAILURE, LOCKTYPE_WW);
20081de99445SMaarten Lankhorst 	dotest(ww_test_spin_try, SUCCESS, LOCKTYPE_WW);
20091de99445SMaarten Lankhorst 	dotest(ww_test_spin_context, FAILURE, LOCKTYPE_WW);
201025139409SMichael Ellerman 	pr_cont("\n");
20111de99445SMaarten Lankhorst }
2012cae2ed9aSIngo Molnar 
2013cae2ed9aSIngo Molnar void locking_selftest(void)
2014cae2ed9aSIngo Molnar {
2015cae2ed9aSIngo Molnar 	/*
2016cae2ed9aSIngo Molnar 	 * Got a locking failure before the selftest ran?
2017cae2ed9aSIngo Molnar 	 */
2018cae2ed9aSIngo Molnar 	if (!debug_locks) {
2019cae2ed9aSIngo Molnar 		printk("----------------------------------\n");
2020cae2ed9aSIngo Molnar 		printk("| Locking API testsuite disabled |\n");
2021cae2ed9aSIngo Molnar 		printk("----------------------------------\n");
2022cae2ed9aSIngo Molnar 		return;
2023cae2ed9aSIngo Molnar 	}
2024cae2ed9aSIngo Molnar 
2025cae2ed9aSIngo Molnar 	/*
2026e9181886SBoqun Feng 	 * treats read_lock() as recursive read locks for testing purpose
2027e9181886SBoqun Feng 	 */
2028e9181886SBoqun Feng 	force_read_lock_recursive = 1;
2029e9181886SBoqun Feng 
2030e9181886SBoqun Feng 	/*
2031cae2ed9aSIngo Molnar 	 * Run the testsuite:
2032cae2ed9aSIngo Molnar 	 */
2033cae2ed9aSIngo Molnar 	printk("------------------------\n");
2034cae2ed9aSIngo Molnar 	printk("| Locking API testsuite:\n");
2035cae2ed9aSIngo Molnar 	printk("----------------------------------------------------------------------------\n");
2036cae2ed9aSIngo Molnar 	printk("                                 | spin |wlock |rlock |mutex | wsem | rsem |\n");
2037cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2038cae2ed9aSIngo Molnar 
2039cae2ed9aSIngo Molnar 	init_shared_classes();
2040cae2ed9aSIngo Molnar 	debug_locks_silent = !debug_locks_verbose;
2041cdc84d79SBart Van Assche 	lockdep_set_selftest_task(current);
2042cae2ed9aSIngo Molnar 
20436c9076ecSIngo Molnar 	DO_TESTCASE_6R("A-A deadlock", AA);
2044cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-A deadlock", ABBA);
2045cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-C-C-A deadlock", ABBCCA);
2046cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-A-B-C deadlock", ABCABC);
2047cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-B-C-C-D-D-A deadlock", ABBCCDDA);
2048cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-D-B-D-D-A deadlock", ABCDBDDA);
2049cae2ed9aSIngo Molnar 	DO_TESTCASE_6R("A-B-C-D-B-C-D-A deadlock", ABCDBCDA);
2050cae2ed9aSIngo Molnar 	DO_TESTCASE_6("double unlock", double_unlock);
2051cae2ed9aSIngo Molnar 	DO_TESTCASE_6("initialize held", init_held);
2052cae2ed9aSIngo Molnar 
2053cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2054cae2ed9aSIngo Molnar 	print_testname("recursive read-lock");
205525139409SMichael Ellerman 	pr_cont("             |");
2056cae2ed9aSIngo Molnar 	dotest(rlock_AA1, SUCCESS, LOCKTYPE_RWLOCK);
205725139409SMichael Ellerman 	pr_cont("             |");
2058cae2ed9aSIngo Molnar 	dotest(rsem_AA1, FAILURE, LOCKTYPE_RWSEM);
205925139409SMichael Ellerman 	pr_cont("\n");
2060cae2ed9aSIngo Molnar 
2061cae2ed9aSIngo Molnar 	print_testname("recursive read-lock #2");
206225139409SMichael Ellerman 	pr_cont("             |");
20636c9076ecSIngo Molnar 	dotest(rlock_AA1B, SUCCESS, LOCKTYPE_RWLOCK);
206425139409SMichael Ellerman 	pr_cont("             |");
2065cae2ed9aSIngo Molnar 	dotest(rsem_AA1B, FAILURE, LOCKTYPE_RWSEM);
206625139409SMichael Ellerman 	pr_cont("\n");
2067cae2ed9aSIngo Molnar 
2068cae2ed9aSIngo Molnar 	print_testname("mixed read-write-lock");
206925139409SMichael Ellerman 	pr_cont("             |");
2070cae2ed9aSIngo Molnar 	dotest(rlock_AA2, FAILURE, LOCKTYPE_RWLOCK);
207125139409SMichael Ellerman 	pr_cont("             |");
2072cae2ed9aSIngo Molnar 	dotest(rsem_AA2, FAILURE, LOCKTYPE_RWSEM);
207325139409SMichael Ellerman 	pr_cont("\n");
2074cae2ed9aSIngo Molnar 
2075cae2ed9aSIngo Molnar 	print_testname("mixed write-read-lock");
207625139409SMichael Ellerman 	pr_cont("             |");
2077cae2ed9aSIngo Molnar 	dotest(rlock_AA3, FAILURE, LOCKTYPE_RWLOCK);
207825139409SMichael Ellerman 	pr_cont("             |");
2079cae2ed9aSIngo Molnar 	dotest(rsem_AA3, FAILURE, LOCKTYPE_RWSEM);
208025139409SMichael Ellerman 	pr_cont("\n");
2081cae2ed9aSIngo Molnar 
2082e9149858SPeter Zijlstra 	print_testname("mixed read-lock/lock-write ABBA");
2083e9149858SPeter Zijlstra 	pr_cont("             |");
2084e9149858SPeter Zijlstra 	dotest(rlock_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
2085c7e2f69dSPeter Zijlstra #ifdef CONFIG_PROVE_LOCKING
2086d82fed75SPeter Zijlstra 	/*
2087d82fed75SPeter Zijlstra 	 * Lockdep does indeed fail here, but there's nothing we can do about
2088d82fed75SPeter Zijlstra 	 * that now.  Don't kill lockdep for it.
2089d82fed75SPeter Zijlstra 	 */
2090d82fed75SPeter Zijlstra 	unexpected_testcase_failures--;
2091c7e2f69dSPeter Zijlstra #endif
2092d82fed75SPeter Zijlstra 
2093e9149858SPeter Zijlstra 	pr_cont("             |");
2094e9149858SPeter Zijlstra 	dotest(rwsem_ABBA1, FAILURE, LOCKTYPE_RWSEM);
2095e9149858SPeter Zijlstra 
2096e9149858SPeter Zijlstra 	print_testname("mixed read-lock/lock-read ABBA");
2097e9149858SPeter Zijlstra 	pr_cont("             |");
2098e9149858SPeter Zijlstra 	dotest(rlock_ABBA2, SUCCESS, LOCKTYPE_RWLOCK);
2099e9149858SPeter Zijlstra 	pr_cont("             |");
2100e9149858SPeter Zijlstra 	dotest(rwsem_ABBA2, FAILURE, LOCKTYPE_RWSEM);
2101e9149858SPeter Zijlstra 
2102e9149858SPeter Zijlstra 	print_testname("mixed write-lock/lock-write ABBA");
2103e9149858SPeter Zijlstra 	pr_cont("             |");
2104e9149858SPeter Zijlstra 	dotest(rlock_ABBA3, FAILURE, LOCKTYPE_RWLOCK);
2105e9149858SPeter Zijlstra 	pr_cont("             |");
2106e9149858SPeter Zijlstra 	dotest(rwsem_ABBA3, FAILURE, LOCKTYPE_RWSEM);
2107e9149858SPeter Zijlstra 
2108*d4f200e5SBoqun Feng 	print_testname("chain cached mixed R-L/L-W ABBA");
2109*d4f200e5SBoqun Feng 	pr_cont("             |");
2110*d4f200e5SBoqun Feng 	dotest(rlock_chaincache_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
2111*d4f200e5SBoqun Feng 
2112cae2ed9aSIngo Molnar 	printk("  --------------------------------------------------------------------------\n");
2113cae2ed9aSIngo Molnar 
2114cae2ed9aSIngo Molnar 	/*
2115cae2ed9aSIngo Molnar 	 * irq-context testcases:
2116cae2ed9aSIngo Molnar 	 */
2117cae2ed9aSIngo Molnar 	DO_TESTCASE_2x6("irqs-on + irq-safe-A", irqsafe1);
2118cae2ed9aSIngo Molnar 	DO_TESTCASE_2x3("sirq-safe-A => hirqs-on", irqsafe2A);
2119cae2ed9aSIngo Molnar 	DO_TESTCASE_2x6("safe-A + irqs-on", irqsafe2B);
2120cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6("safe-A + unsafe-B #1", irqsafe3);
2121cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6("safe-A + unsafe-B #2", irqsafe4);
2122cae2ed9aSIngo Molnar 	DO_TESTCASE_6x6RW("irq lock-inversion", irq_inversion);
2123cae2ed9aSIngo Molnar 
2124cae2ed9aSIngo Molnar 	DO_TESTCASE_6x2("irq read-recursion", irq_read_recursion);
2125cae2ed9aSIngo Molnar //	DO_TESTCASE_6x2B("irq read-recursion #2", irq_read_recursion2);
2126cae2ed9aSIngo Molnar 
21271de99445SMaarten Lankhorst 	ww_tests();
21281de99445SMaarten Lankhorst 
2129e9181886SBoqun Feng 	force_read_lock_recursive = 0;
2130e9181886SBoqun Feng 	/*
2131e9181886SBoqun Feng 	 * queued_read_lock() specific test cases can be put here
2132e9181886SBoqun Feng 	 */
2133e9181886SBoqun Feng 
2134cae2ed9aSIngo Molnar 	if (unexpected_testcase_failures) {
2135cae2ed9aSIngo Molnar 		printk("-----------------------------------------------------------------\n");
2136cae2ed9aSIngo Molnar 		debug_locks = 0;
2137cae2ed9aSIngo Molnar 		printk("BUG: %3d unexpected failures (out of %3d) - debugging disabled! |\n",
2138cae2ed9aSIngo Molnar 			unexpected_testcase_failures, testcase_total);
2139cae2ed9aSIngo Molnar 		printk("-----------------------------------------------------------------\n");
2140cae2ed9aSIngo Molnar 	} else if (expected_testcase_failures && testcase_successes) {
2141cae2ed9aSIngo Molnar 		printk("--------------------------------------------------------\n");
2142cae2ed9aSIngo Molnar 		printk("%3d out of %3d testcases failed, as expected. |\n",
2143cae2ed9aSIngo Molnar 			expected_testcase_failures, testcase_total);
2144cae2ed9aSIngo Molnar 		printk("----------------------------------------------------\n");
2145cae2ed9aSIngo Molnar 		debug_locks = 1;
2146cae2ed9aSIngo Molnar 	} else if (expected_testcase_failures && !testcase_successes) {
2147cae2ed9aSIngo Molnar 		printk("--------------------------------------------------------\n");
2148cae2ed9aSIngo Molnar 		printk("All %3d testcases failed, as expected. |\n",
2149cae2ed9aSIngo Molnar 			expected_testcase_failures);
2150cae2ed9aSIngo Molnar 		printk("----------------------------------------\n");
2151cae2ed9aSIngo Molnar 		debug_locks = 1;
2152cae2ed9aSIngo Molnar 	} else {
2153cae2ed9aSIngo Molnar 		printk("-------------------------------------------------------\n");
2154cae2ed9aSIngo Molnar 		printk("Good, all %3d testcases passed! |\n",
2155cae2ed9aSIngo Molnar 			testcase_successes);
2156cae2ed9aSIngo Molnar 		printk("---------------------------------\n");
2157cae2ed9aSIngo Molnar 		debug_locks = 1;
2158cae2ed9aSIngo Molnar 	}
2159cdc84d79SBart Van Assche 	lockdep_set_selftest_task(NULL);
2160cae2ed9aSIngo Molnar 	debug_locks_silent = 0;
2161cae2ed9aSIngo Molnar }
2162