[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <12760.1234349311@redhat.com>
Date: Wed, 11 Feb 2009 10:48:31 +0000
From: David Howells <dhowells@...hat.com>
To: Vegard Nossum <vegard.nossum@...il.com>,
Ingo Molnar <mingo@...e.hu>
Cc: dhowells@...hat.com,
KOSAKI Motohiro <kosaki.motohiro@...fujitsu.com>,
Serge Hallyn <serue@...ibm.com>,
LKML <linux-kernel@...r.kernel.org>,
Lee Schermerhorn <Lee.Schermerhorn@...com>
Subject: Re: [CRED bug?] 2.6.29-rc3 don't survive on stress workload
Vegard Nossum <vegard.nossum@...il.com> wrote:
> Will refine my test program to see if I can trigger this immediately
> and accurately.
I'm running two copies of:
#include <stdlib.h>
#include <unistd.h>
int main()
{
for (;;) {
if (setreuid(0, 99999) < 0) {
perror("setreuid A");
exit(1);
}
if (setreuid(99999, 0) < 0) {
perror("setreuid B");
exit(1);
}
}
}
but it doesn't seem to be showing anything interesting. I have the attached
patch compiled into my kernel and enabled in the hope it might catch either
this bug or Ingo's key slab corruption bug.
David
---
From: David Howells <dhowells@...hat.com>
Subject: [PATCH] Attempt to catch atomic_dec_and_test() on freed and poisoned slab memory
Add an option to attempt to catch atomic_dec_and_test() on freed and poisoned
slab memory by complaining if the counter LSB is the poison value.
Signed-off-by: David Howells <dhowells@...hat.com>
---
arch/x86/include/asm/atomic_32.h | 8 ++++++++
arch/x86/include/asm/atomic_64.h | 8 ++++++++
lib/Kconfig.debug | 10 ++++++++++
lib/Makefile | 1 +
lib/debug_poisoned_put.c | 39 ++++++++++++++++++++++++++++++++++++++
5 files changed, 66 insertions(+), 0 deletions(-)
create mode 100644 lib/debug_poisoned_put.c
diff --git a/arch/x86/include/asm/atomic_32.h b/arch/x86/include/asm/atomic_32.h
index 85b46fb..b0b1a7c 100644
--- a/arch/x86/include/asm/atomic_32.h
+++ b/arch/x86/include/asm/atomic_32.h
@@ -101,6 +101,10 @@ static inline void atomic_dec(atomic_t *v)
: "+m" (v->counter));
}
+#ifdef CONFIG_DEBUG_POISONED_PUT
+extern void check_atomic_dec_and_test(atomic_t *v);
+#endif
+
/**
* atomic_dec_and_test - decrement and test
* @v: pointer of type atomic_t
@@ -113,6 +117,10 @@ static inline int atomic_dec_and_test(atomic_t *v)
{
unsigned char c;
+#ifdef CONFIG_DEBUG_POISONED_PUT
+ check_atomic_dec_and_test(v);
+#endif
+
asm volatile(LOCK_PREFIX "decl %0; sete %1"
: "+m" (v->counter), "=qm" (c)
: : "memory");
diff --git a/arch/x86/include/asm/atomic_64.h b/arch/x86/include/asm/atomic_64.h
index 8c21731..6a7f228 100644
--- a/arch/x86/include/asm/atomic_64.h
+++ b/arch/x86/include/asm/atomic_64.h
@@ -102,6 +102,10 @@ static inline void atomic_dec(atomic_t *v)
: "m" (v->counter));
}
+#ifdef CONFIG_DEBUG_POISONED_PUT
+extern void check_atomic_dec_and_test(atomic_t *v);
+#endif
+
/**
* atomic_dec_and_test - decrement and test
* @v: pointer of type atomic_t
@@ -114,6 +118,10 @@ static inline int atomic_dec_and_test(atomic_t *v)
{
unsigned char c;
+#ifdef CONFIG_DEBUG_POISONED_PUT
+ check_atomic_dec_and_test(v);
+#endif
+
asm volatile(LOCK_PREFIX "decl %0; sete %1"
: "=m" (v->counter), "=qm" (c)
: "m" (v->counter) : "memory");
diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug
index 29044f5..bb5801b 100644
--- a/lib/Kconfig.debug
+++ b/lib/Kconfig.debug
@@ -221,6 +221,16 @@ config TIMER_STATS
(it defaults to deactivated on bootup and will only be activated
if some application like powertop activates it explicitly).
+config DEBUG_POISONED_PUT
+ bool "Catch puts of already released memory"
+ depends on DEBUG_KERNEL
+ help
+ If you say Y here, atomic_dec_and_test() will complain if it sees
+ what might be a poisoned value from a released slab object or a
+ counter already reduced to nothing. Note that this test cannot say
+ for certain that the value is in error - the value on the counter
+ might be completely legitimate.
+
config DEBUG_OBJECTS
bool "Debug object operations"
depends on DEBUG_KERNEL
diff --git a/lib/Makefile b/lib/Makefile
index 32b0e64..c47cc74 100644
--- a/lib/Makefile
+++ b/lib/Makefile
@@ -44,6 +44,7 @@ obj-$(CONFIG_PLIST) += plist.o
obj-$(CONFIG_DEBUG_PREEMPT) += smp_processor_id.o
obj-$(CONFIG_DEBUG_LIST) += list_debug.o
obj-$(CONFIG_DEBUG_OBJECTS) += debugobjects.o
+obj-$(CONFIG_DEBUG_POISONED_PUT) += debug_poisoned_put.o
ifneq ($(CONFIG_HAVE_DEC_LOCK),y)
lib-y += dec_and_lock.o
diff --git a/lib/debug_poisoned_put.c b/lib/debug_poisoned_put.c
new file mode 100644
index 0000000..1e04325
--- /dev/null
+++ b/lib/debug_poisoned_put.c
@@ -0,0 +1,39 @@
+/* Deal with a poisoned atomic counter
+ *
+ * Copyright (C) 2009 Red Hat, Inc. All Rights Reserved.
+ * Written by David Howells (dhowells@...hat.com)
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public Licence
+ * as published by the Free Software Foundation; either version
+ * 2 of the Licence, or (at your option) any later version.
+ */
+
+#include <linux/kernel.h>
+#include <linux/poison.h>
+#include <linux/module.h>
+#include <asm/atomic.h>
+
+/*
+ * Check to see if an atomic_dec_and_test() is being performed on released
+ * and poisoned memory
+ */
+extern void check_atomic_dec_and_test(atomic_t *v)
+{
+ int c = v->counter;
+
+ if (unlikely(
+#ifdef CONFIG_DEBUG_SLAB
+ c == (POISON_FREE << 24 |
+ POISON_FREE << 16 |
+ POISON_FREE << 8 |
+ POISON_FREE) ||
+#endif
+ c <= 0)) {
+ printk(KERN_WARNING "atomic_dec_and_test() of suspicious value."
+ " insn=%p addr=%p val=%d\n",
+ __builtin_return_address(0), v, c);
+ dump_stack();
+ }
+}
+EXPORT_SYMBOL(check_atomic_dec_and_test);
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists