blob: 196f54c1449f6482860f92e944d3eec6bd03ec14 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// xfail-test
// This checks that preemption works.
fn starve_main(alive: chan<int>) {
log "signalling main";
alive <| 1;
log "starving main";
let i: int = 0;
while true { i += 1; }
}
fn main() {
let alive: port<int> = port();
log "main started";
let s: task = spawn starve_main(chan(alive));
let i: int;
log "main waiting for alive signal";
alive |> i;
log "main got alive signal";
while i < 50 { log "main iterated"; i += 1; }
log "main completed";
}
|