The Semantics of ParalleX, v1.0

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.