Structured flowcharts for multiprocessing

https://doi.org/10.1016/0096-0551(78)90040-1Get rights and content

Abstract

We present a flowchart language for parallel processing: in addition to the “standard” components, our flowcharts contain fork, join and synchronizing nodes. Extending the work of Mills, we suggest restrictions on controlling computation flow and show that any proper program can be algorithmically transformed to an equivalent structured program.

References (26)

  • E.A. Ashcroft

    Proving assertions about parallel programs

    J. Comput. Syst. Sci.

    (1975)
  • S.R. Kosaraju

    Analysis of structured programs

    J. Comput. Syst. Sci.

    (1974)
  • B.S. Baker

    An algorithm for structuring flowgraphs

    J. Assoc. Comput. Mach.

    (1977)
  • J. Bruno et al.

    The expression of algorithms by charts

    J. Assoc. Comput. Mach.

    (1972)
  • O.H. Dahl et al.

    Structured Programming

    (1972)
  • S. R. Kosaraju. On structuring flowcharts. Proc. 8th Ann. Assoc. Comput. Mach. Symp. on Theory of Computation. pp....
  • H.D. Mills

    The new math of computer programming

    Comm. Assoc. Comput. Mach.

    (1975)
  • Arvind et al.

    A computer capable of exchanging processors for time

  • Arvind et al.

    Indeterminacy, monitors and dataflow

  • J.L. Baer et al.

    Legality and other properties of graph models of parallel computations

    J. Assoc. Comput. Mach.

    (1970)
  • A.T. Cohen

    A unified treatment of graph theoretic models for parallel computation

  • E.W. Dijkstra

    Cooperating sequential processes

  • J.R. Jump et al.

    On the interconnection of asynchronous control structures

    J. Assoc. Comput. Mach.

    (1975)
  • Cited by (4)

    • Reducibility of synchronization structures

      1985, Theoretical Computer Science
    • Software Design Representation Using Abstract Process Networks

      1980, IEEE Transactions on Software Engineering
    • On Folk Theorems

      1980, Communications of the ACM

    Partially supported by NSF grant MCS 77-04834.

    View full text