Skip to main content
SpringerLink
Log in
Book cover

International Conference on Parallel Processing

CONPAR 1981: Conpar 81 pp 464–479Cite as

Design and development of concurrent programs

  • Parallelism Of Numerical Algorithms
  • Conference paper
  • First Online:

  • 107 Accesses

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

Abstract

We are interested with design and development of concurrent programs: these programs are constituted by a set of sequential processes which communicate information during their computation generally in an asynchronous way. Thus we obtain a maximal independence between these processes. Such a philosophy is applicable to numerical or non-numerical algorithms.

We present in section 1 a method for analysing problems and designing a set of cooperating processes by three steps:

  • -design of a statement constituted by a set of madules

  • -definition of a data-dependency graph

  • -specification of communications between modules.

Section 2 proposes a numerical example to illustrate previous concepts. In section 3 we show how to express such algorithms by a concurrent program. In particular we define:

  • -process structures

  • -communication types which realize specified exchanges of data between processes.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. BAUDET Asynchronous iterative methods for multiprocessors. Rapport Carnegie Mellon University — PITTSBURGH 1976.

    Google Scholar 

  2. P. BRINCH HANSEN The programming language concurrent Pascal. IEEE Software Engineering — 1975.

    Google Scholar 

  3. CHAZAN, MIRANKER W. Chaotic relaxation. Linear Algebra and its applications 2, 1969.

    Google Scholar 

  4. CHARNAY, MUSY, ROBERT Iterations chaotiques série parallèle pour des équa tions non linéaires de point fixe. Aplikace Matematiky — 1975.

    Google Scholar 

  5. J.A. FELDMANN High Level programming for distributed computing. Com. ACM — 1979.

    Google Scholar 

  6. J.V. GUTTAG, HORNING The algebraic specification of abstract data types. Acta informatica 10, 27–52 — 1978.

    Article  MathSciNet  Google Scholar 

  7. C.A.C. HOARE Communicating Sequential Processes. Com. ACM — 1978.

    Google Scholar 

  8. J.D. ICHBIAH Reference manual for the Geen Programming Language. Publication CII — HC — 1979.

    Google Scholar 

  9. J. JULLIAND Communications asynchrones entre processus. Ecole d'été d'informatique de l'AFCET, AIX-EN-PROVENCE — 1980.

    Google Scholar 

  10. J. JULLIAND Les communications entre processus d'un programme parallèle. Publication CRIN 80-R-026 — 1980.

    Google Scholar 

  11. J.C. MIELLOU Algorithmes de relaxation chaotique à retards. RAIRO — analyse numérique — R-1 — 1975.

    Google Scholar 

  12. G.R. PERRIN Le cadencement par les données: une méthode de conception de programmes. Congrès AFCET informatique, NANCY 1980.

    Google Scholar 

  13. G.R. PERRIN Conception, écriture et vérification de programmes parallèles. RAIRO Informatique — à paraître 1981.

    Google Scholar 

  14. G. ROUCAIROL Contribution à L'étude des équivalences syntaxiques et transformation de programmes parallèles. Thèse. Université de PARIS VI — 1978.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Franche-Comté, Besancon

    J. Julliand

  2. Université de METZ, France

    G. R. Perrin

Authors
  1. J. Julliand
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. R. Perrin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

W. Brauer P. Brinch Hansen D. Gries C. Moler G. Seegmüller J. Stoer N. Wirth Wolfgang Händler

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Julliand, J., Perrin, G.R. (1981). Design and development of concurrent programs. In: Brauer, W., et al. Conpar 81. CONPAR 1981. Lecture Notes in Computer Science, vol 111. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0105138

Download citation

  • DOI: https://doi.org/10.1007/BFb0105138

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-38715-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation