Title :
Nested Atomic Sections with Thread Escape: An Operational Semantics
Author :
Dabrowski, Frederic ; Loulergue, Frederic ; Pinsard, Thomas
Author_Institution :
ENSI de Bourges, Univ. Orleans, Orleans, France
Abstract :
We consider a simple imperative language with fork/join parallelism and lexically scoped nested atomic sections from which threads can escape. In this context, our contribution is a formal operational semantics of this language that satisfies a specification on execution traces designed in a companion paper.
Keywords :
formal specification; programming language semantics; AFJ language; Atomic Fork Join; execution trace specification; fork-join parallelism; formal operational semantics; imperative language; lexically scoped nested atomic sections; thread escape; Context; Grammar; Instruction sets; Parallel processing; Semantics; Synchronization; Syntactics; atomic section; formal methods; operational semantics; programming language;
Conference_Titel :
Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2013 International Conference on
Conference_Location :
Taipei
Print_ISBN :
978-1-4799-2418-9
DOI :
10.1109/PDCAT.2013.12
