Disjoint Parallel Programs
As we have seen in Chapter 1, concurrent programs can be quite difficult to understand in detail. That is why we introduce and study them in several stages. In this part of the book we will study parallel programs. In this chapter we investigate disjoint parallelism, the simplest form of parallelism. Disjointness means here that the component programs have only reading access to common variables. Many phenomena of parallel programs can already be explained in this setting. In Chapter 6 we study parallelism with shared variables and in Chapter 7 we add synchronization to shared variable parallelism. Disjoint parallelism provides a good preparation for studying these extensions.
KeywordsAuxiliary Variable Parallel Program Proof System Infinite Sequence Parallel Composition
Unable to display preview. Download preview PDF.
- [DJ90]N. Dershowitz and J.-P. Jouannaud. Rewriting systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 243–320, Amsterdam, 1990. Elsevier.Google Scholar
- Hoa72] C.A.R. Hoare. Towards a theory of parallel programming In C.A.R. Hoare and R.H. Perrot, editors, Operating Systems Techniques,pages 61–71. Academic Press, 1972.Google Scholar
- [K1o90]J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, Oxford, 1990. Oxford University Press. To appear.Google Scholar
- [Lam83]L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Proceedings of the IFIP Information Processing 1983, pages 657–668, Amsterdam, 1983. North-Holland.Google Scholar
- [Ros74]B.K. Rosen. Correctness of parallel programs. the Church-Rosser approach. Technical Report IBM Research Report RC 5107, T.J. Watson Research Center, Yorktown Heights (N.Y. ), 1974.Google Scholar
- [SM81]A. Salwicki and T. Müldner. On the algorithmic properties of concurrent programs. In E. Engeler, editor, Proceedings of Logics of Programs,pages 169–197, New York, 1981. Lecture Notes in Computer Science 125, Springer-Verlag.Google Scholar