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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-13414-2_11 | COORDINATION |
Keywords | Field | DocType |
efficient session type,object interaction,intriguing avenue,experimental evaluation,performance enhancement,composable enhancement strategy,object program,explicit control flow information,session type,performance enhancement framework,multi-party session type,costs and benefits,control flow,distributed objects | Remote operation,Distributed object,Performance enhancement,Computer science,Control flow,Theoretical computer science,Java,Distributed computing | Conference |
Volume | ISSN | ISBN |
6116 | 0302-9743 | 3-642-13413-0 |
Citations | PageRank | References |
9 | 0.60 | 11 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
K. C. Sivaramakrishnan | 1 | 68 | 9.12 |
Karthik Nagaraj | 2 | 105 | 4.78 |
Lukasz Ziarek | 3 | 291 | 35.09 |
Patrick Eugster | 4 | 2644 | 192.90 |