A GC alarm calls a user function at the end of each major GC cycle.
include sig ... end
val sexp_of_t : t ‑> Sexplib.Sexp.t
val create : (Core_kernel__.Import.unit ‑> Core_kernel__.Import.unit) ‑> t
create f
arranges for f
to be called at the end of each major GC cycle,
starting with the current cycle or the next one. f
can be called in any thread,
and so introduces all the complexity of threading. f
is called with
Exn.handle_uncaught_and_exit
, to prevent it from raising, because raising could
raise to any allocation or GC point in any thread, which would be impossible to
reason about.
val delete : t ‑> Core_kernel__.Import.unit
delete t
will stop the calls to the function associated to t
. Calling delete
t
again has no effect.