Efficient sessions

K. C. Sivaramakrishnan; Mohammad Qudeisat; Lukasz Ziarek; Karthik Nagaraj; Patrick Eugster

doi:10.1016/j.scico.2012.03.004

Efficient sessions

K. C. Sivaramakrishnan
, Mohammad Qudeisat
, Lukasz Ziarek
, Karthik Nagaraj
, Patrick Eugster

Department of Computer Science and Engineering

Purdue University

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

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 a 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 for performance improvements. In this paper, we present a session type guided performance enhancement framework for distributed object interaction in Java. Our framework combines control flow information from MPSTs with data flow information obtained from corresponding programs. Detailed experimental evaluation of our distributed runtime infrastructure in both Emulab and Amazon's Elastic Compute Cloud (EC2) illustrate benefits of our composable enhancement strategies.

Original language	English
Pages (from-to)	147-167
Number of pages	21
Journal	Science of Computer Programming
Volume	78
Issue number	2
DOIs	https://doi.org/10.1016/j.scico.2012.03.004
State	Published - Feb 1 2013

Keywords

Batching
Communication
Composition
Java
Multi-party session types
Optimization

Access to Document

10.1016/j.scico.2012.03.004

Cite this

@article{e47dd3e811624428a4150a02eab9d373,

title = "Efficient sessions",

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 a 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 for performance improvements. In this paper, we present a session type guided performance enhancement framework for distributed object interaction in Java. Our framework combines control flow information from MPSTs with data flow information obtained from corresponding programs. Detailed experimental evaluation of our distributed runtime infrastructure in both Emulab and Amazon's Elastic Compute Cloud (EC2) illustrate benefits of our composable enhancement strategies.",

keywords = "Batching, Communication, Composition, Java, Multi-party session types, Optimization",

author = "Sivaramakrishnan, \{K. C.\} and Mohammad Qudeisat and Lukasz Ziarek and Karthik Nagaraj and Patrick Eugster",

year = "2013",

month = feb,

day = "1",

doi = "10.1016/j.scico.2012.03.004",

language = "English",

volume = "78",

pages = "147--167",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - Efficient sessions

AU - Sivaramakrishnan, K. C.

AU - Qudeisat, Mohammad

AU - Ziarek, Lukasz

AU - Nagaraj, Karthik

AU - Eugster, Patrick

PY - 2013/2/1

Y1 - 2013/2/1

N2 - 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 a 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 for performance improvements. In this paper, we present a session type guided performance enhancement framework for distributed object interaction in Java. Our framework combines control flow information from MPSTs with data flow information obtained from corresponding programs. Detailed experimental evaluation of our distributed runtime infrastructure in both Emulab and Amazon's Elastic Compute Cloud (EC2) illustrate benefits of our composable enhancement strategies.

AB - 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 a 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 for performance improvements. In this paper, we present a session type guided performance enhancement framework for distributed object interaction in Java. Our framework combines control flow information from MPSTs with data flow information obtained from corresponding programs. Detailed experimental evaluation of our distributed runtime infrastructure in both Emulab and Amazon's Elastic Compute Cloud (EC2) illustrate benefits of our composable enhancement strategies.

KW - Batching

KW - Communication

KW - Composition

KW - Java

KW - Multi-party session types

KW - Optimization

UR - https://www.scopus.com/pages/publications/84869505992

U2 - 10.1016/j.scico.2012.03.004

DO - 10.1016/j.scico.2012.03.004

M3 - Article

AN - SCOPUS:84869505992

SN - 0167-6423

VL - 78

SP - 147

EP - 167

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 2

ER -

Efficient sessions

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this