Of course not all memory is tracked. It is memory allocated by a space. If you also want to track other allocated memory you have to redefine the allocated() member function of a space.
If you really want to know all allocated memory, you might want to use information provided by your operating system about how much memory your pocess allocates. Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: [email protected] [mailto:[email protected]] On Behalf Of ?? Sent: Friday, March 30, 2012 9:34 AM To: [email protected] Subject: [gecode-users] alloc memory from heap and the stats of Peak Memory Hello, I got a problem about alloc memory from heap and the stats of Peak Memory. I write a Shared Object and handles, and use heap.alloc<T>(n) to alloc memory for the shared object's distributes. I changed the value of n, and the peak Memory is always the same. It seems that the memory allocated from heap are not added into the Peak Memory's stats, why is that? Thank a lot! XW.
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
