summaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorPeter Zijlstra <peterz@infradead.org>2014-09-30 15:26:00 +0200
committerIngo Molnar <mingo@kernel.org>2014-10-03 06:09:30 +0200
commit8acd91e8620836a56ff62028ed28ba629f2881a0 (patch)
tree4a95b0d1a41b75f6ad4cd8a6c59dcdb9268d1e4b /lib
parentdebfab74e453f079cd8b12b0604387a8c510ef3a (diff)
downloadop-kernel-dev-8acd91e8620836a56ff62028ed28ba629f2881a0.zip
op-kernel-dev-8acd91e8620836a56ff62028ed28ba629f2881a0.tar.gz
locking/lockdep: Revert qrwlock recusive stuff
Commit f0bab73cb539 ("locking/lockdep: Restrict the use of recursive read_lock() with qrwlock") changed lockdep to try and conform to the qrwlock semantics which differ from the traditional rwlock semantics. In particular qrwlock is fair outside of interrupt context, but in interrupt context readers will ignore all fairness. The problem modeling this is that read and write side have different lock state (interrupts) semantics but we only have a single representation of these. Therefore lockdep will get confused, thinking the lock can cause interrupt lock inversions. So revert it for now; the old rwlock semantics were already imperfectly modeled and the qrwlock extra won't fit either. If we want to properly fix this, I think we need to resurrect the work by Gautham did a few years ago that split the read and write state of locks: http://lwn.net/Articles/332801/ FWIW the locking selftest that would've failed (and was reported by Borislav earlier) is something like: RL(X1); /* IRQ-ON */ LOCK(A); UNLOCK(A); RU(X1); IRQ_ENTER(); RL(X1); /* IN-IRQ */ RU(X1); IRQ_EXIT(); At which point it would report that because A is an IRQ-unsafe lock we can suffer the following inversion: CPU0 CPU1 lock(A) lock(X1) lock(A) <IRQ> lock(X1) And this is 'wrong' because X1 can recurse (assuming the above lock are in fact read-lock) but lockdep doesn't know about this. Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org> Cc: Waiman Long <Waiman.Long@hp.com> Cc: ego@linux.vnet.ibm.com Cc: bp@alien8.de Cc: Linus Torvalds <torvalds@linux-foundation.org> Cc: Paul E. McKenney <paulmck@linux.vnet.ibm.com> Link: http://lkml.kernel.org/r/20140930132600.GA7444@worktop.programming.kicks-ass.net Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'lib')
-rw-r--r--lib/locking-selftest.c56
1 files changed, 7 insertions, 49 deletions
diff --git a/lib/locking-selftest.c b/lib/locking-selftest.c
index 62af709..872a15a 100644
--- a/lib/locking-selftest.c
+++ b/lib/locking-selftest.c
@@ -267,46 +267,19 @@ GENERATE_TESTCASE(AA_rsem)
#undef E
/*
- * Special-case for read-locking, they are not allowed to
- * recurse on the same lock class except under interrupt context:
+ * Special-case for read-locking, they are
+ * allowed to recurse on the same lock class:
*/
static void rlock_AA1(void)
{
RL(X1);
- RL(X1); // this one should fail
+ RL(X1); // this one should NOT fail
}
static void rlock_AA1B(void)
{
RL(X1);
- RL(X2); // this one should fail
-}
-
-static void rlock_AHA1(void)
-{
- RL(X1);
- HARDIRQ_ENTER();
- RL(X1); // this one should NOT fail
- HARDIRQ_EXIT();
-}
-
-static void rlock_AHA1B(void)
-{
- RL(X1);
- HARDIRQ_ENTER();
- RL(X2); // this one should NOT fail
- HARDIRQ_EXIT();
-}
-
-static void rlock_ASAHA1(void)
-{
- RL(X1);
- SOFTIRQ_ENTER();
- RL(X1); // this one should NOT fail
- HARDIRQ_ENTER();
- RL(X1); // this one should NOT fail
- HARDIRQ_EXIT();
- SOFTIRQ_EXIT();
+ RL(X2); // this one should NOT fail
}
static void rsem_AA1(void)
@@ -1096,7 +1069,7 @@ static inline void print_testname(const char *testname)
print_testname(desc); \
dotest(name##_spin, FAILURE, LOCKTYPE_SPIN); \
dotest(name##_wlock, FAILURE, LOCKTYPE_RWLOCK); \
- dotest(name##_rlock, FAILURE, LOCKTYPE_RWLOCK); \
+ dotest(name##_rlock, SUCCESS, LOCKTYPE_RWLOCK); \
dotest(name##_mutex, FAILURE, LOCKTYPE_MUTEX); \
dotest(name##_wsem, FAILURE, LOCKTYPE_RWSEM); \
dotest(name##_rsem, FAILURE, LOCKTYPE_RWSEM); \
@@ -1857,14 +1830,14 @@ void locking_selftest(void)
printk(" --------------------------------------------------------------------------\n");
print_testname("recursive read-lock");
printk(" |");
- dotest(rlock_AA1, FAILURE, LOCKTYPE_RWLOCK);
+ dotest(rlock_AA1, SUCCESS, LOCKTYPE_RWLOCK);
printk(" |");
dotest(rsem_AA1, FAILURE, LOCKTYPE_RWSEM);
printk("\n");
print_testname("recursive read-lock #2");
printk(" |");
- dotest(rlock_AA1B, FAILURE, LOCKTYPE_RWLOCK);
+ dotest(rlock_AA1B, SUCCESS, LOCKTYPE_RWLOCK);
printk(" |");
dotest(rsem_AA1B, FAILURE, LOCKTYPE_RWSEM);
printk("\n");
@@ -1883,21 +1856,6 @@ void locking_selftest(void)
dotest(rsem_AA3, FAILURE, LOCKTYPE_RWSEM);
printk("\n");
- print_testname("recursive rlock with interrupt");
- printk(" |");
- dotest(rlock_AHA1, SUCCESS, LOCKTYPE_RWLOCK);
- printk("\n");
-
- print_testname("recursive rlock with interrupt #2");
- printk(" |");
- dotest(rlock_AHA1B, SUCCESS, LOCKTYPE_RWLOCK);
- printk("\n");
-
- print_testname("recursive rlock with interrupt #3");
- printk(" |");
- dotest(rlock_ASAHA1, SUCCESS, LOCKTYPE_RWLOCK);
- printk("\n");
-
printk(" --------------------------------------------------------------------------\n");
/*
OpenPOWER on IntegriCloud