[mercury-users] Forcing garbage collector to purge?

[Peter Wang]

On 2007-09-18, Ondrej Bojar <bojar at csse.unimelb.edu.au> wrote:
>  Hi,
> 
>  Is there a way to force Mercury's garbage collector to free all blocks that 
>  are not used?

Standard library module gc.

> 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?

As I recall, Boehm gc needs to be built with -DUSE_MMAP -DUSE_MUNMAP for
that to happen.  We don't compile with those flags by default.  You can
try adding them to BOEHM_CFLAGS in Mmake.common.

Peter

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------