minimal_deadlock.ml

let num_domains = try int_of_string Sys.argv.(1) with _ -> 1
open Domain.DLS

let chk () =
  let k1 : int key = new_key () in
  set k1 100;
  Gc.major ();
  Printf.printf "%d\n" (Option.get @@ get k1)

let _ =
  let domains = Array.init num_domains (fun _ -> Domain.spawn(chk)) in
  Array.iter Domain.join domains