Efficient session type guided distributed interaction
KC Sivaramakrishnan,Karthik Nagaraj,Lukasz Ziarek,Patrick Eugster +3 more
- Vol. 6116, pp 152-167
Reads0
Chats0
TLDR
This paper presents a session type assisted performance enhancement framework for distributed object interaction in Java and observes that explicit control flow information manifested by MPST opens intriguing avenues also for performance enhancements.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 strategiesread more
Citations
More filters
Journal ArticleDOI
Multiparty Asynchronous Session Types
TL;DR: The theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario, and the fundamental properties of the session type discipline, such as communication safety, progress, and session fidelity, are established.
Book ChapterDOI
Global Progress in Dynamically Interleaved Multiparty Sessions
Lorenzo Bettini,Mario Coppo,Loris D'Antoni,Marco De Luca,Mariangiola Dezani-Ciancaglini,Nobuko Yoshida +5 more
TL;DR: This paper develops, besides a more traditional communicationtype system, a novel static interactiontype system for global progress in dynamically interleaved multiparty sessions.
Book ChapterDOI
Multiparty session types meet communicating automata
TL;DR: A generalised variant of multiparty session types that have a direct semantical correspondence to CFSMs is presented, generalising Gouda et al's work [12] (for two machines) to an arbitrary number of machines.
Journal ArticleDOI
Global Progress for Dynamically Interleaved Multiparty Sessions
TL;DR: A novel static interaction type system for global progress in dynamically interleaved and interfered multiparty sessions infers causalities of channels making sure that processes do not get stuck at intermediate stages of sessions also in presence of delegation.
Journal ArticleDOI
Dynamic multirole session types
TL;DR: A role-based multiparty session type theory is proposed where roles are defined as classes of local behaviours that an arbitrary number of participants can dynamically join and leave, and a type system with universal types for polling can handle this dynamism and retain type safety.
References
More filters
Book
Patterns of Enterprise Application Architecture
TL;DR: This book discusses the evolution of Layers in Enterprise Applications, Concurrency Problems, and Object-Relational Behavioral Patterns, as well as some Technology-Specific Advice.
Journal ArticleDOI
An integrated experimental environment for distributed systems and networks
Brian S. White,Jay Lepreau,Leigh Stoller,Robert Ricci,Shashi Guruprasad,Mac Newbold,Mike Hibler,Chad Barb,Abhijeet Joglekar +8 more
TL;DR: The overall design and implementation of Netbed is presented and its ability to improve experimental automation and efficiency is demonstrated, leading to new methods of experimentation, including automated parameter-space studies within emulation and straightforward comparisons of simulated, emulated, and wide-area scenarios.
Book ChapterDOI
Language Primitives and Type Discipline for Structured Communication-Based Programming
TL;DR: Basic language constructs and a type discipline are introduced as a foundation of structured communication-based concurrent programming, which offers a high-level type abstraction of interactive behaviours of programs as well as guaranteeing the compatibility of interaction patterns between processes in a well-typed program.
Book
Compiling with continuations
TL;DR: In this article, the authors show how continuation-passing style is used as an intermediate representation to perform optimizations and program transformations for modern languages like ML, and show how concepts from the theory of programming languages can be applied to the production of practical optimizing compilers.