Messages in this thread | | | Subject | Re: Lock EVERYTHING (for testing) [was: Re: Scaling noise] | From | Jeremy Fitzhardinge <> | Date | Thu, 11 Sep 2003 09:37:46 -0700 |
| |
On Wed, 2003-09-10 at 08:47, John Bradford wrote: > > The analogy for Linux is this: At a machine level, we add a check to > > EVERY access. The check is there to ensure that every memory access is > > properly locked. So, if some access is made where there isn't a proper > > lock applied, then we can print a warning with the line number or drop > > out into kdb or something of that sort. > > > > I'm betting there's another solution to this, otherwise, I wouldn't > > suggest such an idea, because of the relative amount of work versus > > benefit. But it may require massive modifications to GCC to add this > > code in at the machine level. > > Couldn't Valgrind be modified to do this for the kernel? > > http://developer.kde.org/~sewardj/
I have a UML-under-Valgrind project on the backburner. Valgrind has an instrumentation mode which checks to see every memory access is covered by appropriate locks in an MT program. I'm afraid it will generate a lot of noise in the kernel though, since there's a lot of code which does unlocked memory access (probably correctly).
J
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |