Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

Technical Report TR726:
The Semantics of ParalleX, v1.0

Matteo Cimini, Jeremy G. Siek, and Thomas Sterling
(May 2016), 34 pages
Abstract:
This document provides a mathematically precise definition of the ParalleX execution model for large-scale parallel computing systems. The definition takes the form of an operational semantics. As such, the definition a) specifies the structure of an executing ParalleX system, that is a snapshot of the system (aka. state of the system), and b) provides a set of rules that determines the transition of one snapshot to another snapshot. The transition rules typically involve the parts of the ParalleX system devoted to control, e.g., program counters and analogous constructs.

Available as: