]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae7b27f) | patch
Add 'numbering identification' to the dedup pool.
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Mon, 30 Jun 2014 20:58:32 +0000 (20:58 +0000)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Mon, 30 Jun 2014 20:58:32 +0000 (20:58 +0000)
commit4b8dc1d8056e2f2a89a95fbad4c1d92e2334df66
treef5b6e42bbc320a6275b0359c4a16f544a65fb40ctree
parentae7b27f7060bc0d0c5f547575cd59e1b9bb3b818commit | diff
Add 'numbering identification' to the dedup pool.

The dedup pool can now be used to allocate elements and identify
them with a number rather than an address.

This new feature is not used (yet) but is intended to be used to
decrease the memory needed to store the CFSI information.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14123
coregrind/m_deduppoolalloc.c diff | blob | blame | history
include/pub_tool_deduppoolalloc.h diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git