[Caml-list] Early GC'ing

[oliver <oliver@first.in-berlin.de>]

Hello,

in a loop I read in a lot of files,
from which I just need to collect
a small portion of the data.

Right after reading and selecting what I needed,
I don't need any of the read file data.
The most stuff can just be thrown away.

What GC functions need to be called to throw away
the garbage soon?

Thats the first time I really need the GC-functions to
trigger by myself, because it's much data, of which
I need only a small portion.

So far I normally needed most of the data I read in
and the defaults of the GC were pretty fine for my tasks and taste.

This time a lot of mem is used...
...so GC functionality seems to be the way to go.


Are there general rules of thumb how to trigger GC
for a given kind of mem-handling (in my case: read data,
pick some parts of it and throw away the rest soon),
or is this something, where exploring the GC-statistics
is the common case (no rules of thumb?)?


Ciao,
   Oliver