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