| [mat-dev] Test case for leak detection algorithm |
Dear MAT developers, I gave a try to MAT on SAT4J under heavy duty Memory Analyzer (Incubation) 0.8.0.200906082011 I generated a dump as suggested in Ian Bull blog: http://eclipsesource.com/blogs/2009/06/20/eclipse-galileo-feature-top-10-list-number-5/ The dump is available here: http://www.sat4j.org/heap.bin.gz If I try to detect memory leaks on that dump, the leak detection algorithm cannot complete its task in reasonable time (it ran during at least 15mn on my PIV 3GHz). I have to quit eclipse to stop the process (pushing the cancel button has no effect). The dump is unusual I guess because there is a very high number of one single kind of objects (the constraints). I am wondering if there is a hope to be able to use MAT on such kind of dumps at some point or if those cases cannot be analyzed efficiently under current knowledge (i.e. limitation due to the complexity of the algorithms used). Cheers, Daniel -- Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx MCF, CRIL-CNRS UMR 8188, Universite d'Artois http://www.cril.univ-artois.fr/~leberre