Make gc alarms atomic

This is required to allow deleting an alarm from any domains.

1 files changed, 4 insertions, 4 deletions

diff --git a/stdlib/gc.ml b/stdlib/gc.ml
index 2ef34b5f06..55784bf049 100644
--- a/stdlib/gc.ml
+++ b/stdlib/gc.ml
@@ -102,23 +102,23 @@ external finalise_last : (unit -> unit) -> 'a -> unit =
 external finalise_release : unit -> unit = "caml_final_release"
 
 
-type alarm = bool ref
+type alarm = bool Atomic.t
 type alarm_rec = {active : alarm; f : unit -> unit}
 
 let rec call_alarm arec =
-  if !(arec.active) then begin
+  if Atomic.get arec.active then begin
     finalise call_alarm arec;
     arec.f ();
   end
 
 
 let create_alarm f =
-  let arec = { active = ref true; f = f } in
+  let arec = { active = Atomic.make true; f = f } in
   finalise call_alarm arec;
   arec.active
 
 
-let delete_alarm a = a := false
+let delete_alarm a = Atomic.set a false
 
 module Memprof =
   struct