Source file `stdcompat__domain.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
(*
include Domain
*)

(*
type !'a t = 'a
*)

type 'a t = 'a

type id = int

module DLS = struct
  type 'a key = {
    split_from_parent: ('a -> 'a) option;
    f: unit -> 'a;
    mutable value: 'a option;
  }

  let new_key ?split_from_parent f =
    { split_from_parent; f; value = None }

  let get key =
    match key.value with
    | Some value -> value
    | None ->
      let value = key.f () in
      key.value <- Some value;
      value

  let set key value =
    key.value <- Some value
end

let before_first_spawn_list = ref (Some [])

let spawn f =
  begin match !before_first_spawn_list with
    | None -> ()
    | Some list ->
      List.iter (fun f -> f ()) (List.rev list);
      before_first_spawn_list := None
  end;
  f ()

let join v =
  v

let get_id _v =
  0

let self () =
  0

let before_first_spawn f =
  match !before_first_spawn_list with
  | None -> invalid_arg "Already spawned"
  | Some list -> before_first_spawn_list := Some (f :: list)

let at_exit f =
  at_exit f

let cpu_relax () =
  ()

let is_main_domain () =
  true

let recommended_domain_count () =
  1