A: A parallel programming language
In this appendix, we design a detailed parallel programming language, abbreviated PPL. PPL includes the four basic structures: sequence, choice, iteration, and parallelism, and also non-determinism, communications (causalities between different parallel branches), and conflictions between different parallel branches. Note that, for the integrity, the semantics of traditional parts are also involved.
In Section A.1, we give the syntax of PPL. We give the operational semantics and denotational semantics in Sections A.2 and A.3, and the relation between them in Section A.4, we give the axiomatic semantics in Section A.5. We discuss non-determinism in Section A.6, communications in Section A.7, and conflictions in ...
Get Theory of Structured Parallel Programming now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
