Advertisement

Optimizing Sisal programs: A formal approach

  • I. Attali
  • D. Caromel
  • R. Guider
  • A. L. Wendelborn
Workshop 01 Programming Environment and Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1123)

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.

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    “Parallel and Distributed Technology — Systems and Applications”, Agha G. editor, 3 (4), 1995.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    Attali I., Caromel D. and Wendelborn A. “A Formal Semantics and an Interactive Environment for Sisal”, pp 231–258, in [18].Google Scholar
  4. 4.
    Bertot Y. and Fraer R. “Reasoning with Executable Specifications”, Proc. of TAP-SOFT, LNCS 915, Aarhus, Denmark, 1995.Google Scholar
  5. 5.
    Böhm A. P. W., Cann D.C., Feo J.T., Oldehoeft R.R., “Sisal Reference Manual (language version 2.0)” Draft Report, 1992.Google Scholar
  6. 6.
    Borras P. et al., “CENTAUR: the system”, Third Annual Symposium on Software Development Environments, Boston, 1988.Google Scholar
  7. 7.
    Despeyroux T. “Typol: a formalism to implement Natural Semantics” INRIA research report 94, 1988.Google Scholar
  8. 8.
    Detert U. and Gerndt M., “TOP 2 — Tool Suite for the Development and Testing of Parallel Applications”, CONPAR'94, Linz, Austria, LNCS 854, 1994.Google Scholar
  9. 9.
    Proceedings of the Second Workshop on Environments and Tools for Parallel Scientific Computing, Dongarra J.J. & Tourancheau B. eds, SIAM, Townsend, 1994.Google Scholar
  10. 10.
    Feo J.T., Cann D.C., Oldehoeft R.R., “A Report on the Sisal Language Project” Journal of Parallel and Distributed Computing, 1990.Google Scholar
  11. 11.
    Kahn G. “Natural Semantics”, Proc. of STACS, Passau, Germany, LNCS 247, 1987.Google Scholar
  12. 12.
    Le Hors A., “Graph: A Directed Graph Displaying Server”, in GIPE 2 ESPRIT project, 4th Review Report, Workpackage 4, 1992.Google Scholar
  13. 13.
    Maslov V., “Lazy Array Data-Flow Dependence Analysis” Proc. 21st ACM SIG-PLAN-SIGACT POPL, Portland, Oregon, 1994.Google Scholar
  14. 14.
    Skedzielewski S. and Glauert J. “IF1 — An intermediate form for applicative languages” Manual M-170, Lawrence Livermore National Laboratory, Livermore, 1985.Google Scholar
  15. 15.
    Skedzielewski S. and Welcome M. “Data-flow graph optimization in IF1” Proc. of FPCA'85, LNCS 201, 1985.Google Scholar
  16. 16.
    “Programming Languages for Parallel Processing”, Skillicorn D. B. & Talia D. eds, IEEE Computer Society Press, 1995.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    “Tools and Environments for Parallel and Distributed Systems”, Zaky A. & Lewis T. eds, Kluwer Academic Publishers, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • I. Attali
    • 1
  • D. Caromel
    • 1
  • R. Guider
    • 1
  • A. L. Wendelborn
    • 2
  1. 1.INRIA Sophia AntipolisCNRS - I3S - Univ. Nice Sophia AntipolisSophia Antipolis CedexFrance
  2. 2.Dept. Computer ScienceUniversity of AdelaideAustralia

Personalised recommendations