Nested atomic sections with thread escape: Compilation to threads and locks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Nested atomic sections with thread escape: Compilation to threads and locks

Abstract

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 inside a section makes these languages also more expressive. In this paper we address the compilation of such a language towards a language with threads and locks. The design decisions of this compilation pass and of the target language were made with respect to the ultimate goal of a mechanised proof of semantic preservation.
No file

Dates and versions

hal-01105093 , version 1 (19-01-2015)

Identifiers

  • HAL Id : hal-01105093 , version 1

Cite

Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. Nested atomic sections with thread escape: Compilation to threads and locks. ACM Symposium on Applied Computing (SAC), Apr 2015, Salamanca, Spain. ⟨hal-01105093⟩
217 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More