Re: [PATCH] include/linux/slab.h: new KFREE() macro.
From: Valdis . Kletnieks
Date: Tue Jan 09 2007 - 21:45:56 EST
On Tue, 09 Jan 2007 16:00:51 PST, Amit Choudhary said:
> What did you understand when I wrote that "if you access the same memory again using the variable
> 'x"?
>
> Using variable 'x' means using variable 'x' and not variable 'y'.
Right - but in real-world code, 'y' is the actual problem.
> Did I ever say that it fixes that kind of bug?
The point you're missing is that you're "fixing" a failure mode that in
general isn't seen, and ignoring the failure mode that *is* seen.
> Dereferencing 'x' means dereferencing 'x' and not dereferencing 'y'.
And neither "x" nor "y" is "the set of all still-live pointers to already-freed
memory" - which is why your proposal doesn't actually do anything effective.
Attachment:
pgp00000.pgp
Description: PGP signature