Nested Atomic Sections with Thread Escape: An Operational Semantics
| Autor: | Thomas Pinsard, Frédéric Loulergue, Frédéric Dabrowski |
|---|---|
| Přispěvatelé: | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Ecole Nationale Supérieure d'Ingénieurs de Bourges-Université d'Orléans (UO), IEEE Computer Society, ANR-10-INTB-0205,PAPDAS,Developpement de programmes parallèles avec des squelettes algorithmiques(2010), Loulergue, Frédéric, Programme Blanc International édition 2010 - Developpement de programmes parallèles avec des squelettes algorithmiques - - PAPDAS2010 - ANR-10-INTB-0205 - Blanc international 2010 - VALID |
| Jazyk: | angličtina |
| Rok vydání: | 2013 |
| Předmět: |
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Programming language Computer science Object language 020207 software engineering 02 engineering and technology Parallel computing Thread (computing) Specification language computer.software_genre Formal methods Operational semantics [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL] Action semantics Denotational semantics 020204 information systems Computational semantics [INFO.INFO-DC] Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] 0202 electrical engineering electronic engineering information engineering [INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] computer |
| Zdroj: | International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2013, Taipei, Taiwan PDCAT HAL |
| Popis: | International audience; 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 satifies a specification on execution traces designed in a companion paper. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|