ACM Home Page
Please provide us with feedback. Feedback
Advanced compiler optimizations for supercomputers
Full text PdfPdf (1.57 MB)
Source
Communications of the ACM archive
Volume 29 ,  Issue 12  (December 1986) table of contents
Special issue on parallelism
Pages: 1184 - 1201  
Year of Publication: 1986
ISSN:0001-0782
Authors
David A. Padua  Univ. of Illinois at Urbana-Champaign, Urbana
Michael J. Wolfe  Univ. of Illinois at Urbana-Champaign, Urbana and Kuck and Associates, Savoy, IL
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 17,   Downloads (12 Months): 206,   Citation Count: 164
Additional Information:

abstract   references   cited by   index terms   review   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/7902.7904
What is a DOI?

ABSTRACT

Compilers for vector or multiprocessor computers must have certain optimization features to successfully generate parallel code.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
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
 
3
Allen, F.E.. and Cocke, J. A catalogue of optimizing transformations. In Design and Opfimizatim of Compilers, R. Rustin, Ed. Prentice-Hall, Englewood Cliffs, N.J., 1972. pp. l-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 1. 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
 
7
American National Standards Institute American National Standard for Iuformation Systems. Programming Language Fortran.SB (X3.9-198x}. Revision of X3.9-1978. Draft S8, Version 99. American National Standards Institute. New York, Apr. 1986.
 
8
 
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. Compuf. 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
 
13
Burroughs Corp. Numerical Aerodynamic Simulation Facility Feasibility Study. Burroughs Corp., Paoli, Pa., Mar. 1979.
14
 
15
Chen. SC. Large-scale and high-speed multiprocessor system for scientific applications: Cray X-MP Series. In High-Speed Computation, NATO AS1 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 Procecdiqs of fhe 1986 International Conference cm Parallel Processing (St. Charles. 111.. Aug. 19-22). IEEE Press, New York, 1986. pp. 836- 644.
 
17
Davies, I.. 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 Proceedirrgs of the 1986 I~rfernatiorral Corrferencc 011 Parallel Processi?lg (St. Charles, Ill.. Aug. 19-22). IEEE Press, New York, 1986. pp. 833-835.
 
18
Davies, I.. 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 Infernafional Conference DII Parallel Processiq (St. Charles, 111.. Aug. 19-22). IEEE Press, New York. 1986. pp. 827-832.
 
19
Davies, J.R. Parallel loop constructs for multiprocessors. MS. thesis, Rep. 81-1070. Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, May 1981.
 
20
Dongarra. 1.1.. and Hinds, A. Comparison of the Cray X-MP-4. Fujitsu VP-ZOO. and Hitachi S-810/20: An Argonne perspective. Rep. ANL-85-19. Argonne National Laboratory, Argonne, Ill., 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. 1966.
 
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 Irrfernafiotd Conference on Pnrallel Processing (St. Charles, Ill.. Aug. 19-22). IEEE Press, New York, 1986. pp. 703-710.
 
24
Huson. CA. An in-line subroutine expander for parafrase. MS. 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. 369-394. pp. 369-394.
26
 
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. 1964. pp. 236-240.
 
28
Kuck. 0.1. Parallel processing of ordinary programs. In Advances in Computers. vol. 15. M. Rubinoff and MC. Yovits, Eds. Academic Press, New York, 1976. pp. 119-179.
29
 
30
Kuck, D.J.. and Stokes, R.A. The Burroughs scientific processor (BSP). Special Issue on Supersystems, IEEE Trans. Comput. C-31, 5 (May 7962).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.}., Kuhn. R.H., Leasure, B.. and Wolfe, M. The structure of an advanced retargetable vectorizer. In Tuforial on Supercomputers: Designs and Applications, K. Hwang, Ed. IEEE Press, New York, 1984, pp. 163-178.
33
 
34
Kuck, 0.1.. Sameh. A.H., Cytron, R., Veidenbaum, A.V., Polychronopoulos. CD.. 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 lnternationnl Conference on Parallel Processing, R.M. Keller, Ed. IEEE Press, New York, Aug. 1984, pp. 129-138.
35
 
36
Lundstrom. SF.. Barnes, G.H. A controllable MIMD architecture. In Proceedings of rhe 1980 Infernational Conference on Parallel Processing (BeIIaire, 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 fhe 1986 Inlernaliomzl Conference on Parallel Processirlg (St. Charles, Ill., Aug. 19-22). IEEE Press, New York. 1986.
 
39
Miura, K.. and Uchida. K. Facom vector processor VP-loo/VP-200. In HighSpeed Computafiotl. NATO AS1 Series, vol. F7, IS. 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 fhe IEEE International Conference on Computer Design: VLSI irr Compulers. ICCD 84. (Port Chester. N.Y., Oct. 8-11). IEEE Press. New York, 1984. pp. 238-243.
 
41
 
42
 
43
Padua, D.A., Kuck. D.J., and Lawrie, D.H. High-speed multiprocessors and compilation techniques. IEEE Trans. Compur. C-29, 9 (Sepl. 1980). 763-776.
 
44
45
 
46
 
47
Tang, P.. and Yew, P. Processor self-scheduling for multiple-nested parallel loops. In Proceedings of the 1986 Infernational Conference on Parallel Processiug (St. Charles, Ill., Aug. 19-22). IEEE Press, New York, 1986. pp. 528-535.
 
48
49
 
50
51
 
52
 
53
Yasumura. M., Tanaka, Y.. Kanada, Y., and Aoyama, A. Compiling algorithms and techniques for the S-810 vector processor. In Proceedings of rhe 1984 lrltenmtiomd Conference on Parallel Processing, R.M. Keller, Ed. IEEE Press, New York, Aug. 1984, pp. 285-290.

CITED BY  164


REVIEW

"Edgar M. Pass : Reviewer"

The authors survey the problems associated with the analysis of algorithms, stated in FORTRAN, designed for highly parallel supercomputers. Their goal is to explain the types of compiler optimizations that are currently in use on some of these F  more...

Collaborative Colleagues:
David A. Padua: colleagues
Michael J. Wolfe: colleagues