Re: [Caml-list] hook before gc major collections

[Damien Pous <Damien.Pous@inria.fr>]

I would like to, but Weak provides sets while I need maps...
(i.e., I would be somehow happy if Weak.Make did implement Hashtbl.S
rather than Weak.S)

To be more precise, the indices of my maps are hash-consed values, and
I use Jean-Christophe Filliatre's hash-consing library.
In my current code, the maps are thus Patricia trees (Filliatre's Hmap
module) ; it seems non-trivial to reimplement such maps in a
phantomatic way, using Weak in the background.

Do I miss an obvious usage of Weak.S?

Damien

2014-10-07 10:09 GMT+02:00 Nicolas Boulay <nicolas@boulay.name>:
> Why do you not use "weak" pointer semantic ?
> http://caml.inria.fr/pub/docs/manual-ocaml/libref/Weak.html
>
> 2014-10-07 10:05 GMT+02:00 Damien Pous <Damien.Pous@inria.fr>:
>>
>> Hello,
>>
>> Is there a way to register a function, to be called before each gc
>> major collection ?
>> (I have some cache tables which I'd like to empty from time to time -
>> I'm not sure this is a good idea, but I would like to experiment it.)
>>
>> I see two related functions in the std lib, but not the precise thing I
>> want:
>> - Gc.create_alarm, to register a function to be called *after* such
>> collections ;
>> - Gc.finalise, which I could use with a dummy heap allocated value,
>> but then I guess my function would be called before any gc *minor*
>> collection, which is certainly too often in my concrete use-case.
>>
>> Thanks in advance,
>> Damien
>>
>> --
>> Caml-list mailing list.  Subscription management and archives:
>> https://sympa.inria.fr/sympa/arc/caml-list
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>