| changeset 71684 | 5036edb025b7 |
| parent 71679 | eeaa4021f080 |
| child 71718 | 54ac957c53ec |
| 71683:fd487d261169 | 71684:5036edb025b7 |
|---|---|
582 } |
582 } |
583 } |
583 } |
584 |
584 |
585 def sleep() |
585 def sleep() |
586 { |
586 { |
587 try { Thread.sleep(500) } |
587 try { Time.seconds(0.5).sleep } |
588 catch { case Exn.Interrupt() => Exn.Interrupt.impose() } |
588 catch { case Exn.Interrupt() => Exn.Interrupt.impose() } |
589 } |
589 } |
590 |
590 |
591 val numa_nodes = new NUMA.Nodes(numa_shuffling) |
591 val numa_nodes = new NUMA.Nodes(numa_shuffling) |
592 |
592 |