2011-08-31 07:24:08 -05:00
|
|
|
// xfail-stage1
|
|
|
|
// xfail-stage2
|
|
|
|
// xfail-stage3
|
2010-06-23 23:03:09 -05:00
|
|
|
// This checks that preemption works.
|
|
|
|
|
2011-08-10 11:27:22 -05:00
|
|
|
fn starve_main(alive: chan<int>) {
|
2011-07-27 07:19:39 -05:00
|
|
|
log "signalling main";
|
|
|
|
alive <| 1;
|
|
|
|
log "starving main";
|
|
|
|
let i: int = 0;
|
|
|
|
while true { i += 1; }
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
|
2011-04-19 15:35:49 -05:00
|
|
|
fn main() {
|
2011-08-10 11:27:22 -05:00
|
|
|
let alive: port<int> = port();
|
2011-07-27 07:19:39 -05:00
|
|
|
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";
|
2011-08-10 11:27:22 -05:00
|
|
|
}
|