[m-rev.] for review: add --boehm-gc-free-space-divisor option

[Julien Fischer]

On Mon, 14 Jul 2008, Peter Wang wrote:

> Branches: main
>
> Add `--boehm-gc-free-space-divisor <n>' option for MERCURY_OPTIONS.
> This sets the value of a tunable parameter in Boehm GC to trade off heap
> size for collection time.
>
> runtime/mercury_wrapper.c:
> 	Add the option.
>
> doc/user_guide.texi:
> 	Add documentation.
>
> scripts/mdprof.in:
> 	Add some sample code to enable the option when calling the deep
> 	profiler CGI program.
>
> diff --git a/doc/user_guide.texi b/doc/user_guide.texi
> index d4a749c..8a78c79 100644
> --- a/doc/user_guide.texi
> +++ b/doc/user_guide.texi
> @@ -9834,6 +9834,14 @@ garbage collector, and requires @samp{--enable-gc-munmap} to be passed to
> @samp{configure}. (This may not work with all platforms).
>
> @sp 1
> + at item --boehm-gc-free-space-divisor=@var{N}
> + at findex --boehm-gc-free-space-divisor=@var{N}
> +This option sets the value of the free space divisor in the Boehm garbage
> +collector to @var{N}. The default value is 3. Increasing its value will reduce
> +heap space but increase collection time.

It will actually increase the heap space _available to the program will
it not?  (At least that's the impression I received from the Boehm GC
docs.)

You should also say that this option is ignored if the Boehm GC is not
being used.

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