Dynamic Choreographies Safe Runtime Updates of Distributed Applications

Mila Dalla Preda 1, 2 Maurizio Gabbrielli 1, 2 Saverio Giallorenzo 2, 1 Ivan Lanese 1, 2 Jacopo Mauro 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreog-raphy). DIOC allows the programmer to specify which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, generating code for each site, in a lower-level language called DPOC. We formalise both DIOC and DPOC semantics as labelled transition systems and prove the correctness of the compilation as a trace equivalence result. As corollaries, DPOC applications are free from communication deadlocks and races, even in presence of runtime updates.
Type de document :
Communication dans un congrès
Tom Holvoet; Mirko Viroli. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9037, pp.67-82, 2015, Coordination Models and Languages. 〈10.1007/978-3-319-19282-6_5〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01227612
Contributeur : Saverio Giallorenzo <>
Soumis le : mercredi 11 novembre 2015 - 17:32:45
Dernière modification le : mardi 24 avril 2018 - 11:20:06
Document(s) archivé(s) le : vendredi 12 février 2016 - 20:28:37

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Dynamic Choreographies Safe Runtime Updates of Distributed Applications. Tom Holvoet; Mirko Viroli. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9037, pp.67-82, 2015, Coordination Models and Languages. 〈10.1007/978-3-319-19282-6_5〉. 〈hal-01227612〉

Partager

Métriques

Consultations de la notice

235

Téléchargements de fichiers

58