blob: 926f09078fe43699eb376a781ac243a7695c14c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
let yield = ref false
let print_message c =
for i = 1 to 10000 do
print_char c; flush stdout;
if !yield then Thread.yield()
done
let _ = yield := (Array.length Sys.argv > 1)
let t1 = Thread.create print_message 'a'
let t2 = Thread.create print_message 'b'
let _ = Thread.join t1
let _ = Thread.join t2
;;
|