lk/linux-kernel-test
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[PATCH] lockdep: prove mutex locking correctness

Browse Source 
Use the lock validator framework to prove mutex 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>
This commit is contained in:
Ingo Molnar
2006-07-03 00:24:55 -07:00
committed by Linus Torvalds
parent 8a25d5debf
commit ef5d4707b9
5 changed files with 63 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
include/linux/mutex-debug.h
View File

@ -2,6 +2,7 @@
#define __LINUX_MUTEX_DEBUG_H
#include <linux/linkage.h>
#include <linux/lockdep.h>
/*
* Mutexes - debugging helpers:
@ -10,7 +11,12 @@
#define __DEBUG_MUTEX_INITIALIZER(lockname) \
, .magic = &lockname
#define mutex_init(sem) __mutex_init(sem, __FILE__":"#sem)
#define mutex_init(mutex) \
do { \
static struct lock_class_key __key; \
\
__mutex_init((mutex), #mutex, &__key); \
} while (0)
extern void FASTCALL(mutex_destroy(struct mutex *lock));