Efficient sessions

详细信息    查看全文

• 作者：K.C. Sivaramakrishnan ; ^{chandras@cs.purdue.edu} ; Mohammad Qudeisat ^{mqudeisa@cs.purdue.edu} ; Lukasz Ziarek ^{lziarek@cs.purdue.edu} ; Karthik Nagaraj ^{knagara@cs.purdue.edu} ; Patrick Eugster ^{peugster@cs.purdue.edu}
• 关键词：Batching ; Communication ; Composition ; Java ; Multi-party session types ; Optimization
• 刊名：Science of Computer Programming
• 出版年：2013
• 出版时间：1 February, 2013
• 年：2013
• 卷：78
• 期：2
• 页码：147-167
• 全文大小：641 K

文摘

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.