Abstract
Large-scale distributed memory multiprocessors have become commercially available and have proved to be a low-cost alternative to supercomputers for many scientific computations. The programming, and debugging, of such systems remains, however, a difficult and tedious task. Single-assignment and applicative languages have proved to be a serious alternative to imperative languages for the programming of parallel computer systems. They offer the advantage of a high level of programmability and eliminate the problem of detecting parallelism. Their functional property allows an asynchronous parallel execution that does not compromise the correctness of the computation. This paper describes the implementation of a single-assignment language, SISAL, on a distributed memory multiprocessor.
This material is based upon work supported in part by the Defense Advanced Research Project Agency via NASA Cooperative Agreement No. NCC 2-539 and by the U.S. Department of Energy, Office of Energy Research under Grant No. DE-FG03-87ER25043.
Preview
Unable to display preview. Download preview PDF.
References
J.L. Gustafson, G.R. Monty, and R.E. Benner. Development of parallel methods for a 1024-processor hypercube. SIAM Journal of Scientific and Statistical Computing, 9(4), July 1988.
J. Backus. Can programming be liberated from the von Neuman style? Communications of the ACM, 21(8):613–641, 1978.
W.J. Dally and C.L. Seitz. Deadlock-free message routing in multiprocessor interconnection networks. IEEE Transactions on Computers, 36(5):547–553, May 1987.
C.L. Seitz, K. Seizovic, and W-K. Su. The c programmer's guide to multicomputer programming. Technical Report CS-TR:88-1, Computer Science Dept., Caltech, January 1988.
W.C. Athas and C.L. Seitz. Multicomputers: Message-passing concurrent computers. IEEE Computer, pages 9–24, August 1988.
James McGraw, Stephen Skedzielewski, Stephen Allan, Rod Oldehoeft, John Glauert, Chris Kirkham, Bill Noyce, and Robert Thomas. SISAL: Streams and iteration in a single assignment language: Reference manual version 1.2. Manual M-146, Rev. 1, Lawrence Livermore National Laboratory, Livermore, CA, March 1985.
Stephen Skedzielewski and John Glauert. IF1—an intermediate form for applicative languages. Manual M-170, Lawrence Livermore National Laboratory, Livermore, CA, July 1985.
J-L. Gaudiot. Structure handling in data-flow systems. IEEE Transactions on Computers, C-35(6):489–502, June 1986.
R. R. Oldehoeft, D. C. Cann, and S. J. Allan. SISAL: Initial MIMD performance results. In Proceedings of the 1986 Conference on Algorithms and Hardware for Parallel Processing, pages 120–127, Aachen, Federal Republic of Germany, September 1986. Springer-Verlag.
R.R. Oldehoeft and D.C. Cann. Applicative parallelism on a shared-memory multiprocessor. IEEE Software, January 1988.
J.R. Gurd, C.C. Kirkhan, and I. Watson. The Manchester prototype dataflow computer. Communications of the ACM, 28(1):34–52, January 1985.
J-L. Gaudiot and L-T. Lee. OCCAMFLOW: A methodology for programming multiprocessor systems. Journal of Parallel and Distributed Computing, 1988.
T. Gross and A.Sussman. Mapping a single-assignment language onto the Warp systolic array. In G. Kahn, editor, Functional Programming Languages and Computer Architecture, September 1987.
D. Gannon and J. Van Rosendale. On the structure of parallelism in a highly concurrent PDE solver. Journal of Parallel and Distributed Computing, 3:106–135, 1986.
W. Najjar and J-L. Gaudiot. A hierarchical data-driven model for multigrid problem solvers. In E. Gelembe, editor, High Performance Computer Systems, pages 67–80. North-Holland, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Evripidou, P., Najjar, W., Gaudiot, JL. (1989). A single-assignment language in a distributed memory multiprocessor. In: Odijk, E., Rem, M., Syre, JC. (eds) PARLE '89 Parallel Architectures and Languages Europe. PARLE 1989. Lecture Notes in Computer Science, vol 366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51285-3_48
Download citation
DOI: https://doi.org/10.1007/3-540-51285-3_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51285-1
Online ISBN: 978-3-540-46184-5
eBook Packages: Springer Book Archive