Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation
La mémoire transactionnelle est un mécanisme de plus en plus populaire pour la programmation parallèle et concurrente. Dans la plupart des implantations, l emboîtement de transactions n est pas possible ce qui pénalise la modularité. Plutôt que les transactions, qui sont un choix possible d implanta...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | , , , , , |
| Format: | Thèse numérique |
| Sprache: | Français |
| Veröffentlicht: |
2014.
|
| Schlagworte: | |
| Online Zugang: | Accès au texte intégral https://theses.univ-orleans.fr/public/2014ORLE2075_va.pdf http://www.theses.fr/2014ORLE2075/abes https://theses.hal.science/tel-01362118 |
| Anmerkung: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Franck Pommereau (Président du jury) ; Frédéric Loulergue, Franck Pommereau, Fabrice Mourlin, Ludovic Henrio, Jean-Michel Couvreur, Frédéric Dabrowski (Membre(s) du jury) ; Fabrice Mourlin, Ludovic Henrio (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Nested atomic sections with thread escape :, semantics and compilation |