|
From: Michael P. <md...@tr...> - 2004-05-27 02:00:26
|
Has there been discussion of enhancing the memcheck tool freelist to not give a block back to the application if there are still valid pointers to the block? This would basically be semi-conservative garbage collection -- since memcheck tracks whether data is valid as a pointer, it could eliminate some things that look like pointers but are not (situations where, say, Boehm's GC would assume they were pointers). I don't know how many stale pointer bugs there are where the default freelist is too small to catch the bug (a million entries *is* pretty big), but I think it would be a useful option. Michael Poole |