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
|
(* TEST
include runtime_events;
include unix;
hasunix;
not-target-windows;
{
bytecode;
}{
native;
}
*)
let got_major = ref false
let got_minor = ref false
let finished = ref false
let runtime_end domain_id ts phase =
match phase with
| Runtime_events.EV_EXPLICIT_GC_FULL_MAJOR ->
got_major := true
| Runtime_events.EV_MINOR ->
got_minor := true
| _ -> ()
let () =
(* start runtime_events now to avoid a race *)
Runtime_events.start ();
let parent_pid = Unix.getpid () in
let parent_cwd = Sys.getcwd () in
let child_pid = Unix.fork () in
if child_pid == 0 then begin
(* we are in the child *)
let cursor = Runtime_events.create_cursor (Some (parent_cwd, parent_pid)) in
let callbacks = Runtime_events.Callbacks.create ~runtime_end () in
let started = Unix.gettimeofday () in
while (not !finished) && (Unix.gettimeofday () -. started < 10.) do
Runtime_events.read_poll cursor callbacks None |> ignore;
if !got_major && !got_minor then
finished := true
done;
assert(!got_minor);
assert(!got_major);
end else begin
(* we are in the parent, generate some events *)
Gc.full_major ();
(* now wait for our child to finish *)
Unix.wait () |> ignore
end
|
