Skip to main content

Sequentialisierung von Parallelen Prozessen

  • Conference paper
Programmiersprachen und Programmentwicklung

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 25))

  • 37 Accesses

Zusammenfassung

Für die Transformation von parallelen Prozessen in ein sequentielles Programm (Sequentialisierung) war bisher kein systematisches oder algorithmisches Verfahren bekannt. Diese Arbeit gibt eine Reihe von Transformationsregeln an, die sich sowohl zur manuellen als auch automatischen Transformation eignen. Die automatische Umsetzung in ein sequentielles Programm vermeidet sowohl unnötigen Aufwand bei der Problemlösung als auch den erheblichen Verwaltungsaufwand, den die Einrichtung und Kommunikation von parallelen Prozessen erfordern würde.

Abstract

For the transformation of parallel processes into sequential programs no systematic or algorithmic method was known until now. This paper presents a set of transformation rules which can be used for manual or automatic transformation. The automatic transformation avoids unnecessary overhead during the process of problem solving as well as the considerable management overhead by the creation of parallel processes and their communication.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Brinch Hansen, P.: The programming language Concurrent Pascal IEEE Trans, Software Eng.1, 2 (June 1975)

    Google Scholar 

  2. Brinch Hansen, P.: Operating System Principles Prentice-Hall, Englewood Cliffs, N.J., 1973

    MATH  Google Scholar 

  3. Dijkstra, E.W.: Co-operating sequential processes In: Programming Languages, F. Genuys, Ed. Academic Press, New York, 1968

    Google Scholar 

  4. Dijkstra, E.W.: The Structure of the “THE”-Multiprogramming System CACM 11, 5 (Mai 1968)

    Google Scholar 

  5. Dijkstra, E.W.: Guarded commands, nondeterminacy, and formal derivation of programs CACM 18, 8 (August 1975)

    MathSciNet  Google Scholar 

  6. Hoare, C.A.R.: Monitors: An Operating System Structuring Concept CACM 17, 10 (Oktober 1974)

    Google Scholar 

  7. Hoare, C.A.R.: Communicating Sequential Processes CACM 21, 8 (August 1978)

    Google Scholar 

  8. Jackson, M.A.: Principles of Program Design Academic Press, London, 1975

    Google Scholar 

  9. Jammel, A., H. Stiegler Managers versus Monitors Proceedings IFIP Conference Toronto, 1977

    Google Scholar 

  10. Preliminary ADA reference manual SIGPLAN Notices 14, 6 Part A (June 1979)

    Google Scholar 

  11. Rationale for the Design of the ADA programming language SIGPLAN Notices 14, 6 Part B (June 1979)

    Google Scholar 

  12. Schauer, J.: Über Sequentialisierung paralleler Prozesse Interner Bericht 13/79 Universitit Karlsruhe, August 1979

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Schauer, J. (1980). Sequentialisierung von Parallelen Prozessen. In: Hoffmann, HJ. (eds) Programmiersprachen und Programmentwicklung. Informatik-Fachberichte, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67600-0_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-67600-0_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09937-6

  • Online ISBN: 978-3-642-67600-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics