..read more

Performance engineering of MirageVPN, speeding it up by a factor of 25 ..read more

..read more

let test_counter () = Atomic.trace (fun () -> let counter = Counter.create () in Atomic.spawn (fun () -> Counter.incr counter); (* [Atomic.spawn] is the DSCheck function to simulate [Domain.spawn] ) Atomic.spawn (fun () -> Counter.incr counter); ( There is no need to join domains as DSCheck does not actually spawn domains. *) Atomic.final (fun () -> Atomic.check (fun () -> Counter.get counter == 2 ..read more

The following actions will be performed: ∗ install dune 3.14.0 [required by hc] ∗ install hc 0.3* ===== ∗ 2 ===== Do you want to continue? [Y/n] y <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><> ⬇ retrieved hc.0.3 (no changes) ⬇ retrieved dune.3.14.0 (https://opam.ocaml.org/cache) ∗ installed dune.3.14.0 ∗ installed hc.0.3 Done. <><> hc: information on all versions ><><><><><>< ..read more

..read more

..read more

..read more

..read more

..read more