Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned message;
  2. better invalidation for schedule cache (only on relevant changes);
  3. tuned;
  4. timing heuristic: parallelize more aggressively to utilize hosts fully;
  5. proper parallel paths for timing heuristic;
  6. scheduled build: allocate cpus more aggressively, to avoid idle threads;
  7. finalize scheduled build only on master node;
  8. finalize current sessions before generating schedule;
  9. clarified signature: more operations;
  10. NEWS
Changeset 78976:8da0eedd562c by fabian huch _huch@in.tum.de_:
tuned message;
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78975:4a5d35b35aeb by fabian huch _huch@in.tum.de_:
better invalidation for schedule cache (only on relevant changes);
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78974:9e963cd24fd2 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78973:d91e131840a0 by fabian huch _huch@in.tum.de_:
timing heuristic: parallelize more aggressively to utilize hosts fully;
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78972:7a39f151e9a7 by fabian huch _huch@in.tum.de_:
proper parallel paths for timing heuristic;
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78971:f930d24f1548 by fabian huch _huch@in.tum.de_:
scheduled build: allocate cpus more aggressively, to avoid idle threads;
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78970:5d38b72a1a66 by fabian huch _huch@in.tum.de_:
finalize scheduled build only on master node;
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78969:1b05c2b10c9f by fabian huch _huch@in.tum.de_:
finalize current sessions before generating schedule;
The file was modified src/Pure/Tools/build_process.scala (diff)
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78968:faa5af35fb65 by fabian huch _huch@in.tum.de_:
clarified signature: more operations;
The file was modified src/Pure/Tools/build_process.scala (diff)
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78967:7dec63adda7d by desharna:
NEWS
The file was modified NEWS (diff)