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