Skip to content
Success

Changes

Summary

  1. disable taskset for now: performance impact is negative;
  2. allow specifying initial schedule;
  3. clarify use of num_threads vs. max_cpus;
  4. clarified host: pre-load max threads;
  5. clarified: more operations;
Changeset 79929:08b83f91a1b2 by fabian huch _huch@in.tum.de_:
disable taskset for now: performance impact is negative;
The file was modified src/Pure/System/host.scala (diff)
Changeset 79928:cdc87eed26c7 by fabian huch _huch@in.tum.de_:
allow specifying initial schedule;
The file was modified etc/options (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79927:4359257218ce by fabian huch _huch@in.tum.de_:
clarify use of num_threads vs. max_cpus;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79926:dc4a387a6f02 by fabian huch _huch@in.tum.de_:
clarified host: pre-load max threads;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79925:26b571c90808 by fabian huch _huch@in.tum.de_:
clarified: more operations;
The file was modified src/Pure/Build/build_schedule.scala (diff)