Re: [tip:core/urgent] lockdep: Fix wrong assumption inmatch_held_lock

From: Yong Zhang
Date: Tue Aug 09 2011 - 22:59:05 EST

On Tue, Aug 09, 2011 at 02:30:02PM +0000, tip-bot for Peter Zijlstra wrote:
> Commit-ID: 80e0401e35410a69bfae05b454db8a7187edd6b8
> Gitweb:
> Author: Peter Zijlstra <a.p.zijlstra@xxxxxxxxx>
> AuthorDate: Fri, 5 Aug 2011 14:26:17 +0200
> Committer: Ingo Molnar <mingo@xxxxxxx>
> CommitDate: Tue, 9 Aug 2011 11:57:35 +0200
> lockdep: Fix wrong assumption in match_held_lock
> match_held_lock() was assuming it was being called on a lock class
> that had already seen usage.
> This condition was true for bug-free code using lockdep_assert_held(),
> since you're in fact holding the lock when calling it. However the
> assumption fails the moment you assume the assertion can fail, which
> is the whole point of having the assertion in the first place.
> Anyway, now that there's more lockdep_is_held() users, notably
> __rcu_dereference_check(), its much easier to trigger this since we
> test for a number of locks and we only need to hold any one of them to
> be good.
> Reported-by: Sergey Senozhatsky <sergey.senozhatsky@xxxxxxxxx>
> Signed-off-by: Peter Zijlstra <a.p.zijlstra@xxxxxxxxx>
> Link:

BTW, I can't open this link.


To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at