Skip to main content
SpringerLink
Log in

Semantics and compilation of the data-parallel switch statement

  • Conference paper
  • First Online:
Parallel Processing: CONPAR 92—VAPP V (VAPP 1992, CONPAR 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 634))

  • 132 Accesses

Abstract

We study the semantics and the compilation of the data-parallel extension of the C switch statement, as found in the MPL and POMPC dataparallel extensions of C. We first present a small language which embodies the main concepts of the data-parallel programming model, together with its formal operational semantics. We give an implementation of the parallel switch statement in this language. Then, we describe an optimized compilation method used in the POMPC compiler, and give a formal correctness proof for this optimization. The case of the MPL compiler is then discussed.

This work has been supported by the French CNRS Coordinated Research Program on Parallelism C3 and the French Department of Defense DRET contract N∘ 91/1180.

This article was processed using the LaTEX macro package with LLNCS style

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Blank T. The MasPar MP-1 Architecture. Proc. of the 35th IEEE Computer Society Int. Conf. (Spring Compcon 90), San Fransisco, 1990, pp. 20–24.

    Google Scholar 

  2. Bougé L. On the semantics of languages for massively parallel SIMD architectures. Proc. Parallel Arch, and Lang. Europe Conf. (PARLE), Eindhoven, Lect. Notes in Comp. Science 506, Springer Verlag, 1991, pp. 166–183.

    Google Scholar 

  3. Bougé L., Garda P. Towards a Semantic Approach to SIMD Architectures and their Languages. Proc. LITP Spring School on Theor. Comp. Science, La Roche Posay, France, 1990, Lect. Notes in Comp. Science 469, Springer Verlag, pp. 142–175.

    Google Scholar 

  4. Bougé L., Levaire J-L. Control structures for data-parallel SIMD languages: semantics and implementation. To appear in Fut. Gen. Comp. Sys., Volume 8, Issue 3 and 4, Elsevier Science Publishers, 1992.

    Google Scholar 

  5. C* Programming Guide. Thinking Machine Corporation, 1990.

    Google Scholar 

  6. Hoogvorst P., Keryell R., Matherat P., Paris N. POMP or how to design a massively parallel machine with small developments. Proc. Parallel Arch. and Lang. Europe Conf. (PARLE), Lect. Notes in Comp. Science 505, Springer Verlag, 1991, pp. 83–100.

    Google Scholar 

  7. MasPar Parallel Application Language Reference Manual. MasPar Computer Corporation, 1990.

    Google Scholar 

  8. Paris N.. Définition de POMPC. Research Report 92-5, LIENS, Ecole Normale Supérieure, Paris, 1992.

    Google Scholar 

  9. Plotkin G. An operational semantics for CSP. D. Bjorner (Ed.), IFIP TC-2 Working Conference, Garmish-Partenkirchen, RFA, 1982.

    Google Scholar 

  10. Rice M.D., Seidman S.B., Wang P.Y. A formal model for SIMD computation. Frontiers of massively parallel computation, IEEE computer Society Press, 1988.

    Google Scholar 

  11. The MultiC programming language. Wavetracer, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIP, ENS Lyon, 46 Allée d'Italie, F-69364, Lyon Cedex 07, France

    Jean-Luc Levaire

Authors
  1. Jean-Luc Levaire
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Luc Bougé Michel Cosnard Yves Robert Denis Trystram

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Levaire, JL. (1992). Semantics and compilation of the data-parallel switch statement. In: Bougé, L., Cosnard, M., Robert, Y., Trystram, D. (eds) Parallel Processing: CONPAR 92—VAPP V. VAPP CONPAR 1992 1992. Lecture Notes in Computer Science, vol 634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55895-0_447

Download citation

  • DOI: https://doi.org/10.1007/3-540-55895-0_447

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55895-8

  • Online ISBN: 978-3-540-47306-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation