DocumentCode
3320554
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
fYear
2013
fDate
16-18 Dec. 2013
Firstpage
29
Lastpage
35
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2013 International Conference on
Conference_Location
Taipei
Print_ISBN
978-1-4799-2418-9
Type
conf
DOI
10.1109/PDCAT.2013.12
Filename
6904229
Link To Document