Skip to Main Content
Theory of Structured Parallel Programming
book

Theory of Structured Parallel Programming

by Yong Wang
April 2024
Intermediate to advanced content levelIntermediate to advanced
200 pages
3h 56m
English
Morgan Kaufmann
Content preview from Theory of Structured Parallel Programming

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 ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Geometry for Programmers

Geometry for Programmers

Oleksandr Kaleniuk
The Mathematics of Machine Learning

The Mathematics of Machine Learning

Maria Han Veiga, François Gaston Ged

Publisher Resources

ISBN: 9780443248153