blob: 4564a483c9cdec8c1ddf926ada3f9b8263840bd1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
(* Test Thread.exit *)
let somethread (name, limit, last) =
let counter = ref 0 in
while true do
incr counter;
if !counter >= limit then begin
print_string (name ^ " exiting\n");
flush stdout;
if last then exit 0 else Thread.exit()
end;
print_string (name ^ ": " ^ string_of_int !counter ^ "\n");
flush stdout;
Thread.delay 0.5
done
let _ =
let _ = Thread.create somethread ("A", 5, false) in
let _ = Thread.create somethread ("B", 8, false) in
let _ = Thread.create somethread ("C", 11, true) in
somethread ("Main", 3, false)
|
