module Async_gc: sig .. end
add_finalizer f x is like Gc.finalise f x, except that the finalizer is guaranteed
to run as an Async job (i.e. without interrupting other Async jobs). Unprotected use
of Caml.Gc.finalise or Core.Gc.add_finalizer in Async programs is wrong, because
the finalizers won't hold the async lock, and thus could interleave arbitrarily with
async jobs.
include Core.Gc
val add_finalizer : 'a -> ('a -> unit) -> unit
add_finalizer f x is like
Gc.finalise f x, except that the finalizer is guaranteed
to run as an Async job (i.e. without interrupting other Async jobs). Unprotected use
of
Caml.Gc.finalise or
Core.Gc.add_finalizer in Async programs is wrong, because
the finalizers won't hold the async lock, and thus could interleave arbitrarily with
async jobs.
val add_finalizer_exn : 'a -> ('a -> unit) -> unit
val finalise : [< `In_async__use_finalize_not_finalise ] ->
'a -> [> `In_async__use_finalize_not_finalise ]
finalise is rebound to avoid accidental use in Async programs.