Quote: Get A Free Beer

Submitted by Jeremy
on April 15, 2008 - 10:30pm

"Anyone who can correctly guess the method with which i found the exact place that corrupted memory will get a free beer next time we meet :-)"

Explanation

on
April 16, 2008 - 11:09am

From: Ingo Molnar <mingo@...>
Subject: Re: [patch] mm: sparsemem memory_present() memory corruption fix
Date: Apr 16, 11:03 am 2008

* Ingo Molnar wrote:

> ps. anyone who can correctly guess the method with which i found the
> exact place that corrupted memory will get a free beer next time
> we meet :-)

the method was to notice that the slub_debug_slabs SLUB variable got
corrupted from an expected value of 0 to a value of 0x1.

Then i added a simple brute-force function-tracer hook (in sched-devel)
that checked when slub_debug_slabs went from 0 to 1, and which then
printed a backtrace.

Since under CONFIG_FTRACE=y every kernel function calls this callback,
it triggered immediately after the value got corrupted:

[ 0.000000] console [earlyser0] enabled
[ 0.000000] BUG: slub_debug_slabs: 00000001
[ 0.000000] Pid: 0, comm: swapper Not tainted 2.6.25-rc9-sched-devel.git-x86-latest.git #982
[ 0.000000] [] print_slub_debug_slabs+0x3a/0x40
[ 0.000000] [] trace+0x8/0x11
[ 0.000000] [] ? mtrr_bp_init+0xe/0x320
[ 0.000000] [] ? trace+0x8/0x11
[ 0.000000] [] ? memory_present+0x9/0x50
[ 0.000000] [] ? find_max_pfn+0x99/0xb0
[ 0.000000] [] setup_arch+0x217/0x470
[ 0.000000] [] ? printk+0x1b/0x20
[ 0.000000] [] start_kernel+0x96/0x3f0
[ 0.000000] [] i386_start_kernel+0xd/0x10
[ 0.000000] =======================
[ 0.000000] x86: PAT support disabled.

and the backtrace had all the guilty parties on stack - memory_present()
[which was just called] and find_max_pfn()/setup_arch() - thanks to the
new fuzzy "?" backtrace entries we print out in v2.6.25.

(i could also have printed out the current ftrace buffer as well,
showing the history of all recent function calls that the kernel
executed.)

Ingo
--


Did I hear someone saying "bisection"?

Andre Goddard Rosa (not verified)
on
April 16, 2008 - 8:55pm

heh! I swear that I did hear someone saying bisect out there!

Cheers,
André