git.baikalelectronics.ru Git - kernel.git/commit

]> git.baikalelectronics.ru Git - kernel.git/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	9276cf41e807b2ca43741b3faefb68ce88510ff7
tree	3bccfef9acb66fc62863bfd6c16493c5e8c8e394	tree \| snapshot
parent	75dfcf7c0b02e8b17260192c2120f474730b0c9f	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 Kernel 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