err.no Git - linux-2.6/commit

]> err.no Git - linux-2.6/commit

author	Ingo Molnar <mingo@elte.hu>
	Mon, 3 Jul 2006 07:24:54 +0000 (00:24 -0700)
committer	Linus Torvalds <torvalds@g5.osdl.org>
	Mon, 3 Jul 2006 22:27:04 +0000 (15:27 -0700)
commit	8a25d5debff2daee280e83e09d8c25d67c26a972
tree	3bccfef9acb66fc62863bfd6c16493c5e8c8e394	tree \| snapshot
parent	4ea2176dfa714882e88180b474e4cbcd888b70af	commit \| diff

[PATCH] lockdep: prove spinlock rwlock locking correctness

Use the lock validator framework to prove spinlock and rwlock locking
correctness.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Arjan van de Ven <arjan@linux.intel.com>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>

13 files changed:

Linux 2.6 source tree

RSS Atom

include/asm-i386/spinlock.h		diff \| blob \| history
include/linux/spinlock.h		diff \| blob \| history
include/linux/spinlock_api_smp.h		diff \| blob \| history
include/linux/spinlock_api_up.h		diff \| blob \| history
include/linux/spinlock_types.h		diff \| blob \| history
include/linux/spinlock_types_up.h		diff \| blob \| history
include/linux/spinlock_up.h		diff \| blob \| history
kernel/Makefile		diff \| blob \| history
kernel/sched.c		diff \| blob \| history
kernel/spinlock.c		diff \| blob \| history
lib/kernel_lock.c		diff \| blob \| history
lib/spinlock_debug.c		diff \| blob \| history
net/ipv4/route.c		diff \| blob \| history