| changeset 79606 | d1f060886590 |
| parent 79605 | 83627a092fbf |
| child 79607 | 118504de9d0d |
| 79605:83627a092fbf | 79606:d1f060886590 |
|---|---|
34 if physical.isDefined && !physical_cores.isDefinedAt(physical.get) => |
34 if physical.isDefined && !physical_cores.isDefinedAt(physical.get) => |
35 physical_cores = physical_cores + (physical.get -> i) |
35 physical_cores = physical_cores + (physical.get -> i) |
36 case _ => |
36 case _ => |
37 } |
37 } |
38 } |
38 } |
39 physical_cores.valuesIterator.sum |
39 physical_cores.valuesIterator.sum.max(1) |
40 } |
40 } |
41 |
41 |
42 |
42 |
43 /* max_threads */ |
43 /* max_threads */ |
44 |
44 |