Advanced compiler optimizations for supercomputers

Communications of the ACM

Volumn 29, Issue 12, 1986, Pages 1184-1201

  Padua, David A ^a   Wolfe, Michael J ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS - PROGRAM COMPILERS; COMPUTER SYSTEMS, DIGITAL; OPTIMIZATION;

MULTIPROCESSORS; SUPERCOMPUTERS; VECTOR COMPUTERS;

COMPUTER PROGRAMMING;

EID: 0022874874     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/7902.7904     Document Type: Article

References (53)

1. Abu-Sufah, W., Kuck. D.J., and Lawrie. D.H. On the performance enhancement of paging systems through program analysis and transformations. IEEE Trans. Comput. C-30, 5 (May 1981), 341–356.
2. Aho, A.V., Sethi, R., and Ullman, J.D. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Mass., 1986.
3. Allen, F.E., and Cocke, J. A catalogue of optimizing transformations. In Design and Optimization of Compilers, R. Rustin, Ed. Prentice-Hall, Englewood Cliffs, N.J., 1972, pp. 1–30.
4. Allen, F.E., Carter, J.L., Fabri, J., Ferrante, J., Harrison, W.H., Loewner, P.G., and Trevillyan, L.H. The experimental compiling system. IBM J. Res. Dev. 24, 6 (Nov. 1980), 695–715.
5. Allen, J.R., and Kennedy, K. PFC: A program to convert Fortran to parallel form. Rep. MASC-TR82-6, Rice Univ., Houston, Tex., Mar. 1982.
6. Allen. J.R., and Kennedy, K. Automatic loop interchange. In Proceedings of the ACM SIGPLAN 84 Symposium on Compiler Construction (Montreal, June 17–22). ACM, New York, 1984, pp. 233–246.
7. American National Standards Institute American National Standard for Information Systems. Programming Language Fortran.S8 (X3.9-198x). Revision of X3.9-1978. Draft S8, Version 99. American National Standards Institute, New York, Apr. 1986.
8. Banerjee, U. Speedup of ordinary programs. Ph.D. thesis, Rep. 79–989, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, Oct. 1979.
9. Banerjee, U. Direct parallelization of call statements—A review. Rep. 576, Center for Supercomputing Research and Development, Univ. of Illinois at Urbana-Champaign, Nov. 1985.
10. Banerjee, U., Chen, S.C., Kuck, D.J., and Towle, R.A. Time and parallel processor bounds for Fortran-like loops. IEEE Trans. Comput. C-28, 9 (Sept. 1979), 660–670.
11. Brode, B. Precompilation of Fortran programs to facilitate array processing. Computer 14, 9 (Sept. 1981), 46–51.
12. Burke, M., and Cytron, R. Interprocedural dependence analysis and parallelization. Proceedings of the SIGPLAN 86 Symposium on Compiler Construction, SIGPLAN Not. 21, 7 (July 1986), 162–175.
13. Burroughs Corp. Numerical Aerodynamic Simulation facility Feasibility Study. Burroughs Corp., Paoli, Pa., Mar. 1979.
14. Callahan, D., Cooper, K.D., Kennedy, K., and Torczon, L. Interprocedural constant propagation. In Proceedings of the SIGPLAN 86 Symposium on Compiler Construction, SIGPLAN Not. 21, 7 (July 1986), 152–161.
15. Chen, S.C. Large-scale and high-speed multiprocessor system for scientific applications: Cray X-MP Series. In High-Speed Computation, NATO ASI Series, vol. F7, J.S. Kowalik, Ed. Springer-Verlag, New York, 1984, pp. 59–67.
16. Cytron, R.G. Doacross: Beyond vectorization for multiprocessors. In Proceedings of the 1986 International Conference on Parallel Processing (St. Charles, 111., Aug. 19–22). IEEE Press, New York, 1986, pp. 836– 844.
17. Davies, J. Huson, C. Macke. T., Leasure, B., and Wolfe, M. The KAP/S-1: An advanced source-to-source vectorizer for the S-l Mark IIa supercomputer. In Proceedings of the 1986 International Conference on Parallel Processing (St. Charles, 111., Aug. 19–22). IEEE Press, New York, 1986, pp. 833–835.
18. Davies, J., Huson, C., Macke, T., Leasure, B., and Wolfe. M. The KAP/205: An advanced source-to-source vectorizer for the Cyber 205 supercomputer. In Proceedings of the 1986 International Conference on Parallel Processing (St. Charles, 111., Aug. 19–22). IEEE Press, New York. 1986, pp. 827–832.
19. Davies, J.R. Parallel loop constructs for multiprocessors. M.S. thesis, Rep. 81-1070. Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, May 1981.
20. Dongarra. J.J., and Hinds, A. Comparison of the Cray X-MP-4, Fujitsu VP-200, and Hitachi S-810/20: An Argonne perspective. Rep. ANL-85-19, Argonne National Laboratory, Argonne, III, Oct. 1985.
21. Guzzi, M.D. Cedar Fortran Reference Manual. Rep. 601, Center for Supercomputing Research and Development, Univ. of Illinois at Urbana-Champaign, Nov. 1986.
22. Harrison, W.L. Compiling LISP for evaluation on a tightly coupled multiprocessor. Rep. 565. Center for Supercomputing Research and Development, University of Illinois at Urbana-Champaign, Mar. 1986.
23. Harrison. W.L., and Padua, D.A. Representing S-expressions for the efficient evaluation of Lisp on parallel processors. In Proceedings of the 1986 International Conference on Parallel Processing (St. Charles, 111., Aug. 19–22). IEEE Press, New York, 1986, pp. 703–710.
24. Huson, C.A. An in-line subroutine expander for parafrase. M.S. thesis, Rep. 82-1118, Dept. of Computer Science. Univ. of Illinois at Urbana-Champaign, Dec. 1982.
25. Kamiya, S., Isobe, F., Takashima, H., and Takiuchi, M. Practical vectorization techniques for the Facom VP. In Information Processing 83, R.E.A. Mason Ed. Elsevier North-Holland, New York, 1983, pp. 389–394.
26. Kildall, G.A. A unified approach to global program optimization. In Conference Record of the 1st ACM Symposium on Principles of Programming Languages (POPL) (Boston. Mass., Oct. 1-3). ACM, New York, 1973, pp. 194–206
27. Kruskal, C.P., and Weiss, A. Allocating independent subtasks on parallel processors. In Proceedings of the 1984 International Conference on Parallel Processing, R.M. Keller, Ed. IEEE Press, New York, Aug. 1984, pp. 236–240.
28. Kuck, D.J. Parallel processing of ordinary programs. In Advances in Computers, vol. 15, M. Rubinoff and M.C. Yovits, Eds. Academic Press, New York, 1976, pp. 119–179.
29. Kuck, D.J. A survey of parallel machine organization and programming. ACM Comput. Surv. 9, 1 (Mar. 1977), 29–59.
30. Kuck, D.J., and Stokes, R.A. The Burroughs scientific processor (BSP). Special Issue on Supersystems, IEEE Trans. Comput. C-31, 5 (May 1982), 363-376.
31. Kuck, D.J., Davidson, E.S., Lawrie, D.H., and Sameh, A.H. Parallel supercomputing today and the Cedar approach. Science 231, 4740 (Feb. 28, 1986), 967–974.
32. Kuck, D.J., Kuhn, R.H., Leasure, B., and Wolfe, M. The structure of an advanced retargetable vectorizer. In Tutorial on Supercomputers: Designs and Applications, K. Hwang, Ed. IEEE Press, New York, 1984, pp. 163–178.
33. Kuck, D.J., Kuhn, R.H., Padua, D.A., Leasure, B., and Wolfe, M. Dependence graphs and compiler optimizations. In Proceedings of the 8th ACM Symposium on Principles of Programming Languages (POPL) (Williamsburg, Va., Jan. 26–28). 1981, pp. 207–218.
34. Kuck, D.J., Sameh, A.H., Cytron, R., Veidenbaum, A.V., Polychrono-poulos, C.D., Lee, G., McDaniel, T., Leasure, B.R., Beckman, C., Davies, J.R.B., and Kruskal, C.P. The effects of program restructuring, algorithm change, and architecture choice on program performance. In Proceedings of the 1984 International Conference on Parallel Processing, R.M. Keller, Ed. IEEE Press, New York, Aug. 1984, pp. 129–138.
35. Loveman, D.B. Program improvement by source-to-source transformation. J. ACM 24, 1 (Jan. 1977), 121–145.
36. Lundstrom, S.F., Barnes, G.H. A controllable MIMD architecture. In Proceedings of the 1980 International Conference on Parallel Processing (Bellaire, Mich., Aug. 26–29). IEEE Press, New York, 1980, pp. 19–27.
37. Mehrotra, P., and Van Rosendale, J. The Blaze Language: A parallel language for scientific programming. Rep. 85-29, Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, Hampton, Va., May 1985.
38. Midkiff, S.P., and Padua, D.A. Compiler generated synchronization for Do loops. In Proceedings of the 1986 International Conference on Parallel Processing (St. Charles. 111., Aug. 19–22). IEEE Press, New York, 1986.
39. Miura, K., and Uchida, K. Facom vector processor VP-100/VP-200. In High-Speed Computation, NATO ASI Series, vol. F7, J.S. Kowalik, Ed. Springer-Verlag, New York, 1984, pp. 127–138.
40. Nagashima, S., Inagami, Y., Odaka, T., and Kawabe, S. Design consideration for a high-speed vector processor: The Hitachi S-810. In Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers. 1CCD 84. (Port Chester. N.Y., Oct. 8-11). IEEE Press. New York, 1984, pp. 238–243.
41. Ottenstein, K.J. A brief survey of implicit parallelism detection. In MIMD Computation: The HEP Supercomputer and its Applications, J.S. Kowalik. Ed. MIT Press, Cambridge, Mass., 1985.
42. Padua. D.A. Multiprocessors: Discussion of some theoretical and practical problems. Ph.D. thesis, Rep. 79-990, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, Oct. 1979.
43. Padua, D.A., Kuck, D.J., and Lawrie, D.H. High-speed multiprocessors and compilation techniques. IEEE Trans. Comput. C-29, 9 (Sept. 1980), 763–776.
44. Polychronopoulos, C.D. Program restructuring, scheduling, and communication for parallel processor systems. Ph.D. thesis, Rep. 595, Center for Supercomputing Research and Development, Univ. of Illinois at Urbana-Champaign, 1986.
45. Reif, J.H., and Lewis, H.R. Symbolic evaluation and the global value graph. In Conference Record of the 4th Annual ACM Symposium on Principles of Programming Languages [POPL) (Los Angeles, Calif., Jan. 17-19). ACM. New York. 1977, pp. 104–118.
46. Scarborough, R.G., and Kolsky, H.G. A vectorizing Fortran compiler. IBM J. Res. Dev. 30, 2 (Mar. 1986), 163–171.
47. Tang, P., and Yew, P. Processor self-scheduling for multiple-nested parallel loops. In Proceedings of the 1986 International Conference on Parallel Processing (St. Charles, 111., Aug. 19-22). IEEE Press, New York, 1986, pp. 528–535.
48. Thornton, J.E. Design of a Computer: The Control Data 6600. Scott, Foresman and Co., Glenview, 111., 1970.
49. Triolet, R., Irigoin, F., and Feautrier, P. Direct parallelization of call statements. In Proceedings of the SICPLAN 86 Symposium on Compiler Construction, SIGPLAN Not. 21, 7 (July 1986), 176–185.
50. Veidenbaum, A. Program optimization and architecture design issues for high-speed multiprocessors. Ph.D. thesis, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, 1985.
51. Wegman, M., and Zadek, K. Constant propagation with conditional branches. In Conference Record of the 12th Annual ACM Symposium on Principles of Programming Languages (POPL) (New Orleans, La., Jan. 14-16). ACM, New York, 1985, pp. 291–299.
52. Wolfe, M.J. Optimizing supercompilers for supercomputers. Ph.D. thesis, Rep. 82-1105, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, Oct. 1982.
53. Yasumura, M., Tanaka, Y., Kanada, Y., and Aoyama, A. Compiling algorithms and techniques for the S-810 vector processor. In Proceedings of the 1984 International Conference on Parallel Processing, R.M. Keller, Ed. IEEE Press. New York, Aug. 1984, pp. 285–290.