Efficient Session Type Guided Distributed Interaction

Abstract : Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed participants. By capturing distributed interaction as series of typed interactions, MPSTs allow for the static verification of compliance of corresponding distributed object programs. We observe that explicit control flow information manifested by MPST opens intriguing avenues also for performance enhancements. In this paper, we present a session type assisted performance enhancement framework for distributed object interaction in Java. Experimental evaluation within our distributed runtime infrastructure illustrates the costs and benefits of our composable enhancement strategies.
Type de document :
Communication dans un congrès
Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.152-167, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_11〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01054629
Contributeur : Hal Ifip <>
Soumis le : jeudi 7 août 2014 - 16:37:02
Dernière modification le : vendredi 11 août 2017 - 15:34:44
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 05:29:44

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster. Efficient Session Type Guided Distributed Interaction. Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.152-167, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_11〉. 〈hal-01054629〉

Partager

Métriques

Consultations de la notice

128

Téléchargements de fichiers

107