![]() | ||||||||||
Messages in this thread |
* Pekka Enberg <penberg@cs.helsinki.fi> wrote: > On Feb 8, 2008 1:32 AM, Christoph Lameter <clameter@sgi.com> wrote: > > But the slab layer allocates pages < PAGE_SIZE. You need to take a > > fault right? So each object would need its own page? > > No. We allocate a shadow page for each data page which we then use as > a per-byte "bitmap." For every tracked _page_ we take the page fault > always. it should also be made clear that not only does kmemcheck consume half of the RAM to do byte granular tracking of the other half of RAM, it's also slow, very slow, because almost every kernel-space instruction will generate a pagefault and then it will be single-stepped and it takes a debug fault as well. That's of course totally crazy, but that's also OK and it's what makes the feature so interesting and powerful. For example, when CONFIG_DEBUG_PAGEALLOC=y was introduced 5 years ago, it was almost unusable on modern hardware, due to the slowdown it gave. People said "twiddling ptes and flushing the TLB for every allocation, that's crazy!". Today it can be enabled without noticing anything on a desktop, and it catches lots of nasty bugs. The many debugging helpers Linux has are our eyes and ears - they catch stuff our real eyes did not catch. We need to sharpen these tools constantly, and do all the things that current hardware allows us to do sanely. The same speedup will happen with kmemcheck as well in the long run. It is a big slowdown currently due to the massive amount of pagefaults it generates, even on top of the line hardware, but it's already fast enough to boot up and to catch bugs. [and we can optimize it by quite a degree - i've alreadyextended the profiler to trace kmemcheck pagefault sources.] It will never be usable in production, but the boundary of where to enable it and why will move constantly. So i'm convinced that the time has come for kmemcheck. It already caught 4 live kernel bugs and it's been tested on 2 boxes only. Please help us make the SLUB bits squeaky clean :-) Ingo | |||||||||
| Last update: 2008-02-08 08:13 [W:0.161 / U:0.070 seconds] ©2003-2008 Jasper Spaans | ||||||||||