Abstract
We formally describe optimization techniques for the compilation of the language Sisal 2.0. More precisely, we translate Sisal programs into data-flow IF1 graphs and optimize these graphs. An interactive visualization environment for IF1 graphs is also provided.
Chapter PDF
Similar content being viewed by others
Keywords
- Lawrence Livermore National Laboratory
- Redundant Computation
- Abstract Syntax Tree
- Hierarchical Graph
- Common Subexpression
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
“Parallel and Distributed Technology — Systems and Applications”, Agha G. editor, 3 (4), 1995.
Attali I., Caromel D., Ehmety S. O., Lippi S. Semantic-based visualization for parallel object-oriented programming, To appear in OOPSLA'96, ACM Press, Sigplan Notices, San Jose, CA, 1996.
Attali I., Caromel D. and Wendelborn A. “A Formal Semantics and an Interactive Environment for Sisal”, pp 231–258, in [18].
Bertot Y. and Fraer R. “Reasoning with Executable Specifications”, Proc. of TAP-SOFT, LNCS 915, Aarhus, Denmark, 1995.
Böhm A. P. W., Cann D.C., Feo J.T., Oldehoeft R.R., “Sisal Reference Manual (language version 2.0)” Draft Report, 1992.
Borras P. et al., “CENTAUR: the system”, Third Annual Symposium on Software Development Environments, Boston, 1988.
Despeyroux T. “Typol: a formalism to implement Natural Semantics” INRIA research report 94, 1988.
Detert U. and Gerndt M., “TOP 2 — Tool Suite for the Development and Testing of Parallel Applications”, CONPAR'94, Linz, Austria, LNCS 854, 1994.
Proceedings of the Second Workshop on Environments and Tools for Parallel Scientific Computing, Dongarra J.J. & Tourancheau B. eds, SIAM, Townsend, 1994.
Feo J.T., Cann D.C., Oldehoeft R.R., “A Report on the Sisal Language Project” Journal of Parallel and Distributed Computing, 1990.
Kahn G. “Natural Semantics”, Proc. of STACS, Passau, Germany, LNCS 247, 1987.
Le Hors A., “Graph: A Directed Graph Displaying Server”, in GIPE 2 ESPRIT project, 4th Review Report, Workpackage 4, 1992.
Maslov V., “Lazy Array Data-Flow Dependence Analysis” Proc. 21st ACM SIG-PLAN-SIGACT POPL, Portland, Oregon, 1994.
Skedzielewski S. and Glauert J. “IF1 — An intermediate form for applicative languages” Manual M-170, Lawrence Livermore National Laboratory, Livermore, 1985.
Skedzielewski S. and Welcome M. “Data-flow graph optimization in IF1” Proc. of FPCA'85, LNCS 201, 1985.
“Programming Languages for Parallel Processing”, Skillicorn D. B. & Talia D. eds, IEEE Computer Society Press, 1995.
Welcome M.L., Szymanski B.K., Yates R.K., Ranelletti J. E. “An applicative language intermediate form explicit memory management” Manual M-195, Lawrence Livermore National Laboratory, Livermore, 1986.
“Tools and Environments for Parallel and Distributed Systems”, Zaky A. & Lewis T. eds, Kluwer Academic Publishers, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Attali, I., Caromel, D., Guider, R., Wendelborn, A.L. (1996). Optimizing Sisal programs: A formal approach. In: Bougé, L., Fraigniaud, P., Mignotte, A., Robert, Y. (eds) Euro-Par'96 Parallel Processing. Euro-Par 1996. Lecture Notes in Computer Science, vol 1123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61626-8_17
Download citation
DOI: https://doi.org/10.1007/3-540-61626-8_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61626-9
Online ISBN: 978-3-540-70633-5
eBook Packages: Springer Book Archive