Crystal: from functional description to efficient parallel code

Authors:
M. Chen;Y. Choo;J. Li
Affiliations:
Department of Computer Science, Yale University, New Haven, CT;Department of Computer Science, Yale University, New Haven, CT;Department of Computer Science, Yale University, New Haven, CT
Venue:
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Year:
1988

Citing 10
Cited 1

Advanced compiler optimizations for supercomputers

Communications of the ACM - Special issue on parallelism
The warp computer: Architecture, implementation, and performance

IEEE Transactions on Computers
The architecture and programming of the Ametek series 2010 multicomputer

C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
iPSC/2 system: a second generation hypercube

C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Program Improvement by Source-to-Source Transformation

Journal of the ACM (JACM)
A Survey of Parallel Machine Organization and Programming

ACM Computing Surveys (CSUR)
Parallel processing: a smart compiler and a dumb machine

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A parallel language and its compilation to multiprocessor machines or VLSI

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A programming language

A programming language

Scheduling reductions

ICS '94 Proceedings of the 8th international conference on Supercomputing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes how Crystal—a language based on familiar mathematical notation and the lambda calculus—addresses the issues of programmability and performance for parallel machines. What is new about Crystal (or how it is different from existing functional languages) lies in its model of parallel computation and a theory of parallel-program optimization based upon the model. We illustrate the power of our approach with benchmarks of compiled parallel code from the Crystal source. The target machines are hypercube multiprocessors with distributed memory, on which it is considered difficult for functional programs and parallelizing compilers to achieve high efficiency.