[mercury-users] Forcing garbage collector to purge?

Ondrej Bojar bojar at csse.unimelb.edu.au
Tue Sep 18 11:56:07 AEST 2007


Is there a way to force Mercury's garbage collector to free all blocks that are 
not used? I assume the collector recognizes unused chunks of memory and reuses 
them on every new allocation. Does it ever release them back for use by other 
processes? Is there a way to ask it to?

Thanks, Ondrej.

Ondrej Bojar (mailto:obo at cuni.cz / bojar at ufal.mff.cuni.cz)
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

More information about the users mailing list