1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(* TEST
modules = "aligned_alloc_stubs.c";
*)
external is_aligned : 'a Atomic.t -> bool = "caml_atomic_is_aligned"
let test_is_aligned () =
let l = List.init 100 Atomic.make in
let all_aligned =
List.for_all is_aligned l
in
assert (not all_aligned);
;;
let test_make_contended () =
let l = List.init 100 Atomic.make_contended in
List.iteri (fun i atomic ->
assert (Atomic.get atomic == i);
assert (is_aligned atomic)) l
;;
let () =
test_is_aligned ();
test_make_contended ();
;;
|
