Nested atomic sections with thread escape: An operational semantics
F Dabrowski, F Loulergue… - … Conference on Parallel …, 2013 - ieeexplore.ieee.org
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 …
nested atomic sections from which threads can escape. In this context, our contribution is a …
Nested atomic sections with thread escape: compilation
F Dabrowski, F Loulergue, T Pinsard - Proceedings of the 30th Annual …, 2015 - dl.acm.org
For the sake of modularity, programming languages with atomic sections should offer
nesting and inner parallelism in such sections. The possible escape of a thread created …
nesting and inner parallelism in such sections. The possible escape of a thread created …