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