localresourcecopying.txt 1.1 KB

12345678910111213141516171819202122232425
  1. Resources were copied using make rules. This is sensible in local
  2. machine builds but non-optimal in cluster builds. It is entirely IO
  3. bound so that instead of benefitting from running on the cluster it
  4. simply creates more IO as files need to be transferred over the network,
  5. possibly multiple times.
  6. This change introduces the <finalcopy> tag to the log which the frontend
  7. reads in a new "default" filter called FilterCopyFile. Thus the python
  8. frontend does the copying rather than the cluster build engine.
  9. This happens at the end of each invocation of the build engine or "stage".
  10. Since resources are built in their own stage, the copying is completed
  11. before build tasks in the other stages require them. The copied files
  12. are not needed in the resource stage itself.
  13. The filter uses <progress:end ...> tags to determine when a stage
  14. is finished and this requires that the timing feature be switched on
  15. permanently.
  16. The format of the tag is:
  17. <finalcopy source="sourcefilename">dest_filename1 dest_filename2 ...</finalcopy>
  18. Spaces may not be used in filenames. The sequence "%20" may be used
  19. instead.