Original bug ID: 1122
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Martin Jambon
Version: 3.04
OS: pc/linux
Submission from: pc-bioinfo1.ibcp.fr (193.51.160.63)

This message follows report number 1111.
Setting the field Gc.max_overhead to some value causes memory leaks,
even with explicit calls to Gc.compact.

Here is the summary of 3 kinds of programs:

Gc.compact () Gc.max_overhead = 50 memory is wasted
0 no no yes
1 yes no no
2 no yes yes
3 yes yes yes

(0) is the normal program.
(1) calls Gc.compact periodically and works OK.
(2) is supposed to make compactions, but
a) memory space increases contrary to program (1) though
(stat ()).compactions is incremented.
b) (stat ()).compactions is not incremented anymore after
some point (see report #1111)
(3) uses Gc.compact and the Gc.max_overhead setting together,
but the behaviour is the same as in (2), except for the counter
returned by Gc.stat.