From: Ingo Molnar <mingo@elte.hu>

More mutex debugging: check for held locks during memory freeing,
task exit, enable sysrq printouts, etc.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Arjan van de Ven <arjan@infradead.org>
Signed-off-by: Andrew Morton <akpm@osdl.org>
---

 arch/i386/mm/pageattr.c |    4 ++++
 drivers/char/sysrq.c    |   19 +++++++++++++++++++
 include/linux/mm.h      |    4 ++++
 kernel/exit.c           |    5 +++++
 kernel/sched.c          |    1 +
 mm/page_alloc.c         |    3 +++
 mm/slab.c               |    1 +
 7 files changed, 37 insertions(+)

diff -puN arch/i386/mm/pageattr.c~mutex-subsystem-more-debugging-code arch/i386/mm/pageattr.c
--- 25/arch/i386/mm/pageattr.c~mutex-subsystem-more-debugging-code	Fri Jan  6 17:04:56 2006
+++ 25-akpm/arch/i386/mm/pageattr.c	Fri Jan  6 17:04:56 2006
@@ -222,6 +222,10 @@ void kernel_map_pages(struct page *page,
 {
 	if (PageHighMem(page))
 		return;
+	if (!enable)
+		mutex_debug_check_no_locks_freed(page_address(page),
+						 page_address(page+numpages));
+
 	/* the return value is ignored - the calls cannot fail,
 	 * large pages are disabled at boot time.
 	 */
diff -puN drivers/char/sysrq.c~mutex-subsystem-more-debugging-code drivers/char/sysrq.c
--- 25/drivers/char/sysrq.c~mutex-subsystem-more-debugging-code	Fri Jan  6 17:04:56 2006
+++ 25-akpm/drivers/char/sysrq.c	Fri Jan  6 17:04:56 2006
@@ -153,6 +153,21 @@ static struct sysrq_key_op sysrq_mountro
 
 /* END SYNC SYSRQ HANDLERS BLOCK */
 
+#ifdef CONFIG_DEBUG_MUTEXES
+
+static void
+sysrq_handle_showlocks(int key, struct pt_regs *pt_regs, struct tty_struct *tty)
+{
+	mutex_debug_show_all_locks();
+}
+
+static struct sysrq_key_op sysrq_showlocks_op = {
+	.handler	= sysrq_handle_showlocks,
+	.help_msg	= "show-all-locks(D)",
+	.action_msg	= "Show Locks Held",
+};
+
+#endif
 
 /* SHOW SYSRQ HANDLERS BLOCK */
 
@@ -294,7 +309,11 @@ static struct sysrq_key_op *sysrq_key_ta
 #else
 /* c */	NULL,
 #endif
+#ifdef CONFIG_DEBUG_MUTEXES
+/* d */ &sysrq_showlocks_op,
+#else
 /* d */ NULL,
+#endif
 /* e */	&sysrq_term_op,
 /* f */	&sysrq_moom_op,
 /* g */	NULL,
diff -puN include/linux/mm.h~mutex-subsystem-more-debugging-code include/linux/mm.h
--- 25/include/linux/mm.h~mutex-subsystem-more-debugging-code	Fri Jan  6 17:04:56 2006
+++ 25-akpm/include/linux/mm.h	Fri Jan  6 17:04:56 2006
@@ -13,6 +13,7 @@
 #include <linux/rbtree.h>
 #include <linux/prio_tree.h>
 #include <linux/fs.h>
+#include <linux/mutex.h>
 
 struct mempolicy;
 struct anon_vma;
@@ -1024,6 +1025,9 @@ static inline void vm_stat_account(struc
 static inline void
 kernel_map_pages(struct page *page, int numpages, int enable)
 {
+	if (!PageHighMem(page) && !enable)
+		mutex_debug_check_no_locks_freed(page_address(page),
+						 page_address(page + numpages));
 }
 #endif
 
diff -puN kernel/exit.c~mutex-subsystem-more-debugging-code kernel/exit.c
--- 25/kernel/exit.c~mutex-subsystem-more-debugging-code	Fri Jan  6 17:04:56 2006
+++ 25-akpm/kernel/exit.c	Fri Jan  6 17:04:56 2006
@@ -29,6 +29,7 @@
 #include <linux/syscalls.h>
 #include <linux/signal.h>
 #include <linux/cn_proc.h>
+#include <linux/mutex.h>
 
 #include <asm/uaccess.h>
 #include <asm/unistd.h>
@@ -869,6 +870,10 @@ fastcall NORET_TYPE void do_exit(long co
 	mpol_free(tsk->mempolicy);
 	tsk->mempolicy = NULL;
 #endif
+	/*
+	 * If DEBUG_MUTEXES is on, make sure we are holding no locks:
+	 */
+	mutex_debug_check_no_locks_held(tsk);
 
 	/* PF_DEAD causes final put_task_struct after we schedule. */
 	preempt_disable();
diff -puN kernel/sched.c~mutex-subsystem-more-debugging-code kernel/sched.c
--- 25/kernel/sched.c~mutex-subsystem-more-debugging-code	Fri Jan  6 17:04:56 2006
+++ 25-akpm/kernel/sched.c	Fri Jan  6 17:04:56 2006
@@ -4386,6 +4386,7 @@ void show_state(void)
 	} while_each_thread(g, p);
 
 	read_unlock(&tasklist_lock);
+	mutex_debug_show_all_locks();
 }
 
 /**
diff -puN mm/page_alloc.c~mutex-subsystem-more-debugging-code mm/page_alloc.c
--- 25/mm/page_alloc.c~mutex-subsystem-more-debugging-code	Fri Jan  6 17:04:56 2006
+++ 25-akpm/mm/page_alloc.c	Fri Jan  6 17:04:56 2006
@@ -415,6 +415,9 @@ static void __free_pages_ok(struct page 
 	int reserved = 0;
 
 	arch_free_page(page, order);
+	if (!PageHighMem(page))
+		mutex_debug_check_no_locks_freed(page_address(page),
+			page_address(page+(1<<order)));
 
 #ifndef CONFIG_MMU
 	for (i = 1 ; i < (1 << order) ; ++i)
diff -puN mm/slab.c~mutex-subsystem-more-debugging-code mm/slab.c
--- 25/mm/slab.c~mutex-subsystem-more-debugging-code	Fri Jan  6 17:04:56 2006
+++ 25-akpm/mm/slab.c	Fri Jan  6 17:04:56 2006
@@ -3083,6 +3083,7 @@ void kfree(const void *objp)
 	local_irq_save(flags);
 	kfree_debugcheck(objp);
 	c = page_get_cache(virt_to_page(objp));
+	mutex_debug_check_no_locks_freed(objp, objp+obj_reallen(c));
 	__cache_free(c, (void *)objp);
 	local_irq_restore(flags);
 }
_