Summary
- disable taskset for now: performance impact is negative;
- allow specifying initial schedule;
- clarify use of num_threads vs. max_cpus;
- clarified host: pre-load max threads;
- clarified: more operations;
The file was modified | src/Pure/System/host.scala (diff) |
The file was modified | etc/options (diff) |
The file was modified | src/Pure/Build/build_schedule.scala (diff) |
The file was modified | src/Pure/Build/build_schedule.scala (diff) |
The file was modified | src/Pure/Build/build_schedule.scala (diff) |
The file was modified | src/Pure/Build/build_schedule.scala (diff) |