On Wed, Dec 01, 2010 at 04:17:15PM +0100, Philippe Veber wrote:
[...]
> Many thanks for the clarification. Maybe I could (partially) "unplug" the GC
> by setting space_overhead to 100 ? That could give an indication on the
> moment the problem occurs ?
> ph.
[...]
There are also verbosity-Options for the GC.
If you set the v-option of OCAMLRUNPARAM according to the
documentation of the runtimesystem, the GC will inform you
on his actions.
You can use it to look for to often done GC-actions
(for optimizing the settings for a speedup).
This might be helpful for your bug-research also.
Ciao,
Oliver