commit | c3508652c3a00c0d0035603a7d738f2fe47e9331 | [log] [tgz] |
---|---|---|
author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Mar 28 12:01:58 2015 +0000 |
committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Mar 28 12:01:58 2015 +0000 |
tree | a827d73b286052b9251499c0ebb59b035fcb6de9 | |
parent | 6aacb0658170343d3dcf531b4682e5460b421955 [diff] |
Helgrind optimisation: * do VTS pruning only if new threads were declared very dead since the last pruning round. * When doing pruning, use the new list of threads very dead to do the pruning : this decreases the cost of the dichotomic search in VTS__substract git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15044 a5019735-40e9-0310-863c-91ae7b9d1cf9