[mercury-users] Memory profiling

[Julien Fischer]

On Sun, 26 Dec 2010, Michael Day wrote:

> Am I correct in thinking that the memprof grade shows me where all the 
> allocation is taking place, but can't tell me anything about when the memory 
> is freed?

Yes, you are correct.

> As a result, it's impossible to tell from the profile which allocated memory 
> is persisting for the life of the program, and thus affecting the maximum 
> memory usage, and which allocated memory is quickly collected, leading to 
> garbage collection churn but no extra memory requirements.
>
> Is there any way of figuring out at a particular point in time during program 
> execution where the currently used memory was allocated?

Not that I know of.

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------