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
|
(****************)
(* Run one test *)
(****************)
(* Litmus test description, two threads *)
module type Test = sig
module Key : Hist.Key (* Outcome *)
module Env : Shared.S (* Shared memory *)
(* First thread code *)
type out0
val code0 : Env.in_t -> out0
(* Second thread code *)
type out1
val code1 : Env.in_t -> out1
(* Build outcome from memory and thread results *)
val out2key : Env.in_t -> out0 -> out1 -> Key.t
end
module Make :
functor (C:Opt.Config) ->
functor (T:Test) ->
sig
val zyva : unit -> unit
end
|
