Efficient Session Type Guided Distributed Interaction - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

Efficient Session Type Guided Distributed Interaction

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (183.99 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054629 , version 1 (07-08-2014)

Licence

Identifiants

Citer

K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster. Efficient Session Type Guided Distributed Interaction. 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. pp.152-167, ⟨10.1007/978-3-642-13414-2_11⟩. ⟨hal-01054629⟩
134 Consultations
150 Téléchargements

Altmetric

Partager

More