1 // SPDX-License-Identifier: GPL-2.0
2 /*
3 * lib/locking-selftest.c
4 *
5 * Testsuite for various locking APIs: spinlocks, rwlocks,
6 * mutexes and rw-semaphores.
7 *
8 * It is checking both false positives and false negatives.
9 *
10 * Started by Ingo Molnar:
11 *
12 * Copyright (C) 2006 Red Hat, Inc., Ingo Molnar <mingo@redhat.com>
13 */
14 #include <linux/rwsem.h>
15 #include <linux/mutex.h>
16 #include <linux/ww_mutex.h>
17 #include <linux/sched.h>
18 #include <linux/sched/mm.h>
19 #include <linux/delay.h>
20 #include <linux/lockdep.h>
21 #include <linux/spinlock.h>
22 #include <linux/kallsyms.h>
23 #include <linux/interrupt.h>
24 #include <linux/debug_locks.h>
25 #include <linux/irqflags.h>
26 #include <linux/rtmutex.h>
27 #include <linux/local_lock.h>
28
29 /*
30 * Change this to 1 if you want to see the failure printouts:
31 */
32 static unsigned int debug_locks_verbose;
33 unsigned int force_read_lock_recursive;
34
35 static DEFINE_WD_CLASS(ww_lockdep);
36
setup_debug_locks_verbose(char * str)37 static int __init setup_debug_locks_verbose(char *str)
38 {
39 get_option(&str, &debug_locks_verbose);
40
41 return 1;
42 }
43
44 __setup("debug_locks_verbose=", setup_debug_locks_verbose);
45
46 #define FAILURE 0
47 #define SUCCESS 1
48
49 #define LOCKTYPE_SPIN 0x1
50 #define LOCKTYPE_RWLOCK 0x2
51 #define LOCKTYPE_MUTEX 0x4
52 #define LOCKTYPE_RWSEM 0x8
53 #define LOCKTYPE_WW 0x10
54 #define LOCKTYPE_RTMUTEX 0x20
55 #define LOCKTYPE_LL 0x40
56 #define LOCKTYPE_SPECIAL 0x80
57
58 static struct ww_acquire_ctx t, t2;
59 static struct ww_mutex o, o2, o3;
60
61 /*
62 * Normal standalone locks, for the circular and irq-context
63 * dependency tests:
64 */
65 static DEFINE_SPINLOCK(lock_A);
66 static DEFINE_SPINLOCK(lock_B);
67 static DEFINE_SPINLOCK(lock_C);
68 static DEFINE_SPINLOCK(lock_D);
69
70 static DEFINE_RAW_SPINLOCK(raw_lock_A);
71 static DEFINE_RAW_SPINLOCK(raw_lock_B);
72
73 static DEFINE_RWLOCK(rwlock_A);
74 static DEFINE_RWLOCK(rwlock_B);
75 static DEFINE_RWLOCK(rwlock_C);
76 static DEFINE_RWLOCK(rwlock_D);
77
78 static DEFINE_MUTEX(mutex_A);
79 static DEFINE_MUTEX(mutex_B);
80 static DEFINE_MUTEX(mutex_C);
81 static DEFINE_MUTEX(mutex_D);
82
83 static DECLARE_RWSEM(rwsem_A);
84 static DECLARE_RWSEM(rwsem_B);
85 static DECLARE_RWSEM(rwsem_C);
86 static DECLARE_RWSEM(rwsem_D);
87
88 #ifdef CONFIG_RT_MUTEXES
89
90 static DEFINE_RT_MUTEX(rtmutex_A);
91 static DEFINE_RT_MUTEX(rtmutex_B);
92 static DEFINE_RT_MUTEX(rtmutex_C);
93 static DEFINE_RT_MUTEX(rtmutex_D);
94
95 #endif
96
97 /*
98 * Locks that we initialize dynamically as well so that
99 * e.g. X1 and X2 becomes two instances of the same class,
100 * but X* and Y* are different classes. We do this so that
101 * we do not trigger a real lockup:
102 */
103 static DEFINE_SPINLOCK(lock_X1);
104 static DEFINE_SPINLOCK(lock_X2);
105 static DEFINE_SPINLOCK(lock_Y1);
106 static DEFINE_SPINLOCK(lock_Y2);
107 static DEFINE_SPINLOCK(lock_Z1);
108 static DEFINE_SPINLOCK(lock_Z2);
109
110 static DEFINE_RWLOCK(rwlock_X1);
111 static DEFINE_RWLOCK(rwlock_X2);
112 static DEFINE_RWLOCK(rwlock_Y1);
113 static DEFINE_RWLOCK(rwlock_Y2);
114 static DEFINE_RWLOCK(rwlock_Z1);
115 static DEFINE_RWLOCK(rwlock_Z2);
116
117 static DEFINE_MUTEX(mutex_X1);
118 static DEFINE_MUTEX(mutex_X2);
119 static DEFINE_MUTEX(mutex_Y1);
120 static DEFINE_MUTEX(mutex_Y2);
121 static DEFINE_MUTEX(mutex_Z1);
122 static DEFINE_MUTEX(mutex_Z2);
123
124 static DECLARE_RWSEM(rwsem_X1);
125 static DECLARE_RWSEM(rwsem_X2);
126 static DECLARE_RWSEM(rwsem_Y1);
127 static DECLARE_RWSEM(rwsem_Y2);
128 static DECLARE_RWSEM(rwsem_Z1);
129 static DECLARE_RWSEM(rwsem_Z2);
130
131 #ifdef CONFIG_RT_MUTEXES
132
133 static DEFINE_RT_MUTEX(rtmutex_X1);
134 static DEFINE_RT_MUTEX(rtmutex_X2);
135 static DEFINE_RT_MUTEX(rtmutex_Y1);
136 static DEFINE_RT_MUTEX(rtmutex_Y2);
137 static DEFINE_RT_MUTEX(rtmutex_Z1);
138 static DEFINE_RT_MUTEX(rtmutex_Z2);
139
140 #endif
141
142 static local_lock_t local_A = INIT_LOCAL_LOCK(local_A);
143
144 /*
145 * non-inlined runtime initializers, to let separate locks share
146 * the same lock-class:
147 */
148 #define INIT_CLASS_FUNC(class) \
149 static noinline void \
150 init_class_##class(spinlock_t *lock, rwlock_t *rwlock, \
151 struct mutex *mutex, struct rw_semaphore *rwsem)\
152 { \
153 spin_lock_init(lock); \
154 rwlock_init(rwlock); \
155 mutex_init(mutex); \
156 init_rwsem(rwsem); \
157 }
158
159 INIT_CLASS_FUNC(X)
INIT_CLASS_FUNC(Y)160 INIT_CLASS_FUNC(Y)
161 INIT_CLASS_FUNC(Z)
162
163 static void init_shared_classes(void)
164 {
165 #ifdef CONFIG_RT_MUTEXES
166 static struct lock_class_key rt_X, rt_Y, rt_Z;
167
168 __rt_mutex_init(&rtmutex_X1, __func__, &rt_X);
169 __rt_mutex_init(&rtmutex_X2, __func__, &rt_X);
170 __rt_mutex_init(&rtmutex_Y1, __func__, &rt_Y);
171 __rt_mutex_init(&rtmutex_Y2, __func__, &rt_Y);
172 __rt_mutex_init(&rtmutex_Z1, __func__, &rt_Z);
173 __rt_mutex_init(&rtmutex_Z2, __func__, &rt_Z);
174 #endif
175
176 init_class_X(&lock_X1, &rwlock_X1, &mutex_X1, &rwsem_X1);
177 init_class_X(&lock_X2, &rwlock_X2, &mutex_X2, &rwsem_X2);
178
179 init_class_Y(&lock_Y1, &rwlock_Y1, &mutex_Y1, &rwsem_Y1);
180 init_class_Y(&lock_Y2, &rwlock_Y2, &mutex_Y2, &rwsem_Y2);
181
182 init_class_Z(&lock_Z1, &rwlock_Z1, &mutex_Z1, &rwsem_Z1);
183 init_class_Z(&lock_Z2, &rwlock_Z2, &mutex_Z2, &rwsem_Z2);
184 }
185
186 /*
187 * For spinlocks and rwlocks we also do hardirq-safe / softirq-safe tests.
188 * The following functions use a lock from a simulated hardirq/softirq
189 * context, causing the locks to be marked as hardirq-safe/softirq-safe:
190 */
191
192 #define HARDIRQ_DISABLE local_irq_disable
193 #define HARDIRQ_ENABLE local_irq_enable
194
195 #define HARDIRQ_ENTER() \
196 local_irq_disable(); \
197 __irq_enter(); \
198 lockdep_hardirq_threaded(); \
199 WARN_ON(!in_irq());
200
201 #define HARDIRQ_EXIT() \
202 __irq_exit(); \
203 local_irq_enable();
204
205 #define SOFTIRQ_DISABLE local_bh_disable
206 #define SOFTIRQ_ENABLE local_bh_enable
207
208 #define SOFTIRQ_ENTER() \
209 local_bh_disable(); \
210 local_irq_disable(); \
211 lockdep_softirq_enter(); \
212 WARN_ON(!in_softirq());
213
214 #define SOFTIRQ_EXIT() \
215 lockdep_softirq_exit(); \
216 local_irq_enable(); \
217 local_bh_enable();
218
219 /*
220 * Shortcuts for lock/unlock API variants, to keep
221 * the testcases compact:
222 */
223 #define L(x) spin_lock(&lock_##x)
224 #define U(x) spin_unlock(&lock_##x)
225 #define LU(x) L(x); U(x)
226 #define SI(x) spin_lock_init(&lock_##x)
227
228 #define WL(x) write_lock(&rwlock_##x)
229 #define WU(x) write_unlock(&rwlock_##x)
230 #define WLU(x) WL(x); WU(x)
231
232 #define RL(x) read_lock(&rwlock_##x)
233 #define RU(x) read_unlock(&rwlock_##x)
234 #define RLU(x) RL(x); RU(x)
235 #define RWI(x) rwlock_init(&rwlock_##x)
236
237 #define ML(x) mutex_lock(&mutex_##x)
238 #define MU(x) mutex_unlock(&mutex_##x)
239 #define MI(x) mutex_init(&mutex_##x)
240
241 #define RTL(x) rt_mutex_lock(&rtmutex_##x)
242 #define RTU(x) rt_mutex_unlock(&rtmutex_##x)
243 #define RTI(x) rt_mutex_init(&rtmutex_##x)
244
245 #define WSL(x) down_write(&rwsem_##x)
246 #define WSU(x) up_write(&rwsem_##x)
247
248 #define RSL(x) down_read(&rwsem_##x)
249 #define RSU(x) up_read(&rwsem_##x)
250 #define RWSI(x) init_rwsem(&rwsem_##x)
251
252 #ifndef CONFIG_DEBUG_WW_MUTEX_SLOWPATH
253 #define WWAI(x) ww_acquire_init(x, &ww_lockdep)
254 #else
255 #define WWAI(x) do { ww_acquire_init(x, &ww_lockdep); (x)->deadlock_inject_countdown = ~0U; } while (0)
256 #endif
257 #define WWAD(x) ww_acquire_done(x)
258 #define WWAF(x) ww_acquire_fini(x)
259
260 #define WWL(x, c) ww_mutex_lock(x, c)
261 #define WWT(x) ww_mutex_trylock(x)
262 #define WWL1(x) ww_mutex_lock(x, NULL)
263 #define WWU(x) ww_mutex_unlock(x)
264
265
266 #define LOCK_UNLOCK_2(x,y) LOCK(x); LOCK(y); UNLOCK(y); UNLOCK(x)
267
268 /*
269 * Generate different permutations of the same testcase, using
270 * the same basic lock-dependency/state events:
271 */
272
273 #define GENERATE_TESTCASE(name) \
274 \
275 static void name(void) { E(); }
276
277 #define GENERATE_PERMUTATIONS_2_EVENTS(name) \
278 \
279 static void name##_12(void) { E1(); E2(); } \
280 static void name##_21(void) { E2(); E1(); }
281
282 #define GENERATE_PERMUTATIONS_3_EVENTS(name) \
283 \
284 static void name##_123(void) { E1(); E2(); E3(); } \
285 static void name##_132(void) { E1(); E3(); E2(); } \
286 static void name##_213(void) { E2(); E1(); E3(); } \
287 static void name##_231(void) { E2(); E3(); E1(); } \
288 static void name##_312(void) { E3(); E1(); E2(); } \
289 static void name##_321(void) { E3(); E2(); E1(); }
290
291 /*
292 * AA deadlock:
293 */
294
295 #define E() \
296 \
297 LOCK(X1); \
298 LOCK(X2); /* this one should fail */
299
300 /*
301 * 6 testcases:
302 */
303 #include "locking-selftest-spin.h"
304 GENERATE_TESTCASE(AA_spin)
305 #include "locking-selftest-wlock.h"
306 GENERATE_TESTCASE(AA_wlock)
307 #include "locking-selftest-rlock.h"
308 GENERATE_TESTCASE(AA_rlock)
309 #include "locking-selftest-mutex.h"
310 GENERATE_TESTCASE(AA_mutex)
311 #include "locking-selftest-wsem.h"
312 GENERATE_TESTCASE(AA_wsem)
313 #include "locking-selftest-rsem.h"
314 GENERATE_TESTCASE(AA_rsem)
315
316 #ifdef CONFIG_RT_MUTEXES
317 #include "locking-selftest-rtmutex.h"
318 GENERATE_TESTCASE(AA_rtmutex);
319 #endif
320
321 #undef E
322
323 /*
324 * Special-case for read-locking, they are
325 * allowed to recurse on the same lock class:
326 */
rlock_AA1(void)327 static void rlock_AA1(void)
328 {
329 RL(X1);
330 RL(X1); // this one should NOT fail
331 }
332
rlock_AA1B(void)333 static void rlock_AA1B(void)
334 {
335 RL(X1);
336 RL(X2); // this one should NOT fail
337 }
338
rsem_AA1(void)339 static void rsem_AA1(void)
340 {
341 RSL(X1);
342 RSL(X1); // this one should fail
343 }
344
rsem_AA1B(void)345 static void rsem_AA1B(void)
346 {
347 RSL(X1);
348 RSL(X2); // this one should fail
349 }
350 /*
351 * The mixing of read and write locks is not allowed:
352 */
rlock_AA2(void)353 static void rlock_AA2(void)
354 {
355 RL(X1);
356 WL(X2); // this one should fail
357 }
358
rsem_AA2(void)359 static void rsem_AA2(void)
360 {
361 RSL(X1);
362 WSL(X2); // this one should fail
363 }
364
rlock_AA3(void)365 static void rlock_AA3(void)
366 {
367 WL(X1);
368 RL(X2); // this one should fail
369 }
370
rsem_AA3(void)371 static void rsem_AA3(void)
372 {
373 WSL(X1);
374 RSL(X2); // this one should fail
375 }
376
377 /*
378 * read_lock(A)
379 * spin_lock(B)
380 * spin_lock(B)
381 * write_lock(A)
382 */
rlock_ABBA1(void)383 static void rlock_ABBA1(void)
384 {
385 RL(X1);
386 L(Y1);
387 U(Y1);
388 RU(X1);
389
390 L(Y1);
391 WL(X1);
392 WU(X1);
393 U(Y1); // should fail
394 }
395
rwsem_ABBA1(void)396 static void rwsem_ABBA1(void)
397 {
398 RSL(X1);
399 ML(Y1);
400 MU(Y1);
401 RSU(X1);
402
403 ML(Y1);
404 WSL(X1);
405 WSU(X1);
406 MU(Y1); // should fail
407 }
408
409 /*
410 * read_lock(A)
411 * spin_lock(B)
412 * spin_lock(B)
413 * write_lock(A)
414 *
415 * This test case is aimed at poking whether the chain cache prevents us from
416 * detecting a read-lock/lock-write deadlock: if the chain cache doesn't differ
417 * read/write locks, the following case may happen
418 *
419 * { read_lock(A)->lock(B) dependency exists }
420 *
421 * P0:
422 * lock(B);
423 * read_lock(A);
424 *
425 * { Not a deadlock, B -> A is added in the chain cache }
426 *
427 * P1:
428 * lock(B);
429 * write_lock(A);
430 *
431 * { B->A found in chain cache, not reported as a deadlock }
432 *
433 */
rlock_chaincache_ABBA1(void)434 static void rlock_chaincache_ABBA1(void)
435 {
436 RL(X1);
437 L(Y1);
438 U(Y1);
439 RU(X1);
440
441 L(Y1);
442 RL(X1);
443 RU(X1);
444 U(Y1);
445
446 L(Y1);
447 WL(X1);
448 WU(X1);
449 U(Y1); // should fail
450 }
451
452 /*
453 * read_lock(A)
454 * spin_lock(B)
455 * spin_lock(B)
456 * read_lock(A)
457 */
rlock_ABBA2(void)458 static void rlock_ABBA2(void)
459 {
460 RL(X1);
461 L(Y1);
462 U(Y1);
463 RU(X1);
464
465 L(Y1);
466 RL(X1);
467 RU(X1);
468 U(Y1); // should NOT fail
469 }
470
rwsem_ABBA2(void)471 static void rwsem_ABBA2(void)
472 {
473 RSL(X1);
474 ML(Y1);
475 MU(Y1);
476 RSU(X1);
477
478 ML(Y1);
479 RSL(X1);
480 RSU(X1);
481 MU(Y1); // should fail
482 }
483
484
485 /*
486 * write_lock(A)
487 * spin_lock(B)
488 * spin_lock(B)
489 * write_lock(A)
490 */
rlock_ABBA3(void)491 static void rlock_ABBA3(void)
492 {
493 WL(X1);
494 L(Y1);
495 U(Y1);
496 WU(X1);
497
498 L(Y1);
499 WL(X1);
500 WU(X1);
501 U(Y1); // should fail
502 }
503
rwsem_ABBA3(void)504 static void rwsem_ABBA3(void)
505 {
506 WSL(X1);
507 ML(Y1);
508 MU(Y1);
509 WSU(X1);
510
511 ML(Y1);
512 WSL(X1);
513 WSU(X1);
514 MU(Y1); // should fail
515 }
516
517 /*
518 * ABBA deadlock:
519 */
520
521 #define E() \
522 \
523 LOCK_UNLOCK_2(A, B); \
524 LOCK_UNLOCK_2(B, A); /* fail */
525
526 /*
527 * 6 testcases:
528 */
529 #include "locking-selftest-spin.h"
530 GENERATE_TESTCASE(ABBA_spin)
531 #include "locking-selftest-wlock.h"
532 GENERATE_TESTCASE(ABBA_wlock)
533 #include "locking-selftest-rlock.h"
534 GENERATE_TESTCASE(ABBA_rlock)
535 #include "locking-selftest-mutex.h"
536 GENERATE_TESTCASE(ABBA_mutex)
537 #include "locking-selftest-wsem.h"
538 GENERATE_TESTCASE(ABBA_wsem)
539 #include "locking-selftest-rsem.h"
540 GENERATE_TESTCASE(ABBA_rsem)
541
542 #ifdef CONFIG_RT_MUTEXES
543 #include "locking-selftest-rtmutex.h"
544 GENERATE_TESTCASE(ABBA_rtmutex);
545 #endif
546
547 #undef E
548
549 /*
550 * AB BC CA deadlock:
551 */
552
553 #define E() \
554 \
555 LOCK_UNLOCK_2(A, B); \
556 LOCK_UNLOCK_2(B, C); \
557 LOCK_UNLOCK_2(C, A); /* fail */
558
559 /*
560 * 6 testcases:
561 */
562 #include "locking-selftest-spin.h"
563 GENERATE_TESTCASE(ABBCCA_spin)
564 #include "locking-selftest-wlock.h"
565 GENERATE_TESTCASE(ABBCCA_wlock)
566 #include "locking-selftest-rlock.h"
567 GENERATE_TESTCASE(ABBCCA_rlock)
568 #include "locking-selftest-mutex.h"
569 GENERATE_TESTCASE(ABBCCA_mutex)
570 #include "locking-selftest-wsem.h"
571 GENERATE_TESTCASE(ABBCCA_wsem)
572 #include "locking-selftest-rsem.h"
573 GENERATE_TESTCASE(ABBCCA_rsem)
574
575 #ifdef CONFIG_RT_MUTEXES
576 #include "locking-selftest-rtmutex.h"
577 GENERATE_TESTCASE(ABBCCA_rtmutex);
578 #endif
579
580 #undef E
581
582 /*
583 * AB CA BC deadlock:
584 */
585
586 #define E() \
587 \
588 LOCK_UNLOCK_2(A, B); \
589 LOCK_UNLOCK_2(C, A); \
590 LOCK_UNLOCK_2(B, C); /* fail */
591
592 /*
593 * 6 testcases:
594 */
595 #include "locking-selftest-spin.h"
596 GENERATE_TESTCASE(ABCABC_spin)
597 #include "locking-selftest-wlock.h"
598 GENERATE_TESTCASE(ABCABC_wlock)
599 #include "locking-selftest-rlock.h"
600 GENERATE_TESTCASE(ABCABC_rlock)
601 #include "locking-selftest-mutex.h"
602 GENERATE_TESTCASE(ABCABC_mutex)
603 #include "locking-selftest-wsem.h"
604 GENERATE_TESTCASE(ABCABC_wsem)
605 #include "locking-selftest-rsem.h"
606 GENERATE_TESTCASE(ABCABC_rsem)
607
608 #ifdef CONFIG_RT_MUTEXES
609 #include "locking-selftest-rtmutex.h"
610 GENERATE_TESTCASE(ABCABC_rtmutex);
611 #endif
612
613 #undef E
614
615 /*
616 * AB BC CD DA deadlock:
617 */
618
619 #define E() \
620 \
621 LOCK_UNLOCK_2(A, B); \
622 LOCK_UNLOCK_2(B, C); \
623 LOCK_UNLOCK_2(C, D); \
624 LOCK_UNLOCK_2(D, A); /* fail */
625
626 /*
627 * 6 testcases:
628 */
629 #include "locking-selftest-spin.h"
630 GENERATE_TESTCASE(ABBCCDDA_spin)
631 #include "locking-selftest-wlock.h"
632 GENERATE_TESTCASE(ABBCCDDA_wlock)
633 #include "locking-selftest-rlock.h"
634 GENERATE_TESTCASE(ABBCCDDA_rlock)
635 #include "locking-selftest-mutex.h"
636 GENERATE_TESTCASE(ABBCCDDA_mutex)
637 #include "locking-selftest-wsem.h"
638 GENERATE_TESTCASE(ABBCCDDA_wsem)
639 #include "locking-selftest-rsem.h"
640 GENERATE_TESTCASE(ABBCCDDA_rsem)
641
642 #ifdef CONFIG_RT_MUTEXES
643 #include "locking-selftest-rtmutex.h"
644 GENERATE_TESTCASE(ABBCCDDA_rtmutex);
645 #endif
646
647 #undef E
648
649 /*
650 * AB CD BD DA deadlock:
651 */
652 #define E() \
653 \
654 LOCK_UNLOCK_2(A, B); \
655 LOCK_UNLOCK_2(C, D); \
656 LOCK_UNLOCK_2(B, D); \
657 LOCK_UNLOCK_2(D, A); /* fail */
658
659 /*
660 * 6 testcases:
661 */
662 #include "locking-selftest-spin.h"
663 GENERATE_TESTCASE(ABCDBDDA_spin)
664 #include "locking-selftest-wlock.h"
665 GENERATE_TESTCASE(ABCDBDDA_wlock)
666 #include "locking-selftest-rlock.h"
667 GENERATE_TESTCASE(ABCDBDDA_rlock)
668 #include "locking-selftest-mutex.h"
669 GENERATE_TESTCASE(ABCDBDDA_mutex)
670 #include "locking-selftest-wsem.h"
671 GENERATE_TESTCASE(ABCDBDDA_wsem)
672 #include "locking-selftest-rsem.h"
673 GENERATE_TESTCASE(ABCDBDDA_rsem)
674
675 #ifdef CONFIG_RT_MUTEXES
676 #include "locking-selftest-rtmutex.h"
677 GENERATE_TESTCASE(ABCDBDDA_rtmutex);
678 #endif
679
680 #undef E
681
682 /*
683 * AB CD BC DA deadlock:
684 */
685 #define E() \
686 \
687 LOCK_UNLOCK_2(A, B); \
688 LOCK_UNLOCK_2(C, D); \
689 LOCK_UNLOCK_2(B, C); \
690 LOCK_UNLOCK_2(D, A); /* fail */
691
692 /*
693 * 6 testcases:
694 */
695 #include "locking-selftest-spin.h"
696 GENERATE_TESTCASE(ABCDBCDA_spin)
697 #include "locking-selftest-wlock.h"
698 GENERATE_TESTCASE(ABCDBCDA_wlock)
699 #include "locking-selftest-rlock.h"
700 GENERATE_TESTCASE(ABCDBCDA_rlock)
701 #include "locking-selftest-mutex.h"
702 GENERATE_TESTCASE(ABCDBCDA_mutex)
703 #include "locking-selftest-wsem.h"
704 GENERATE_TESTCASE(ABCDBCDA_wsem)
705 #include "locking-selftest-rsem.h"
706 GENERATE_TESTCASE(ABCDBCDA_rsem)
707
708 #ifdef CONFIG_RT_MUTEXES
709 #include "locking-selftest-rtmutex.h"
710 GENERATE_TESTCASE(ABCDBCDA_rtmutex);
711 #endif
712
713 #undef E
714
715 /*
716 * Double unlock:
717 */
718 #define E() \
719 \
720 LOCK(A); \
721 UNLOCK(A); \
722 UNLOCK(A); /* fail */
723
724 /*
725 * 6 testcases:
726 */
727 #include "locking-selftest-spin.h"
728 GENERATE_TESTCASE(double_unlock_spin)
729 #include "locking-selftest-wlock.h"
730 GENERATE_TESTCASE(double_unlock_wlock)
731 #include "locking-selftest-rlock.h"
732 GENERATE_TESTCASE(double_unlock_rlock)
733 #include "locking-selftest-mutex.h"
734 GENERATE_TESTCASE(double_unlock_mutex)
735 #include "locking-selftest-wsem.h"
736 GENERATE_TESTCASE(double_unlock_wsem)
737 #include "locking-selftest-rsem.h"
738 GENERATE_TESTCASE(double_unlock_rsem)
739
740 #ifdef CONFIG_RT_MUTEXES
741 #include "locking-selftest-rtmutex.h"
742 GENERATE_TESTCASE(double_unlock_rtmutex);
743 #endif
744
745 #undef E
746
747 /*
748 * initializing a held lock:
749 */
750 #define E() \
751 \
752 LOCK(A); \
753 INIT(A); /* fail */
754
755 /*
756 * 6 testcases:
757 */
758 #include "locking-selftest-spin.h"
759 GENERATE_TESTCASE(init_held_spin)
760 #include "locking-selftest-wlock.h"
761 GENERATE_TESTCASE(init_held_wlock)
762 #include "locking-selftest-rlock.h"
763 GENERATE_TESTCASE(init_held_rlock)
764 #include "locking-selftest-mutex.h"
765 GENERATE_TESTCASE(init_held_mutex)
766 #include "locking-selftest-wsem.h"
767 GENERATE_TESTCASE(init_held_wsem)
768 #include "locking-selftest-rsem.h"
769 GENERATE_TESTCASE(init_held_rsem)
770
771 #ifdef CONFIG_RT_MUTEXES
772 #include "locking-selftest-rtmutex.h"
773 GENERATE_TESTCASE(init_held_rtmutex);
774 #endif
775
776 #undef E
777
778 /*
779 * locking an irq-safe lock with irqs enabled:
780 */
781 #define E1() \
782 \
783 IRQ_ENTER(); \
784 LOCK(A); \
785 UNLOCK(A); \
786 IRQ_EXIT();
787
788 #define E2() \
789 \
790 LOCK(A); \
791 UNLOCK(A);
792
793 /*
794 * Generate 24 testcases:
795 */
796 #include "locking-selftest-spin-hardirq.h"
797 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_spin)
798
799 #include "locking-selftest-rlock-hardirq.h"
GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_rlock)800 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_rlock)
801
802 #include "locking-selftest-wlock-hardirq.h"
803 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_hard_wlock)
804
805 #include "locking-selftest-spin-softirq.h"
806 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_spin)
807
808 #include "locking-selftest-rlock-softirq.h"
809 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_rlock)
810
811 #include "locking-selftest-wlock-softirq.h"
812 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe1_soft_wlock)
813
814 #undef E1
815 #undef E2
816
817 /*
818 * Enabling hardirqs with a softirq-safe lock held:
819 */
820 #define E1() \
821 \
822 SOFTIRQ_ENTER(); \
823 LOCK(A); \
824 UNLOCK(A); \
825 SOFTIRQ_EXIT();
826
827 #define E2() \
828 \
829 HARDIRQ_DISABLE(); \
830 LOCK(A); \
831 HARDIRQ_ENABLE(); \
832 UNLOCK(A);
833
834 /*
835 * Generate 12 testcases:
836 */
837 #include "locking-selftest-spin.h"
838 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_spin)
839
840 #include "locking-selftest-wlock.h"
841 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_wlock)
842
843 #include "locking-selftest-rlock.h"
844 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2A_rlock)
845
846 #undef E1
847 #undef E2
848
849 /*
850 * Enabling irqs with an irq-safe lock held:
851 */
852 #define E1() \
853 \
854 IRQ_ENTER(); \
855 LOCK(A); \
856 UNLOCK(A); \
857 IRQ_EXIT();
858
859 #define E2() \
860 \
861 IRQ_DISABLE(); \
862 LOCK(A); \
863 IRQ_ENABLE(); \
864 UNLOCK(A);
865
866 /*
867 * Generate 24 testcases:
868 */
869 #include "locking-selftest-spin-hardirq.h"
870 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_spin)
871
872 #include "locking-selftest-rlock-hardirq.h"
873 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_rlock)
874
875 #include "locking-selftest-wlock-hardirq.h"
876 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_hard_wlock)
877
878 #include "locking-selftest-spin-softirq.h"
879 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_spin)
880
881 #include "locking-selftest-rlock-softirq.h"
882 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_rlock)
883
884 #include "locking-selftest-wlock-softirq.h"
885 GENERATE_PERMUTATIONS_2_EVENTS(irqsafe2B_soft_wlock)
886
887 #undef E1
888 #undef E2
889
890 /*
891 * Acquiring a irq-unsafe lock while holding an irq-safe-lock:
892 */
893 #define E1() \
894 \
895 LOCK(A); \
896 LOCK(B); \
897 UNLOCK(B); \
898 UNLOCK(A); \
899
900 #define E2() \
901 \
902 LOCK(B); \
903 UNLOCK(B);
904
905 #define E3() \
906 \
907 IRQ_ENTER(); \
908 LOCK(A); \
909 UNLOCK(A); \
910 IRQ_EXIT();
911
912 /*
913 * Generate 36 testcases:
914 */
915 #include "locking-selftest-spin-hardirq.h"
916 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_spin)
917
918 #include "locking-selftest-rlock-hardirq.h"
919 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_rlock)
920
921 #include "locking-selftest-wlock-hardirq.h"
922 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_hard_wlock)
923
924 #include "locking-selftest-spin-softirq.h"
925 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_spin)
926
927 #include "locking-selftest-rlock-softirq.h"
928 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_rlock)
929
930 #include "locking-selftest-wlock-softirq.h"
931 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe3_soft_wlock)
932
933 #undef E1
934 #undef E2
935 #undef E3
936
937 /*
938 * If a lock turns into softirq-safe, but earlier it took
939 * a softirq-unsafe lock:
940 */
941
942 #define E1() \
943 IRQ_DISABLE(); \
944 LOCK(A); \
945 LOCK(B); \
946 UNLOCK(B); \
947 UNLOCK(A); \
948 IRQ_ENABLE();
949
950 #define E2() \
951 LOCK(B); \
952 UNLOCK(B);
953
954 #define E3() \
955 IRQ_ENTER(); \
956 LOCK(A); \
957 UNLOCK(A); \
958 IRQ_EXIT();
959
960 /*
961 * Generate 36 testcases:
962 */
963 #include "locking-selftest-spin-hardirq.h"
964 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_spin)
965
966 #include "locking-selftest-rlock-hardirq.h"
967 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_rlock)
968
969 #include "locking-selftest-wlock-hardirq.h"
970 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_hard_wlock)
971
972 #include "locking-selftest-spin-softirq.h"
973 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_spin)
974
975 #include "locking-selftest-rlock-softirq.h"
976 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_rlock)
977
978 #include "locking-selftest-wlock-softirq.h"
979 GENERATE_PERMUTATIONS_3_EVENTS(irqsafe4_soft_wlock)
980
981 #undef E1
982 #undef E2
983 #undef E3
984
985 /*
986 * read-lock / write-lock irq inversion.
987 *
988 * Deadlock scenario:
989 *
990 * CPU#1 is at #1, i.e. it has write-locked A, but has not
991 * taken B yet.
992 *
993 * CPU#2 is at #2, i.e. it has locked B.
994 *
995 * Hardirq hits CPU#2 at point #2 and is trying to read-lock A.
996 *
997 * The deadlock occurs because CPU#1 will spin on B, and CPU#2
998 * will spin on A.
999 */
1000
1001 #define E1() \
1002 \
1003 IRQ_DISABLE(); \
1004 WL(A); \
1005 LOCK(B); \
1006 UNLOCK(B); \
1007 WU(A); \
1008 IRQ_ENABLE();
1009
1010 #define E2() \
1011 \
1012 LOCK(B); \
1013 UNLOCK(B);
1014
1015 #define E3() \
1016 \
1017 IRQ_ENTER(); \
1018 RL(A); \
1019 RU(A); \
1020 IRQ_EXIT();
1021
1022 /*
1023 * Generate 36 testcases:
1024 */
1025 #include "locking-selftest-spin-hardirq.h"
1026 GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_spin)
1027
1028 #include "locking-selftest-rlock-hardirq.h"
1029 GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_rlock)
1030
1031 #include "locking-selftest-wlock-hardirq.h"
1032 GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_hard_wlock)
1033
1034 #include "locking-selftest-spin-softirq.h"
1035 GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_spin)
1036
1037 #include "locking-selftest-rlock-softirq.h"
1038 GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_rlock)
1039
1040 #include "locking-selftest-wlock-softirq.h"
1041 GENERATE_PERMUTATIONS_3_EVENTS(irq_inversion_soft_wlock)
1042
1043 #undef E1
1044 #undef E2
1045 #undef E3
1046
1047 /*
1048 * write-read / write-read / write-read deadlock even if read is recursive
1049 */
1050
1051 #define E1() \
1052 \
1053 WL(X1); \
1054 RL(Y1); \
1055 RU(Y1); \
1056 WU(X1);
1057
1058 #define E2() \
1059 \
1060 WL(Y1); \
1061 RL(Z1); \
1062 RU(Z1); \
1063 WU(Y1);
1064
1065 #define E3() \
1066 \
1067 WL(Z1); \
1068 RL(X1); \
1069 RU(X1); \
1070 WU(Z1);
1071
1072 #include "locking-selftest-rlock.h"
1073 GENERATE_PERMUTATIONS_3_EVENTS(W1R2_W2R3_W3R1)
1074
1075 #undef E1
1076 #undef E2
1077 #undef E3
1078
1079 /*
1080 * write-write / read-read / write-read deadlock even if read is recursive
1081 */
1082
1083 #define E1() \
1084 \
1085 WL(X1); \
1086 WL(Y1); \
1087 WU(Y1); \
1088 WU(X1);
1089
1090 #define E2() \
1091 \
1092 RL(Y1); \
1093 RL(Z1); \
1094 RU(Z1); \
1095 RU(Y1);
1096
1097 #define E3() \
1098 \
1099 WL(Z1); \
1100 RL(X1); \
1101 RU(X1); \
1102 WU(Z1);
1103
1104 #include "locking-selftest-rlock.h"
1105 GENERATE_PERMUTATIONS_3_EVENTS(W1W2_R2R3_W3R1)
1106
1107 #undef E1
1108 #undef E2
1109 #undef E3
1110
1111 /*
1112 * write-write / read-read / read-write is not deadlock when read is recursive
1113 */
1114
1115 #define E1() \
1116 \
1117 WL(X1); \
1118 WL(Y1); \
1119 WU(Y1); \
1120 WU(X1);
1121
1122 #define E2() \
1123 \
1124 RL(Y1); \
1125 RL(Z1); \
1126 RU(Z1); \
1127 RU(Y1);
1128
1129 #define E3() \
1130 \
1131 RL(Z1); \
1132 WL(X1); \
1133 WU(X1); \
1134 RU(Z1);
1135
1136 #include "locking-selftest-rlock.h"
1137 GENERATE_PERMUTATIONS_3_EVENTS(W1R2_R2R3_W3W1)
1138
1139 #undef E1
1140 #undef E2
1141 #undef E3
1142
1143 /*
1144 * write-read / read-read / write-write is not deadlock when read is recursive
1145 */
1146
1147 #define E1() \
1148 \
1149 WL(X1); \
1150 RL(Y1); \
1151 RU(Y1); \
1152 WU(X1);
1153
1154 #define E2() \
1155 \
1156 RL(Y1); \
1157 RL(Z1); \
1158 RU(Z1); \
1159 RU(Y1);
1160
1161 #define E3() \
1162 \
1163 WL(Z1); \
1164 WL(X1); \
1165 WU(X1); \
1166 WU(Z1);
1167
1168 #include "locking-selftest-rlock.h"
1169 GENERATE_PERMUTATIONS_3_EVENTS(W1W2_R2R3_R3W1)
1170
1171 #undef E1
1172 #undef E2
1173 #undef E3
1174 /*
1175 * read-lock / write-lock recursion that is actually safe.
1176 */
1177
1178 #define E1() \
1179 \
1180 IRQ_DISABLE(); \
1181 WL(A); \
1182 WU(A); \
1183 IRQ_ENABLE();
1184
1185 #define E2() \
1186 \
1187 RL(A); \
1188 RU(A); \
1189
1190 #define E3() \
1191 \
1192 IRQ_ENTER(); \
1193 LOCK(A); \
1194 L(B); \
1195 U(B); \
1196 UNLOCK(A); \
1197 IRQ_EXIT();
1198
1199 /*
1200 * Generate 24 testcases:
1201 */
1202 #include "locking-selftest-hardirq.h"
1203 #include "locking-selftest-rlock.h"
1204 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_hard_rlock)
1205
1206 #include "locking-selftest-wlock.h"
1207 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_hard_wlock)
1208
1209 #include "locking-selftest-softirq.h"
1210 #include "locking-selftest-rlock.h"
1211 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_soft_rlock)
1212
1213 #include "locking-selftest-wlock.h"
1214 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion_soft_wlock)
1215
1216 #undef E1
1217 #undef E2
1218 #undef E3
1219
1220 /*
1221 * read-lock / write-lock recursion that is unsafe.
1222 */
1223
1224 #define E1() \
1225 \
1226 IRQ_DISABLE(); \
1227 L(B); \
1228 LOCK(A); \
1229 UNLOCK(A); \
1230 U(B); \
1231 IRQ_ENABLE();
1232
1233 #define E2() \
1234 \
1235 RL(A); \
1236 RU(A); \
1237
1238 #define E3() \
1239 \
1240 IRQ_ENTER(); \
1241 L(B); \
1242 U(B); \
1243 IRQ_EXIT();
1244
1245 /*
1246 * Generate 24 testcases:
1247 */
1248 #include "locking-selftest-hardirq.h"
1249 #include "locking-selftest-rlock.h"
1250 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_hard_rlock)
1251
1252 #include "locking-selftest-wlock.h"
1253 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_hard_wlock)
1254
1255 #include "locking-selftest-softirq.h"
1256 #include "locking-selftest-rlock.h"
1257 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_soft_rlock)
1258
1259 #include "locking-selftest-wlock.h"
1260 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion2_soft_wlock)
1261
1262 #undef E1
1263 #undef E2
1264 #undef E3
1265 /*
1266 * read-lock / write-lock recursion that is unsafe.
1267 *
1268 * A is a ENABLED_*_READ lock
1269 * B is a USED_IN_*_READ lock
1270 *
1271 * read_lock(A);
1272 * write_lock(B);
1273 * <interrupt>
1274 * read_lock(B);
1275 * write_lock(A); // if this one is read_lock(), no deadlock
1276 */
1277
1278 #define E1() \
1279 \
1280 IRQ_DISABLE(); \
1281 WL(B); \
1282 LOCK(A); \
1283 UNLOCK(A); \
1284 WU(B); \
1285 IRQ_ENABLE();
1286
1287 #define E2() \
1288 \
1289 RL(A); \
1290 RU(A); \
1291
1292 #define E3() \
1293 \
1294 IRQ_ENTER(); \
1295 RL(B); \
1296 RU(B); \
1297 IRQ_EXIT();
1298
1299 /*
1300 * Generate 24 testcases:
1301 */
1302 #include "locking-selftest-hardirq.h"
1303 #include "locking-selftest-rlock.h"
1304 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion3_hard_rlock)
1305
1306 #include "locking-selftest-wlock.h"
1307 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion3_hard_wlock)
1308
1309 #include "locking-selftest-softirq.h"
1310 #include "locking-selftest-rlock.h"
1311 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion3_soft_rlock)
1312
1313 #include "locking-selftest-wlock.h"
1314 GENERATE_PERMUTATIONS_3_EVENTS(irq_read_recursion3_soft_wlock)
1315
1316 #ifdef CONFIG_DEBUG_LOCK_ALLOC
1317 # define I_SPINLOCK(x) lockdep_reset_lock(&lock_##x.dep_map)
1318 # define I_RAW_SPINLOCK(x) lockdep_reset_lock(&raw_lock_##x.dep_map)
1319 # define I_RWLOCK(x) lockdep_reset_lock(&rwlock_##x.dep_map)
1320 # define I_MUTEX(x) lockdep_reset_lock(&mutex_##x.dep_map)
1321 # define I_RWSEM(x) lockdep_reset_lock(&rwsem_##x.dep_map)
1322 # define I_WW(x) lockdep_reset_lock(&x.dep_map)
1323 # define I_LOCAL_LOCK(x) lockdep_reset_lock(&local_##x.dep_map)
1324 #ifdef CONFIG_RT_MUTEXES
1325 # define I_RTMUTEX(x) lockdep_reset_lock(&rtmutex_##x.dep_map)
1326 #endif
1327 #else
1328 # define I_SPINLOCK(x)
1329 # define I_RAW_SPINLOCK(x)
1330 # define I_RWLOCK(x)
1331 # define I_MUTEX(x)
1332 # define I_RWSEM(x)
1333 # define I_WW(x)
1334 # define I_LOCAL_LOCK(x)
1335 #endif
1336
1337 #ifndef I_RTMUTEX
1338 # define I_RTMUTEX(x)
1339 #endif
1340
1341 #ifdef CONFIG_RT_MUTEXES
1342 #define I2_RTMUTEX(x) rt_mutex_init(&rtmutex_##x)
1343 #else
1344 #define I2_RTMUTEX(x)
1345 #endif
1346
1347 #define I1(x) \
1348 do { \
1349 I_SPINLOCK(x); \
1350 I_RWLOCK(x); \
1351 I_MUTEX(x); \
1352 I_RWSEM(x); \
1353 I_RTMUTEX(x); \
1354 } while (0)
1355
1356 #define I2(x) \
1357 do { \
1358 spin_lock_init(&lock_##x); \
1359 rwlock_init(&rwlock_##x); \
1360 mutex_init(&mutex_##x); \
1361 init_rwsem(&rwsem_##x); \
1362 I2_RTMUTEX(x); \
1363 } while (0)
1364
1365 static void reset_locks(void)
1366 {
1367 local_irq_disable();
1368 lockdep_free_key_range(&ww_lockdep.acquire_key, 1);
1369 lockdep_free_key_range(&ww_lockdep.mutex_key, 1);
1370
1371 I1(A); I1(B); I1(C); I1(D);
1372 I1(X1); I1(X2); I1(Y1); I1(Y2); I1(Z1); I1(Z2);
1373 I_WW(t); I_WW(t2); I_WW(o.base); I_WW(o2.base); I_WW(o3.base);
1374 I_RAW_SPINLOCK(A); I_RAW_SPINLOCK(B);
1375 I_LOCAL_LOCK(A);
1376
1377 lockdep_reset();
1378
1379 I2(A); I2(B); I2(C); I2(D);
1380 init_shared_classes();
1381 raw_spin_lock_init(&raw_lock_A);
1382 raw_spin_lock_init(&raw_lock_B);
1383 local_lock_init(&local_A);
1384
1385 ww_mutex_init(&o, &ww_lockdep); ww_mutex_init(&o2, &ww_lockdep); ww_mutex_init(&o3, &ww_lockdep);
1386 memset(&t, 0, sizeof(t)); memset(&t2, 0, sizeof(t2));
1387 memset(&ww_lockdep.acquire_key, 0, sizeof(ww_lockdep.acquire_key));
1388 memset(&ww_lockdep.mutex_key, 0, sizeof(ww_lockdep.mutex_key));
1389 local_irq_enable();
1390 }
1391
1392 #undef I
1393
1394 static int testcase_total;
1395 static int testcase_successes;
1396 static int expected_testcase_failures;
1397 static int unexpected_testcase_failures;
1398
dotest(void (* testcase_fn)(void),int expected,int lockclass_mask)1399 static void dotest(void (*testcase_fn)(void), int expected, int lockclass_mask)
1400 {
1401 unsigned long saved_preempt_count = preempt_count();
1402
1403 WARN_ON(irqs_disabled());
1404
1405 debug_locks_silent = !(debug_locks_verbose & lockclass_mask);
1406
1407 testcase_fn();
1408 /*
1409 * Filter out expected failures:
1410 */
1411 #ifndef CONFIG_PROVE_LOCKING
1412 if (expected == FAILURE && debug_locks) {
1413 expected_testcase_failures++;
1414 pr_cont("failed|");
1415 }
1416 else
1417 #endif
1418 if (debug_locks != expected) {
1419 unexpected_testcase_failures++;
1420 pr_cont("FAILED|");
1421 } else {
1422 testcase_successes++;
1423 pr_cont(" ok |");
1424 }
1425 testcase_total++;
1426
1427 if (debug_locks_verbose & lockclass_mask)
1428 pr_cont(" lockclass mask: %x, debug_locks: %d, expected: %d\n",
1429 lockclass_mask, debug_locks, expected);
1430 /*
1431 * Some tests (e.g. double-unlock) might corrupt the preemption
1432 * count, so restore it:
1433 */
1434 preempt_count_set(saved_preempt_count);
1435 #ifdef CONFIG_TRACE_IRQFLAGS
1436 if (softirq_count())
1437 current->softirqs_enabled = 0;
1438 else
1439 current->softirqs_enabled = 1;
1440 #endif
1441
1442 reset_locks();
1443 }
1444
1445 #ifdef CONFIG_RT_MUTEXES
1446 #define dotest_rt(fn, e, m) dotest((fn), (e), (m))
1447 #else
1448 #define dotest_rt(fn, e, m)
1449 #endif
1450
print_testname(const char * testname)1451 static inline void print_testname(const char *testname)
1452 {
1453 printk("%33s:", testname);
1454 }
1455
1456 #define DO_TESTCASE_1(desc, name, nr) \
1457 print_testname(desc"/"#nr); \
1458 dotest(name##_##nr, SUCCESS, LOCKTYPE_RWLOCK); \
1459 pr_cont("\n");
1460
1461 #define DO_TESTCASE_1B(desc, name, nr) \
1462 print_testname(desc"/"#nr); \
1463 dotest(name##_##nr, FAILURE, LOCKTYPE_RWLOCK); \
1464 pr_cont("\n");
1465
1466 #define DO_TESTCASE_1RR(desc, name, nr) \
1467 print_testname(desc"/"#nr); \
1468 pr_cont(" |"); \
1469 dotest(name##_##nr, SUCCESS, LOCKTYPE_RWLOCK); \
1470 pr_cont("\n");
1471
1472 #define DO_TESTCASE_1RRB(desc, name, nr) \
1473 print_testname(desc"/"#nr); \
1474 pr_cont(" |"); \
1475 dotest(name##_##nr, FAILURE, LOCKTYPE_RWLOCK); \
1476 pr_cont("\n");
1477
1478
1479 #define DO_TESTCASE_3(desc, name, nr) \
1480 print_testname(desc"/"#nr); \
1481 dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN); \
1482 dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK); \
1483 dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK); \
1484 pr_cont("\n");
1485
1486 #define DO_TESTCASE_3RW(desc, name, nr) \
1487 print_testname(desc"/"#nr); \
1488 dotest(name##_spin_##nr, FAILURE, LOCKTYPE_SPIN|LOCKTYPE_RWLOCK);\
1489 dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK); \
1490 dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK); \
1491 pr_cont("\n");
1492
1493 #define DO_TESTCASE_2RW(desc, name, nr) \
1494 print_testname(desc"/"#nr); \
1495 pr_cont(" |"); \
1496 dotest(name##_wlock_##nr, FAILURE, LOCKTYPE_RWLOCK); \
1497 dotest(name##_rlock_##nr, SUCCESS, LOCKTYPE_RWLOCK); \
1498 pr_cont("\n");
1499
1500 #define DO_TESTCASE_2x2RW(desc, name, nr) \
1501 DO_TESTCASE_2RW("hard-"desc, name##_hard, nr) \
1502 DO_TESTCASE_2RW("soft-"desc, name##_soft, nr) \
1503
1504 #define DO_TESTCASE_6x2x2RW(desc, name) \
1505 DO_TESTCASE_2x2RW(desc, name, 123); \
1506 DO_TESTCASE_2x2RW(desc, name, 132); \
1507 DO_TESTCASE_2x2RW(desc, name, 213); \
1508 DO_TESTCASE_2x2RW(desc, name, 231); \
1509 DO_TESTCASE_2x2RW(desc, name, 312); \
1510 DO_TESTCASE_2x2RW(desc, name, 321);
1511
1512 #define DO_TESTCASE_6(desc, name) \
1513 print_testname(desc); \
1514 dotest(name##_spin, FAILURE, LOCKTYPE_SPIN); \
1515 dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK); \
1516 dotest(name##_rlock, FAILURE, LOCKTYPE_RWLOCK); \
1517 dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX); \
1518 dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM); \
1519 dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM); \
1520 dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX); \
1521 pr_cont("\n");
1522
1523 #define DO_TESTCASE_6_SUCCESS(desc, name) \
1524 print_testname(desc); \
1525 dotest(name##_spin, SUCCESS, LOCKTYPE_SPIN); \
1526 dotest(name##_wlock, SUCCESS, LOCKTYPE_RWLOCK); \
1527 dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK); \
1528 dotest(name##_mutex, SUCCESS, LOCKTYPE_MUTEX); \
1529 dotest(name##_wsem, SUCCESS, LOCKTYPE_RWSEM); \
1530 dotest(name##_rsem, SUCCESS, LOCKTYPE_RWSEM); \
1531 dotest_rt(name##_rtmutex, SUCCESS, LOCKTYPE_RTMUTEX); \
1532 pr_cont("\n");
1533
1534 /*
1535 * 'read' variant: rlocks must not trigger.
1536 */
1537 #define DO_TESTCASE_6R(desc, name) \
1538 print_testname(desc); \
1539 dotest(name##_spin, FAILURE, LOCKTYPE_SPIN); \
1540 dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK); \
1541 dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK); \
1542 dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX); \
1543 dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM); \
1544 dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM); \
1545 dotest_rt(name##_rtmutex, FAILURE, LOCKTYPE_RTMUTEX); \
1546 pr_cont("\n");
1547
1548 #define DO_TESTCASE_2I(desc, name, nr) \
1549 DO_TESTCASE_1("hard-"desc, name##_hard, nr); \
1550 DO_TESTCASE_1("soft-"desc, name##_soft, nr);
1551
1552 #define DO_TESTCASE_2IB(desc, name, nr) \
1553 DO_TESTCASE_1B("hard-"desc, name##_hard, nr); \
1554 DO_TESTCASE_1B("soft-"desc, name##_soft, nr);
1555
1556 #define DO_TESTCASE_6I(desc, name, nr) \
1557 DO_TESTCASE_3("hard-"desc, name##_hard, nr); \
1558 DO_TESTCASE_3("soft-"desc, name##_soft, nr);
1559
1560 #define DO_TESTCASE_6IRW(desc, name, nr) \
1561 DO_TESTCASE_3RW("hard-"desc, name##_hard, nr); \
1562 DO_TESTCASE_3RW("soft-"desc, name##_soft, nr);
1563
1564 #define DO_TESTCASE_2x3(desc, name) \
1565 DO_TESTCASE_3(desc, name, 12); \
1566 DO_TESTCASE_3(desc, name, 21);
1567
1568 #define DO_TESTCASE_2x6(desc, name) \
1569 DO_TESTCASE_6I(desc, name, 12); \
1570 DO_TESTCASE_6I(desc, name, 21);
1571
1572 #define DO_TESTCASE_6x2(desc, name) \
1573 DO_TESTCASE_2I(desc, name, 123); \
1574 DO_TESTCASE_2I(desc, name, 132); \
1575 DO_TESTCASE_2I(desc, name, 213); \
1576 DO_TESTCASE_2I(desc, name, 231); \
1577 DO_TESTCASE_2I(desc, name, 312); \
1578 DO_TESTCASE_2I(desc, name, 321);
1579
1580 #define DO_TESTCASE_6x2B(desc, name) \
1581 DO_TESTCASE_2IB(desc, name, 123); \
1582 DO_TESTCASE_2IB(desc, name, 132); \
1583 DO_TESTCASE_2IB(desc, name, 213); \
1584 DO_TESTCASE_2IB(desc, name, 231); \
1585 DO_TESTCASE_2IB(desc, name, 312); \
1586 DO_TESTCASE_2IB(desc, name, 321);
1587
1588 #define DO_TESTCASE_6x1RR(desc, name) \
1589 DO_TESTCASE_1RR(desc, name, 123); \
1590 DO_TESTCASE_1RR(desc, name, 132); \
1591 DO_TESTCASE_1RR(desc, name, 213); \
1592 DO_TESTCASE_1RR(desc, name, 231); \
1593 DO_TESTCASE_1RR(desc, name, 312); \
1594 DO_TESTCASE_1RR(desc, name, 321);
1595
1596 #define DO_TESTCASE_6x1RRB(desc, name) \
1597 DO_TESTCASE_1RRB(desc, name, 123); \
1598 DO_TESTCASE_1RRB(desc, name, 132); \
1599 DO_TESTCASE_1RRB(desc, name, 213); \
1600 DO_TESTCASE_1RRB(desc, name, 231); \
1601 DO_TESTCASE_1RRB(desc, name, 312); \
1602 DO_TESTCASE_1RRB(desc, name, 321);
1603
1604 #define DO_TESTCASE_6x6(desc, name) \
1605 DO_TESTCASE_6I(desc, name, 123); \
1606 DO_TESTCASE_6I(desc, name, 132); \
1607 DO_TESTCASE_6I(desc, name, 213); \
1608 DO_TESTCASE_6I(desc, name, 231); \
1609 DO_TESTCASE_6I(desc, name, 312); \
1610 DO_TESTCASE_6I(desc, name, 321);
1611
1612 #define DO_TESTCASE_6x6RW(desc, name) \
1613 DO_TESTCASE_6IRW(desc, name, 123); \
1614 DO_TESTCASE_6IRW(desc, name, 132); \
1615 DO_TESTCASE_6IRW(desc, name, 213); \
1616 DO_TESTCASE_6IRW(desc, name, 231); \
1617 DO_TESTCASE_6IRW(desc, name, 312); \
1618 DO_TESTCASE_6IRW(desc, name, 321);
1619
ww_test_fail_acquire(void)1620 static void ww_test_fail_acquire(void)
1621 {
1622 int ret;
1623
1624 WWAI(&t);
1625 t.stamp++;
1626
1627 ret = WWL(&o, &t);
1628
1629 if (WARN_ON(!o.ctx) ||
1630 WARN_ON(ret))
1631 return;
1632
1633 /* No lockdep test, pure API */
1634 ret = WWL(&o, &t);
1635 WARN_ON(ret != -EALREADY);
1636
1637 ret = WWT(&o);
1638 WARN_ON(ret);
1639
1640 t2 = t;
1641 t2.stamp++;
1642 ret = WWL(&o, &t2);
1643 WARN_ON(ret != -EDEADLK);
1644 WWU(&o);
1645
1646 if (WWT(&o))
1647 WWU(&o);
1648 #ifdef CONFIG_DEBUG_LOCK_ALLOC
1649 else
1650 DEBUG_LOCKS_WARN_ON(1);
1651 #endif
1652 }
1653
ww_test_normal(void)1654 static void ww_test_normal(void)
1655 {
1656 int ret;
1657
1658 WWAI(&t);
1659
1660 /*
1661 * None of the ww_mutex codepaths should be taken in the 'normal'
1662 * mutex calls. The easiest way to verify this is by using the
1663 * normal mutex calls, and making sure o.ctx is unmodified.
1664 */
1665
1666 /* mutex_lock (and indirectly, mutex_lock_nested) */
1667 o.ctx = (void *)~0UL;
1668 mutex_lock(&o.base);
1669 mutex_unlock(&o.base);
1670 WARN_ON(o.ctx != (void *)~0UL);
1671
1672 /* mutex_lock_interruptible (and *_nested) */
1673 o.ctx = (void *)~0UL;
1674 ret = mutex_lock_interruptible(&o.base);
1675 if (!ret)
1676 mutex_unlock(&o.base);
1677 else
1678 WARN_ON(1);
1679 WARN_ON(o.ctx != (void *)~0UL);
1680
1681 /* mutex_lock_killable (and *_nested) */
1682 o.ctx = (void *)~0UL;
1683 ret = mutex_lock_killable(&o.base);
1684 if (!ret)
1685 mutex_unlock(&o.base);
1686 else
1687 WARN_ON(1);
1688 WARN_ON(o.ctx != (void *)~0UL);
1689
1690 /* trylock, succeeding */
1691 o.ctx = (void *)~0UL;
1692 ret = mutex_trylock(&o.base);
1693 WARN_ON(!ret);
1694 if (ret)
1695 mutex_unlock(&o.base);
1696 else
1697 WARN_ON(1);
1698 WARN_ON(o.ctx != (void *)~0UL);
1699
1700 /* trylock, failing */
1701 o.ctx = (void *)~0UL;
1702 mutex_lock(&o.base);
1703 ret = mutex_trylock(&o.base);
1704 WARN_ON(ret);
1705 mutex_unlock(&o.base);
1706 WARN_ON(o.ctx != (void *)~0UL);
1707
1708 /* nest_lock */
1709 o.ctx = (void *)~0UL;
1710 mutex_lock_nest_lock(&o.base, &t);
1711 mutex_unlock(&o.base);
1712 WARN_ON(o.ctx != (void *)~0UL);
1713 }
1714
ww_test_two_contexts(void)1715 static void ww_test_two_contexts(void)
1716 {
1717 WWAI(&t);
1718 WWAI(&t2);
1719 }
1720
ww_test_diff_class(void)1721 static void ww_test_diff_class(void)
1722 {
1723 WWAI(&t);
1724 #ifdef CONFIG_DEBUG_MUTEXES
1725 t.ww_class = NULL;
1726 #endif
1727 WWL(&o, &t);
1728 }
1729
ww_test_context_done_twice(void)1730 static void ww_test_context_done_twice(void)
1731 {
1732 WWAI(&t);
1733 WWAD(&t);
1734 WWAD(&t);
1735 WWAF(&t);
1736 }
1737
ww_test_context_unlock_twice(void)1738 static void ww_test_context_unlock_twice(void)
1739 {
1740 WWAI(&t);
1741 WWAD(&t);
1742 WWAF(&t);
1743 WWAF(&t);
1744 }
1745
ww_test_context_fini_early(void)1746 static void ww_test_context_fini_early(void)
1747 {
1748 WWAI(&t);
1749 WWL(&o, &t);
1750 WWAD(&t);
1751 WWAF(&t);
1752 }
1753
ww_test_context_lock_after_done(void)1754 static void ww_test_context_lock_after_done(void)
1755 {
1756 WWAI(&t);
1757 WWAD(&t);
1758 WWL(&o, &t);
1759 }
1760
ww_test_object_unlock_twice(void)1761 static void ww_test_object_unlock_twice(void)
1762 {
1763 WWL1(&o);
1764 WWU(&o);
1765 WWU(&o);
1766 }
1767
ww_test_object_lock_unbalanced(void)1768 static void ww_test_object_lock_unbalanced(void)
1769 {
1770 WWAI(&t);
1771 WWL(&o, &t);
1772 t.acquired = 0;
1773 WWU(&o);
1774 WWAF(&t);
1775 }
1776
ww_test_object_lock_stale_context(void)1777 static void ww_test_object_lock_stale_context(void)
1778 {
1779 WWAI(&t);
1780 o.ctx = &t2;
1781 WWL(&o, &t);
1782 }
1783
ww_test_edeadlk_normal(void)1784 static void ww_test_edeadlk_normal(void)
1785 {
1786 int ret;
1787
1788 mutex_lock(&o2.base);
1789 o2.ctx = &t2;
1790 mutex_release(&o2.base.dep_map, _THIS_IP_);
1791
1792 WWAI(&t);
1793 t2 = t;
1794 t2.stamp--;
1795
1796 ret = WWL(&o, &t);
1797 WARN_ON(ret);
1798
1799 ret = WWL(&o2, &t);
1800 WARN_ON(ret != -EDEADLK);
1801
1802 o2.ctx = NULL;
1803 mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1804 mutex_unlock(&o2.base);
1805 WWU(&o);
1806
1807 WWL(&o2, &t);
1808 }
1809
ww_test_edeadlk_normal_slow(void)1810 static void ww_test_edeadlk_normal_slow(void)
1811 {
1812 int ret;
1813
1814 mutex_lock(&o2.base);
1815 mutex_release(&o2.base.dep_map, _THIS_IP_);
1816 o2.ctx = &t2;
1817
1818 WWAI(&t);
1819 t2 = t;
1820 t2.stamp--;
1821
1822 ret = WWL(&o, &t);
1823 WARN_ON(ret);
1824
1825 ret = WWL(&o2, &t);
1826 WARN_ON(ret != -EDEADLK);
1827
1828 o2.ctx = NULL;
1829 mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1830 mutex_unlock(&o2.base);
1831 WWU(&o);
1832
1833 ww_mutex_lock_slow(&o2, &t);
1834 }
1835
ww_test_edeadlk_no_unlock(void)1836 static void ww_test_edeadlk_no_unlock(void)
1837 {
1838 int ret;
1839
1840 mutex_lock(&o2.base);
1841 o2.ctx = &t2;
1842 mutex_release(&o2.base.dep_map, _THIS_IP_);
1843
1844 WWAI(&t);
1845 t2 = t;
1846 t2.stamp--;
1847
1848 ret = WWL(&o, &t);
1849 WARN_ON(ret);
1850
1851 ret = WWL(&o2, &t);
1852 WARN_ON(ret != -EDEADLK);
1853
1854 o2.ctx = NULL;
1855 mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1856 mutex_unlock(&o2.base);
1857
1858 WWL(&o2, &t);
1859 }
1860
ww_test_edeadlk_no_unlock_slow(void)1861 static void ww_test_edeadlk_no_unlock_slow(void)
1862 {
1863 int ret;
1864
1865 mutex_lock(&o2.base);
1866 mutex_release(&o2.base.dep_map, _THIS_IP_);
1867 o2.ctx = &t2;
1868
1869 WWAI(&t);
1870 t2 = t;
1871 t2.stamp--;
1872
1873 ret = WWL(&o, &t);
1874 WARN_ON(ret);
1875
1876 ret = WWL(&o2, &t);
1877 WARN_ON(ret != -EDEADLK);
1878
1879 o2.ctx = NULL;
1880 mutex_acquire(&o2.base.dep_map, 0, 1, _THIS_IP_);
1881 mutex_unlock(&o2.base);
1882
1883 ww_mutex_lock_slow(&o2, &t);
1884 }
1885
ww_test_edeadlk_acquire_more(void)1886 static void ww_test_edeadlk_acquire_more(void)
1887 {
1888 int ret;
1889
1890 mutex_lock(&o2.base);
1891 mutex_release(&o2.base.dep_map, _THIS_IP_);
1892 o2.ctx = &t2;
1893
1894 WWAI(&t);
1895 t2 = t;
1896 t2.stamp--;
1897
1898 ret = WWL(&o, &t);
1899 WARN_ON(ret);
1900
1901 ret = WWL(&o2, &t);
1902 WARN_ON(ret != -EDEADLK);
1903
1904 ret = WWL(&o3, &t);
1905 }
1906
ww_test_edeadlk_acquire_more_slow(void)1907 static void ww_test_edeadlk_acquire_more_slow(void)
1908 {
1909 int ret;
1910
1911 mutex_lock(&o2.base);
1912 mutex_release(&o2.base.dep_map, _THIS_IP_);
1913 o2.ctx = &t2;
1914
1915 WWAI(&t);
1916 t2 = t;
1917 t2.stamp--;
1918
1919 ret = WWL(&o, &t);
1920 WARN_ON(ret);
1921
1922 ret = WWL(&o2, &t);
1923 WARN_ON(ret != -EDEADLK);
1924
1925 ww_mutex_lock_slow(&o3, &t);
1926 }
1927
ww_test_edeadlk_acquire_more_edeadlk(void)1928 static void ww_test_edeadlk_acquire_more_edeadlk(void)
1929 {
1930 int ret;
1931
1932 mutex_lock(&o2.base);
1933 mutex_release(&o2.base.dep_map, _THIS_IP_);
1934 o2.ctx = &t2;
1935
1936 mutex_lock(&o3.base);
1937 mutex_release(&o3.base.dep_map, _THIS_IP_);
1938 o3.ctx = &t2;
1939
1940 WWAI(&t);
1941 t2 = t;
1942 t2.stamp--;
1943
1944 ret = WWL(&o, &t);
1945 WARN_ON(ret);
1946
1947 ret = WWL(&o2, &t);
1948 WARN_ON(ret != -EDEADLK);
1949
1950 ret = WWL(&o3, &t);
1951 WARN_ON(ret != -EDEADLK);
1952 }
1953
ww_test_edeadlk_acquire_more_edeadlk_slow(void)1954 static void ww_test_edeadlk_acquire_more_edeadlk_slow(void)
1955 {
1956 int ret;
1957
1958 mutex_lock(&o2.base);
1959 mutex_release(&o2.base.dep_map, _THIS_IP_);
1960 o2.ctx = &t2;
1961
1962 mutex_lock(&o3.base);
1963 mutex_release(&o3.base.dep_map, _THIS_IP_);
1964 o3.ctx = &t2;
1965
1966 WWAI(&t);
1967 t2 = t;
1968 t2.stamp--;
1969
1970 ret = WWL(&o, &t);
1971 WARN_ON(ret);
1972
1973 ret = WWL(&o2, &t);
1974 WARN_ON(ret != -EDEADLK);
1975
1976 ww_mutex_lock_slow(&o3, &t);
1977 }
1978
ww_test_edeadlk_acquire_wrong(void)1979 static void ww_test_edeadlk_acquire_wrong(void)
1980 {
1981 int ret;
1982
1983 mutex_lock(&o2.base);
1984 mutex_release(&o2.base.dep_map, _THIS_IP_);
1985 o2.ctx = &t2;
1986
1987 WWAI(&t);
1988 t2 = t;
1989 t2.stamp--;
1990
1991 ret = WWL(&o, &t);
1992 WARN_ON(ret);
1993
1994 ret = WWL(&o2, &t);
1995 WARN_ON(ret != -EDEADLK);
1996 if (!ret)
1997 WWU(&o2);
1998
1999 WWU(&o);
2000
2001 ret = WWL(&o3, &t);
2002 }
2003
ww_test_edeadlk_acquire_wrong_slow(void)2004 static void ww_test_edeadlk_acquire_wrong_slow(void)
2005 {
2006 int ret;
2007
2008 mutex_lock(&o2.base);
2009 mutex_release(&o2.base.dep_map, _THIS_IP_);
2010 o2.ctx = &t2;
2011
2012 WWAI(&t);
2013 t2 = t;
2014 t2.stamp--;
2015
2016 ret = WWL(&o, &t);
2017 WARN_ON(ret);
2018
2019 ret = WWL(&o2, &t);
2020 WARN_ON(ret != -EDEADLK);
2021 if (!ret)
2022 WWU(&o2);
2023
2024 WWU(&o);
2025
2026 ww_mutex_lock_slow(&o3, &t);
2027 }
2028
ww_test_spin_nest_unlocked(void)2029 static void ww_test_spin_nest_unlocked(void)
2030 {
2031 spin_lock_nest_lock(&lock_A, &o.base);
2032 U(A);
2033 }
2034
2035 /* This is not a deadlock, because we have X1 to serialize Y1 and Y2 */
ww_test_spin_nest_lock(void)2036 static void ww_test_spin_nest_lock(void)
2037 {
2038 spin_lock(&lock_X1);
2039 spin_lock_nest_lock(&lock_Y1, &lock_X1);
2040 spin_lock(&lock_A);
2041 spin_lock_nest_lock(&lock_Y2, &lock_X1);
2042 spin_unlock(&lock_A);
2043 spin_unlock(&lock_Y2);
2044 spin_unlock(&lock_Y1);
2045 spin_unlock(&lock_X1);
2046 }
2047
ww_test_unneeded_slow(void)2048 static void ww_test_unneeded_slow(void)
2049 {
2050 WWAI(&t);
2051
2052 ww_mutex_lock_slow(&o, &t);
2053 }
2054
ww_test_context_block(void)2055 static void ww_test_context_block(void)
2056 {
2057 int ret;
2058
2059 WWAI(&t);
2060
2061 ret = WWL(&o, &t);
2062 WARN_ON(ret);
2063 WWL1(&o2);
2064 }
2065
ww_test_context_try(void)2066 static void ww_test_context_try(void)
2067 {
2068 int ret;
2069
2070 WWAI(&t);
2071
2072 ret = WWL(&o, &t);
2073 WARN_ON(ret);
2074
2075 ret = WWT(&o2);
2076 WARN_ON(!ret);
2077 WWU(&o2);
2078 WWU(&o);
2079 }
2080
ww_test_context_context(void)2081 static void ww_test_context_context(void)
2082 {
2083 int ret;
2084
2085 WWAI(&t);
2086
2087 ret = WWL(&o, &t);
2088 WARN_ON(ret);
2089
2090 ret = WWL(&o2, &t);
2091 WARN_ON(ret);
2092
2093 WWU(&o2);
2094 WWU(&o);
2095 }
2096
ww_test_try_block(void)2097 static void ww_test_try_block(void)
2098 {
2099 bool ret;
2100
2101 ret = WWT(&o);
2102 WARN_ON(!ret);
2103
2104 WWL1(&o2);
2105 WWU(&o2);
2106 WWU(&o);
2107 }
2108
ww_test_try_try(void)2109 static void ww_test_try_try(void)
2110 {
2111 bool ret;
2112
2113 ret = WWT(&o);
2114 WARN_ON(!ret);
2115 ret = WWT(&o2);
2116 WARN_ON(!ret);
2117 WWU(&o2);
2118 WWU(&o);
2119 }
2120
ww_test_try_context(void)2121 static void ww_test_try_context(void)
2122 {
2123 int ret;
2124
2125 ret = WWT(&o);
2126 WARN_ON(!ret);
2127
2128 WWAI(&t);
2129
2130 ret = WWL(&o2, &t);
2131 WARN_ON(ret);
2132 }
2133
ww_test_block_block(void)2134 static void ww_test_block_block(void)
2135 {
2136 WWL1(&o);
2137 WWL1(&o2);
2138 }
2139
ww_test_block_try(void)2140 static void ww_test_block_try(void)
2141 {
2142 bool ret;
2143
2144 WWL1(&o);
2145 ret = WWT(&o2);
2146 WARN_ON(!ret);
2147 }
2148
ww_test_block_context(void)2149 static void ww_test_block_context(void)
2150 {
2151 int ret;
2152
2153 WWL1(&o);
2154 WWAI(&t);
2155
2156 ret = WWL(&o2, &t);
2157 WARN_ON(ret);
2158 }
2159
ww_test_spin_block(void)2160 static void ww_test_spin_block(void)
2161 {
2162 L(A);
2163 U(A);
2164
2165 WWL1(&o);
2166 L(A);
2167 U(A);
2168 WWU(&o);
2169
2170 L(A);
2171 WWL1(&o);
2172 WWU(&o);
2173 U(A);
2174 }
2175
ww_test_spin_try(void)2176 static void ww_test_spin_try(void)
2177 {
2178 bool ret;
2179
2180 L(A);
2181 U(A);
2182
2183 ret = WWT(&o);
2184 WARN_ON(!ret);
2185 L(A);
2186 U(A);
2187 WWU(&o);
2188
2189 L(A);
2190 ret = WWT(&o);
2191 WARN_ON(!ret);
2192 WWU(&o);
2193 U(A);
2194 }
2195
ww_test_spin_context(void)2196 static void ww_test_spin_context(void)
2197 {
2198 int ret;
2199
2200 L(A);
2201 U(A);
2202
2203 WWAI(&t);
2204
2205 ret = WWL(&o, &t);
2206 WARN_ON(ret);
2207 L(A);
2208 U(A);
2209 WWU(&o);
2210
2211 L(A);
2212 ret = WWL(&o, &t);
2213 WARN_ON(ret);
2214 WWU(&o);
2215 U(A);
2216 }
2217
ww_tests(void)2218 static void ww_tests(void)
2219 {
2220 printk(" --------------------------------------------------------------------------\n");
2221 printk(" | Wound/wait tests |\n");
2222 printk(" ---------------------\n");
2223
2224 print_testname("ww api failures");
2225 dotest(ww_test_fail_acquire, SUCCESS, LOCKTYPE_WW);
2226 dotest(ww_test_normal, SUCCESS, LOCKTYPE_WW);
2227 dotest(ww_test_unneeded_slow, FAILURE, LOCKTYPE_WW);
2228 pr_cont("\n");
2229
2230 print_testname("ww contexts mixing");
2231 dotest(ww_test_two_contexts, FAILURE, LOCKTYPE_WW);
2232 dotest(ww_test_diff_class, FAILURE, LOCKTYPE_WW);
2233 pr_cont("\n");
2234
2235 print_testname("finishing ww context");
2236 dotest(ww_test_context_done_twice, FAILURE, LOCKTYPE_WW);
2237 dotest(ww_test_context_unlock_twice, FAILURE, LOCKTYPE_WW);
2238 dotest(ww_test_context_fini_early, FAILURE, LOCKTYPE_WW);
2239 dotest(ww_test_context_lock_after_done, FAILURE, LOCKTYPE_WW);
2240 pr_cont("\n");
2241
2242 print_testname("locking mismatches");
2243 dotest(ww_test_object_unlock_twice, FAILURE, LOCKTYPE_WW);
2244 dotest(ww_test_object_lock_unbalanced, FAILURE, LOCKTYPE_WW);
2245 dotest(ww_test_object_lock_stale_context, FAILURE, LOCKTYPE_WW);
2246 pr_cont("\n");
2247
2248 print_testname("EDEADLK handling");
2249 dotest(ww_test_edeadlk_normal, SUCCESS, LOCKTYPE_WW);
2250 dotest(ww_test_edeadlk_normal_slow, SUCCESS, LOCKTYPE_WW);
2251 dotest(ww_test_edeadlk_no_unlock, FAILURE, LOCKTYPE_WW);
2252 dotest(ww_test_edeadlk_no_unlock_slow, FAILURE, LOCKTYPE_WW);
2253 dotest(ww_test_edeadlk_acquire_more, FAILURE, LOCKTYPE_WW);
2254 dotest(ww_test_edeadlk_acquire_more_slow, FAILURE, LOCKTYPE_WW);
2255 dotest(ww_test_edeadlk_acquire_more_edeadlk, FAILURE, LOCKTYPE_WW);
2256 dotest(ww_test_edeadlk_acquire_more_edeadlk_slow, FAILURE, LOCKTYPE_WW);
2257 dotest(ww_test_edeadlk_acquire_wrong, FAILURE, LOCKTYPE_WW);
2258 dotest(ww_test_edeadlk_acquire_wrong_slow, FAILURE, LOCKTYPE_WW);
2259 pr_cont("\n");
2260
2261 print_testname("spinlock nest unlocked");
2262 dotest(ww_test_spin_nest_unlocked, FAILURE, LOCKTYPE_WW);
2263 pr_cont("\n");
2264
2265 print_testname("spinlock nest test");
2266 dotest(ww_test_spin_nest_lock, SUCCESS, LOCKTYPE_WW);
2267 pr_cont("\n");
2268
2269 printk(" -----------------------------------------------------\n");
2270 printk(" |block | try |context|\n");
2271 printk(" -----------------------------------------------------\n");
2272
2273 print_testname("context");
2274 dotest(ww_test_context_block, FAILURE, LOCKTYPE_WW);
2275 dotest(ww_test_context_try, SUCCESS, LOCKTYPE_WW);
2276 dotest(ww_test_context_context, SUCCESS, LOCKTYPE_WW);
2277 pr_cont("\n");
2278
2279 print_testname("try");
2280 dotest(ww_test_try_block, FAILURE, LOCKTYPE_WW);
2281 dotest(ww_test_try_try, SUCCESS, LOCKTYPE_WW);
2282 dotest(ww_test_try_context, FAILURE, LOCKTYPE_WW);
2283 pr_cont("\n");
2284
2285 print_testname("block");
2286 dotest(ww_test_block_block, FAILURE, LOCKTYPE_WW);
2287 dotest(ww_test_block_try, SUCCESS, LOCKTYPE_WW);
2288 dotest(ww_test_block_context, FAILURE, LOCKTYPE_WW);
2289 pr_cont("\n");
2290
2291 print_testname("spinlock");
2292 dotest(ww_test_spin_block, FAILURE, LOCKTYPE_WW);
2293 dotest(ww_test_spin_try, SUCCESS, LOCKTYPE_WW);
2294 dotest(ww_test_spin_context, FAILURE, LOCKTYPE_WW);
2295 pr_cont("\n");
2296 }
2297
2298
2299 /*
2300 * <in hardirq handler>
2301 * read_lock(&A);
2302 * <hardirq disable>
2303 * spin_lock(&B);
2304 * spin_lock(&B);
2305 * read_lock(&A);
2306 *
2307 * is a deadlock.
2308 */
queued_read_lock_hardirq_RE_Er(void)2309 static void queued_read_lock_hardirq_RE_Er(void)
2310 {
2311 HARDIRQ_ENTER();
2312 read_lock(&rwlock_A);
2313 LOCK(B);
2314 UNLOCK(B);
2315 read_unlock(&rwlock_A);
2316 HARDIRQ_EXIT();
2317
2318 HARDIRQ_DISABLE();
2319 LOCK(B);
2320 read_lock(&rwlock_A);
2321 read_unlock(&rwlock_A);
2322 UNLOCK(B);
2323 HARDIRQ_ENABLE();
2324 }
2325
2326 /*
2327 * <in hardirq handler>
2328 * spin_lock(&B);
2329 * <hardirq disable>
2330 * read_lock(&A);
2331 * read_lock(&A);
2332 * spin_lock(&B);
2333 *
2334 * is not a deadlock.
2335 */
queued_read_lock_hardirq_ER_rE(void)2336 static void queued_read_lock_hardirq_ER_rE(void)
2337 {
2338 HARDIRQ_ENTER();
2339 LOCK(B);
2340 read_lock(&rwlock_A);
2341 read_unlock(&rwlock_A);
2342 UNLOCK(B);
2343 HARDIRQ_EXIT();
2344
2345 HARDIRQ_DISABLE();
2346 read_lock(&rwlock_A);
2347 LOCK(B);
2348 UNLOCK(B);
2349 read_unlock(&rwlock_A);
2350 HARDIRQ_ENABLE();
2351 }
2352
2353 /*
2354 * <hardirq disable>
2355 * spin_lock(&B);
2356 * read_lock(&A);
2357 * <in hardirq handler>
2358 * spin_lock(&B);
2359 * read_lock(&A);
2360 *
2361 * is a deadlock. Because the two read_lock()s are both non-recursive readers.
2362 */
queued_read_lock_hardirq_inversion(void)2363 static void queued_read_lock_hardirq_inversion(void)
2364 {
2365
2366 HARDIRQ_ENTER();
2367 LOCK(B);
2368 UNLOCK(B);
2369 HARDIRQ_EXIT();
2370
2371 HARDIRQ_DISABLE();
2372 LOCK(B);
2373 read_lock(&rwlock_A);
2374 read_unlock(&rwlock_A);
2375 UNLOCK(B);
2376 HARDIRQ_ENABLE();
2377
2378 read_lock(&rwlock_A);
2379 read_unlock(&rwlock_A);
2380 }
2381
queued_read_lock_tests(void)2382 static void queued_read_lock_tests(void)
2383 {
2384 printk(" --------------------------------------------------------------------------\n");
2385 printk(" | queued read lock tests |\n");
2386 printk(" ---------------------------\n");
2387 print_testname("hardirq read-lock/lock-read");
2388 dotest(queued_read_lock_hardirq_RE_Er, FAILURE, LOCKTYPE_RWLOCK);
2389 pr_cont("\n");
2390
2391 print_testname("hardirq lock-read/read-lock");
2392 dotest(queued_read_lock_hardirq_ER_rE, SUCCESS, LOCKTYPE_RWLOCK);
2393 pr_cont("\n");
2394
2395 print_testname("hardirq inversion");
2396 dotest(queued_read_lock_hardirq_inversion, FAILURE, LOCKTYPE_RWLOCK);
2397 pr_cont("\n");
2398 }
2399
fs_reclaim_correct_nesting(void)2400 static void fs_reclaim_correct_nesting(void)
2401 {
2402 fs_reclaim_acquire(GFP_KERNEL);
2403 might_alloc(GFP_NOFS);
2404 fs_reclaim_release(GFP_KERNEL);
2405 }
2406
fs_reclaim_wrong_nesting(void)2407 static void fs_reclaim_wrong_nesting(void)
2408 {
2409 fs_reclaim_acquire(GFP_KERNEL);
2410 might_alloc(GFP_KERNEL);
2411 fs_reclaim_release(GFP_KERNEL);
2412 }
2413
fs_reclaim_protected_nesting(void)2414 static void fs_reclaim_protected_nesting(void)
2415 {
2416 unsigned int flags;
2417
2418 fs_reclaim_acquire(GFP_KERNEL);
2419 flags = memalloc_nofs_save();
2420 might_alloc(GFP_KERNEL);
2421 memalloc_nofs_restore(flags);
2422 fs_reclaim_release(GFP_KERNEL);
2423 }
2424
fs_reclaim_tests(void)2425 static void fs_reclaim_tests(void)
2426 {
2427 printk(" --------------------\n");
2428 printk(" | fs_reclaim tests |\n");
2429 printk(" --------------------\n");
2430
2431 print_testname("correct nesting");
2432 dotest(fs_reclaim_correct_nesting, SUCCESS, 0);
2433 pr_cont("\n");
2434
2435 print_testname("wrong nesting");
2436 dotest(fs_reclaim_wrong_nesting, FAILURE, 0);
2437 pr_cont("\n");
2438
2439 print_testname("protected nesting");
2440 dotest(fs_reclaim_protected_nesting, SUCCESS, 0);
2441 pr_cont("\n");
2442 }
2443
2444 #define __guard(cleanup) __maybe_unused __attribute__((__cleanup__(cleanup)))
2445
hardirq_exit(int * _)2446 static void hardirq_exit(int *_)
2447 {
2448 HARDIRQ_EXIT();
2449 }
2450
2451 #define HARDIRQ_CONTEXT(name, ...) \
2452 int hardirq_guard_##name __guard(hardirq_exit); \
2453 HARDIRQ_ENTER();
2454
2455 #define NOTTHREADED_HARDIRQ_CONTEXT(name, ...) \
2456 int notthreaded_hardirq_guard_##name __guard(hardirq_exit); \
2457 local_irq_disable(); \
2458 __irq_enter(); \
2459 WARN_ON(!in_irq());
2460
softirq_exit(int * _)2461 static void softirq_exit(int *_)
2462 {
2463 SOFTIRQ_EXIT();
2464 }
2465
2466 #define SOFTIRQ_CONTEXT(name, ...) \
2467 int softirq_guard_##name __guard(softirq_exit); \
2468 SOFTIRQ_ENTER();
2469
rcu_exit(int * _)2470 static void rcu_exit(int *_)
2471 {
2472 rcu_read_unlock();
2473 }
2474
2475 #define RCU_CONTEXT(name, ...) \
2476 int rcu_guard_##name __guard(rcu_exit); \
2477 rcu_read_lock();
2478
rcu_bh_exit(int * _)2479 static void rcu_bh_exit(int *_)
2480 {
2481 rcu_read_unlock_bh();
2482 }
2483
2484 #define RCU_BH_CONTEXT(name, ...) \
2485 int rcu_bh_guard_##name __guard(rcu_bh_exit); \
2486 rcu_read_lock_bh();
2487
rcu_sched_exit(int * _)2488 static void rcu_sched_exit(int *_)
2489 {
2490 rcu_read_unlock_sched();
2491 }
2492
2493 #define RCU_SCHED_CONTEXT(name, ...) \
2494 int rcu_sched_guard_##name __guard(rcu_sched_exit); \
2495 rcu_read_lock_sched();
2496
raw_spinlock_exit(raw_spinlock_t ** lock)2497 static void raw_spinlock_exit(raw_spinlock_t **lock)
2498 {
2499 raw_spin_unlock(*lock);
2500 }
2501
2502 #define RAW_SPINLOCK_CONTEXT(name, lock) \
2503 raw_spinlock_t *raw_spinlock_guard_##name __guard(raw_spinlock_exit) = &(lock); \
2504 raw_spin_lock(&(lock));
2505
spinlock_exit(spinlock_t ** lock)2506 static void spinlock_exit(spinlock_t **lock)
2507 {
2508 spin_unlock(*lock);
2509 }
2510
2511 #define SPINLOCK_CONTEXT(name, lock) \
2512 spinlock_t *spinlock_guard_##name __guard(spinlock_exit) = &(lock); \
2513 spin_lock(&(lock));
2514
mutex_exit(struct mutex ** lock)2515 static void mutex_exit(struct mutex **lock)
2516 {
2517 mutex_unlock(*lock);
2518 }
2519
2520 #define MUTEX_CONTEXT(name, lock) \
2521 struct mutex *mutex_guard_##name __guard(mutex_exit) = &(lock); \
2522 mutex_lock(&(lock));
2523
2524 #define GENERATE_2_CONTEXT_TESTCASE(outer, outer_lock, inner, inner_lock) \
2525 \
2526 static void __maybe_unused inner##_in_##outer(void) \
2527 { \
2528 outer##_CONTEXT(_, outer_lock); \
2529 { \
2530 inner##_CONTEXT(_, inner_lock); \
2531 } \
2532 }
2533
2534 /*
2535 * wait contexts (considering PREEMPT_RT)
2536 *
2537 * o: inner is allowed in outer
2538 * x: inner is disallowed in outer
2539 *
2540 * \ inner | RCU | RAW_SPIN | SPIN | MUTEX
2541 * outer \ | | | |
2542 * ---------------+-------+----------+------+-------
2543 * HARDIRQ | o | o | o | x
2544 * ---------------+-------+----------+------+-------
2545 * NOTTHREADED_IRQ| o | o | x | x
2546 * ---------------+-------+----------+------+-------
2547 * SOFTIRQ | o | o | o | x
2548 * ---------------+-------+----------+------+-------
2549 * RCU | o | o | o | x
2550 * ---------------+-------+----------+------+-------
2551 * RCU_BH | o | o | o | x
2552 * ---------------+-------+----------+------+-------
2553 * RCU_SCHED | o | o | x | x
2554 * ---------------+-------+----------+------+-------
2555 * RAW_SPIN | o | o | x | x
2556 * ---------------+-------+----------+------+-------
2557 * SPIN | o | o | o | x
2558 * ---------------+-------+----------+------+-------
2559 * MUTEX | o | o | o | o
2560 * ---------------+-------+----------+------+-------
2561 */
2562
2563 #define GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(inner, inner_lock) \
2564 GENERATE_2_CONTEXT_TESTCASE(HARDIRQ, , inner, inner_lock) \
2565 GENERATE_2_CONTEXT_TESTCASE(NOTTHREADED_HARDIRQ, , inner, inner_lock) \
2566 GENERATE_2_CONTEXT_TESTCASE(SOFTIRQ, , inner, inner_lock) \
2567 GENERATE_2_CONTEXT_TESTCASE(RCU, , inner, inner_lock) \
2568 GENERATE_2_CONTEXT_TESTCASE(RCU_BH, , inner, inner_lock) \
2569 GENERATE_2_CONTEXT_TESTCASE(RCU_SCHED, , inner, inner_lock) \
2570 GENERATE_2_CONTEXT_TESTCASE(RAW_SPINLOCK, raw_lock_A, inner, inner_lock) \
2571 GENERATE_2_CONTEXT_TESTCASE(SPINLOCK, lock_A, inner, inner_lock) \
2572 GENERATE_2_CONTEXT_TESTCASE(MUTEX, mutex_A, inner, inner_lock)
2573
2574 GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(RCU, )
GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(RAW_SPINLOCK,raw_lock_B)2575 GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(RAW_SPINLOCK, raw_lock_B)
2576 GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(SPINLOCK, lock_B)
2577 GENERATE_2_CONTEXT_TESTCASE_FOR_ALL_OUTER(MUTEX, mutex_B)
2578
2579 /* the outer context allows all kinds of preemption */
2580 #define DO_CONTEXT_TESTCASE_OUTER_PREEMPTIBLE(outer) \
2581 dotest(RCU_in_##outer, SUCCESS, LOCKTYPE_RWLOCK); \
2582 dotest(RAW_SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN); \
2583 dotest(SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN); \
2584 dotest(MUTEX_in_##outer, SUCCESS, LOCKTYPE_MUTEX); \
2585
2586 /*
2587 * the outer context only allows the preemption introduced by spinlock_t (which
2588 * is a sleepable lock for PREEMPT_RT)
2589 */
2590 #define DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(outer) \
2591 dotest(RCU_in_##outer, SUCCESS, LOCKTYPE_RWLOCK); \
2592 dotest(RAW_SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN); \
2593 dotest(SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN); \
2594 dotest(MUTEX_in_##outer, FAILURE, LOCKTYPE_MUTEX); \
2595
2596 /* the outer doesn't allows any kind of preemption */
2597 #define DO_CONTEXT_TESTCASE_OUTER_NOT_PREEMPTIBLE(outer) \
2598 dotest(RCU_in_##outer, SUCCESS, LOCKTYPE_RWLOCK); \
2599 dotest(RAW_SPINLOCK_in_##outer, SUCCESS, LOCKTYPE_SPIN); \
2600 dotest(SPINLOCK_in_##outer, FAILURE, LOCKTYPE_SPIN); \
2601 dotest(MUTEX_in_##outer, FAILURE, LOCKTYPE_MUTEX); \
2602
2603 static void wait_context_tests(void)
2604 {
2605 printk(" --------------------------------------------------------------------------\n");
2606 printk(" | wait context tests |\n");
2607 printk(" --------------------------------------------------------------------------\n");
2608 printk(" | rcu | raw | spin |mutex |\n");
2609 printk(" --------------------------------------------------------------------------\n");
2610 print_testname("in hardirq context");
2611 DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(HARDIRQ);
2612 pr_cont("\n");
2613
2614 print_testname("in hardirq context (not threaded)");
2615 DO_CONTEXT_TESTCASE_OUTER_NOT_PREEMPTIBLE(NOTTHREADED_HARDIRQ);
2616 pr_cont("\n");
2617
2618 print_testname("in softirq context");
2619 DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(SOFTIRQ);
2620 pr_cont("\n");
2621
2622 print_testname("in RCU context");
2623 DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(RCU);
2624 pr_cont("\n");
2625
2626 print_testname("in RCU-bh context");
2627 DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(RCU_BH);
2628 pr_cont("\n");
2629
2630 print_testname("in RCU-sched context");
2631 DO_CONTEXT_TESTCASE_OUTER_NOT_PREEMPTIBLE(RCU_SCHED);
2632 pr_cont("\n");
2633
2634 print_testname("in RAW_SPINLOCK context");
2635 DO_CONTEXT_TESTCASE_OUTER_NOT_PREEMPTIBLE(RAW_SPINLOCK);
2636 pr_cont("\n");
2637
2638 print_testname("in SPINLOCK context");
2639 DO_CONTEXT_TESTCASE_OUTER_LIMITED_PREEMPTIBLE(SPINLOCK);
2640 pr_cont("\n");
2641
2642 print_testname("in MUTEX context");
2643 DO_CONTEXT_TESTCASE_OUTER_PREEMPTIBLE(MUTEX);
2644 pr_cont("\n");
2645 }
2646
local_lock_2(void)2647 static void local_lock_2(void)
2648 {
2649 local_lock_acquire(&local_A); /* IRQ-ON */
2650 local_lock_release(&local_A);
2651
2652 HARDIRQ_ENTER();
2653 spin_lock(&lock_A); /* IN-IRQ */
2654 spin_unlock(&lock_A);
2655 HARDIRQ_EXIT()
2656
2657 HARDIRQ_DISABLE();
2658 spin_lock(&lock_A);
2659 local_lock_acquire(&local_A); /* IN-IRQ <-> IRQ-ON cycle, false */
2660 local_lock_release(&local_A);
2661 spin_unlock(&lock_A);
2662 HARDIRQ_ENABLE();
2663 }
2664
local_lock_3A(void)2665 static void local_lock_3A(void)
2666 {
2667 local_lock_acquire(&local_A); /* IRQ-ON */
2668 spin_lock(&lock_B); /* IRQ-ON */
2669 spin_unlock(&lock_B);
2670 local_lock_release(&local_A);
2671
2672 HARDIRQ_ENTER();
2673 spin_lock(&lock_A); /* IN-IRQ */
2674 spin_unlock(&lock_A);
2675 HARDIRQ_EXIT()
2676
2677 HARDIRQ_DISABLE();
2678 spin_lock(&lock_A);
2679 local_lock_acquire(&local_A); /* IN-IRQ <-> IRQ-ON cycle only if we count local_lock(), false */
2680 local_lock_release(&local_A);
2681 spin_unlock(&lock_A);
2682 HARDIRQ_ENABLE();
2683 }
2684
local_lock_3B(void)2685 static void local_lock_3B(void)
2686 {
2687 local_lock_acquire(&local_A); /* IRQ-ON */
2688 spin_lock(&lock_B); /* IRQ-ON */
2689 spin_unlock(&lock_B);
2690 local_lock_release(&local_A);
2691
2692 HARDIRQ_ENTER();
2693 spin_lock(&lock_A); /* IN-IRQ */
2694 spin_unlock(&lock_A);
2695 HARDIRQ_EXIT()
2696
2697 HARDIRQ_DISABLE();
2698 spin_lock(&lock_A);
2699 local_lock_acquire(&local_A); /* IN-IRQ <-> IRQ-ON cycle only if we count local_lock(), false */
2700 local_lock_release(&local_A);
2701 spin_unlock(&lock_A);
2702 HARDIRQ_ENABLE();
2703
2704 HARDIRQ_DISABLE();
2705 spin_lock(&lock_A);
2706 spin_lock(&lock_B); /* IN-IRQ <-> IRQ-ON cycle, true */
2707 spin_unlock(&lock_B);
2708 spin_unlock(&lock_A);
2709 HARDIRQ_DISABLE();
2710
2711 }
2712
local_lock_tests(void)2713 static void local_lock_tests(void)
2714 {
2715 printk(" --------------------------------------------------------------------------\n");
2716 printk(" | local_lock tests |\n");
2717 printk(" ---------------------\n");
2718
2719 print_testname("local_lock inversion 2");
2720 dotest(local_lock_2, SUCCESS, LOCKTYPE_LL);
2721 pr_cont("\n");
2722
2723 print_testname("local_lock inversion 3A");
2724 dotest(local_lock_3A, SUCCESS, LOCKTYPE_LL);
2725 pr_cont("\n");
2726
2727 print_testname("local_lock inversion 3B");
2728 dotest(local_lock_3B, FAILURE, LOCKTYPE_LL);
2729 pr_cont("\n");
2730 }
2731
hardirq_deadlock_softirq_not_deadlock(void)2732 static void hardirq_deadlock_softirq_not_deadlock(void)
2733 {
2734 /* mutex_A is hardirq-unsafe and softirq-unsafe */
2735 /* mutex_A -> lock_C */
2736 mutex_lock(&mutex_A);
2737 HARDIRQ_DISABLE();
2738 spin_lock(&lock_C);
2739 spin_unlock(&lock_C);
2740 HARDIRQ_ENABLE();
2741 mutex_unlock(&mutex_A);
2742
2743 /* lock_A is hardirq-safe */
2744 HARDIRQ_ENTER();
2745 spin_lock(&lock_A);
2746 spin_unlock(&lock_A);
2747 HARDIRQ_EXIT();
2748
2749 /* lock_A -> lock_B */
2750 HARDIRQ_DISABLE();
2751 spin_lock(&lock_A);
2752 spin_lock(&lock_B);
2753 spin_unlock(&lock_B);
2754 spin_unlock(&lock_A);
2755 HARDIRQ_ENABLE();
2756
2757 /* lock_B -> lock_C */
2758 HARDIRQ_DISABLE();
2759 spin_lock(&lock_B);
2760 spin_lock(&lock_C);
2761 spin_unlock(&lock_C);
2762 spin_unlock(&lock_B);
2763 HARDIRQ_ENABLE();
2764
2765 /* lock_D is softirq-safe */
2766 SOFTIRQ_ENTER();
2767 spin_lock(&lock_D);
2768 spin_unlock(&lock_D);
2769 SOFTIRQ_EXIT();
2770
2771 /* And lock_D is hardirq-unsafe */
2772 SOFTIRQ_DISABLE();
2773 spin_lock(&lock_D);
2774 spin_unlock(&lock_D);
2775 SOFTIRQ_ENABLE();
2776
2777 /*
2778 * mutex_A -> lock_C -> lock_D is softirq-unsafe -> softirq-safe, not
2779 * deadlock.
2780 *
2781 * lock_A -> lock_B -> lock_C -> lock_D is hardirq-safe ->
2782 * hardirq-unsafe, deadlock.
2783 */
2784 HARDIRQ_DISABLE();
2785 spin_lock(&lock_C);
2786 spin_lock(&lock_D);
2787 spin_unlock(&lock_D);
2788 spin_unlock(&lock_C);
2789 HARDIRQ_ENABLE();
2790 }
2791
locking_selftest(void)2792 void locking_selftest(void)
2793 {
2794 /*
2795 * Got a locking failure before the selftest ran?
2796 */
2797 if (!debug_locks) {
2798 printk("----------------------------------\n");
2799 printk("| Locking API testsuite disabled |\n");
2800 printk("----------------------------------\n");
2801 return;
2802 }
2803
2804 /*
2805 * treats read_lock() as recursive read locks for testing purpose
2806 */
2807 force_read_lock_recursive = 1;
2808
2809 /*
2810 * Run the testsuite:
2811 */
2812 printk("------------------------\n");
2813 printk("| Locking API testsuite:\n");
2814 printk("----------------------------------------------------------------------------\n");
2815 printk(" | spin |wlock |rlock |mutex | wsem | rsem |\n");
2816 printk(" --------------------------------------------------------------------------\n");
2817
2818 init_shared_classes();
2819 lockdep_set_selftest_task(current);
2820
2821 DO_TESTCASE_6R("A-A deadlock", AA);
2822 DO_TESTCASE_6R("A-B-B-A deadlock", ABBA);
2823 DO_TESTCASE_6R("A-B-B-C-C-A deadlock", ABBCCA);
2824 DO_TESTCASE_6R("A-B-C-A-B-C deadlock", ABCABC);
2825 DO_TESTCASE_6R("A-B-B-C-C-D-D-A deadlock", ABBCCDDA);
2826 DO_TESTCASE_6R("A-B-C-D-B-D-D-A deadlock", ABCDBDDA);
2827 DO_TESTCASE_6R("A-B-C-D-B-C-D-A deadlock", ABCDBCDA);
2828 DO_TESTCASE_6("double unlock", double_unlock);
2829 DO_TESTCASE_6("initialize held", init_held);
2830
2831 printk(" --------------------------------------------------------------------------\n");
2832 print_testname("recursive read-lock");
2833 pr_cont(" |");
2834 dotest(rlock_AA1, SUCCESS, LOCKTYPE_RWLOCK);
2835 pr_cont(" |");
2836 dotest(rsem_AA1, FAILURE, LOCKTYPE_RWSEM);
2837 pr_cont("\n");
2838
2839 print_testname("recursive read-lock #2");
2840 pr_cont(" |");
2841 dotest(rlock_AA1B, SUCCESS, LOCKTYPE_RWLOCK);
2842 pr_cont(" |");
2843 dotest(rsem_AA1B, FAILURE, LOCKTYPE_RWSEM);
2844 pr_cont("\n");
2845
2846 print_testname("mixed read-write-lock");
2847 pr_cont(" |");
2848 dotest(rlock_AA2, FAILURE, LOCKTYPE_RWLOCK);
2849 pr_cont(" |");
2850 dotest(rsem_AA2, FAILURE, LOCKTYPE_RWSEM);
2851 pr_cont("\n");
2852
2853 print_testname("mixed write-read-lock");
2854 pr_cont(" |");
2855 dotest(rlock_AA3, FAILURE, LOCKTYPE_RWLOCK);
2856 pr_cont(" |");
2857 dotest(rsem_AA3, FAILURE, LOCKTYPE_RWSEM);
2858 pr_cont("\n");
2859
2860 print_testname("mixed read-lock/lock-write ABBA");
2861 pr_cont(" |");
2862 dotest(rlock_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
2863 pr_cont(" |");
2864 dotest(rwsem_ABBA1, FAILURE, LOCKTYPE_RWSEM);
2865
2866 print_testname("mixed read-lock/lock-read ABBA");
2867 pr_cont(" |");
2868 dotest(rlock_ABBA2, SUCCESS, LOCKTYPE_RWLOCK);
2869 pr_cont(" |");
2870 dotest(rwsem_ABBA2, FAILURE, LOCKTYPE_RWSEM);
2871
2872 print_testname("mixed write-lock/lock-write ABBA");
2873 pr_cont(" |");
2874 dotest(rlock_ABBA3, FAILURE, LOCKTYPE_RWLOCK);
2875 pr_cont(" |");
2876 dotest(rwsem_ABBA3, FAILURE, LOCKTYPE_RWSEM);
2877
2878 print_testname("chain cached mixed R-L/L-W ABBA");
2879 pr_cont(" |");
2880 dotest(rlock_chaincache_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
2881
2882 DO_TESTCASE_6x1RRB("rlock W1R2/W2R3/W3R1", W1R2_W2R3_W3R1);
2883 DO_TESTCASE_6x1RRB("rlock W1W2/R2R3/W3R1", W1W2_R2R3_W3R1);
2884 DO_TESTCASE_6x1RR("rlock W1W2/R2R3/R3W1", W1W2_R2R3_R3W1);
2885 DO_TESTCASE_6x1RR("rlock W1R2/R2R3/W3W1", W1R2_R2R3_W3W1);
2886
2887 printk(" --------------------------------------------------------------------------\n");
2888
2889 /*
2890 * irq-context testcases:
2891 */
2892 DO_TESTCASE_2x6("irqs-on + irq-safe-A", irqsafe1);
2893 DO_TESTCASE_2x3("sirq-safe-A => hirqs-on", irqsafe2A);
2894 DO_TESTCASE_2x6("safe-A + irqs-on", irqsafe2B);
2895 DO_TESTCASE_6x6("safe-A + unsafe-B #1", irqsafe3);
2896 DO_TESTCASE_6x6("safe-A + unsafe-B #2", irqsafe4);
2897 DO_TESTCASE_6x6RW("irq lock-inversion", irq_inversion);
2898
2899 DO_TESTCASE_6x2x2RW("irq read-recursion", irq_read_recursion);
2900 DO_TESTCASE_6x2x2RW("irq read-recursion #2", irq_read_recursion2);
2901 DO_TESTCASE_6x2x2RW("irq read-recursion #3", irq_read_recursion3);
2902
2903 ww_tests();
2904
2905 force_read_lock_recursive = 0;
2906 /*
2907 * queued_read_lock() specific test cases can be put here
2908 */
2909 if (IS_ENABLED(CONFIG_QUEUED_RWLOCKS))
2910 queued_read_lock_tests();
2911
2912 fs_reclaim_tests();
2913
2914 /* Wait context test cases that are specific for RAW_LOCK_NESTING */
2915 if (IS_ENABLED(CONFIG_PROVE_RAW_LOCK_NESTING))
2916 wait_context_tests();
2917
2918 local_lock_tests();
2919
2920 print_testname("hardirq_unsafe_softirq_safe");
2921 dotest(hardirq_deadlock_softirq_not_deadlock, FAILURE, LOCKTYPE_SPECIAL);
2922 pr_cont("\n");
2923
2924 if (unexpected_testcase_failures) {
2925 printk("-----------------------------------------------------------------\n");
2926 debug_locks = 0;
2927 printk("BUG: %3d unexpected failures (out of %3d) - debugging disabled! |\n",
2928 unexpected_testcase_failures, testcase_total);
2929 printk("-----------------------------------------------------------------\n");
2930 } else if (expected_testcase_failures && testcase_successes) {
2931 printk("--------------------------------------------------------\n");
2932 printk("%3d out of %3d testcases failed, as expected. |\n",
2933 expected_testcase_failures, testcase_total);
2934 printk("----------------------------------------------------\n");
2935 debug_locks = 1;
2936 } else if (expected_testcase_failures && !testcase_successes) {
2937 printk("--------------------------------------------------------\n");
2938 printk("All %3d testcases failed, as expected. |\n",
2939 expected_testcase_failures);
2940 printk("----------------------------------------\n");
2941 debug_locks = 1;
2942 } else {
2943 printk("-------------------------------------------------------\n");
2944 printk("Good, all %3d testcases passed! |\n",
2945 testcase_successes);
2946 printk("---------------------------------\n");
2947 debug_locks = 1;
2948 }
2949 lockdep_set_selftest_task(NULL);
2950 debug_locks_silent = 0;
2951 }
2952