Session-Based Distributed Programming in Java
Session-Based Distributed Programming in Java
复制标题
DOI：
10.1007/978-3-540-70592-5_22
复制
发表时间：
2008-07
期刊：
影响因子：
--
通讯作者：
Raymond Hu;N. Yoshida;Kohei Honda
中科院分区：
文献类型：
--
作者：
Raymond Hu;N. Yoshida;Kohei Honda
本文通过在Java中实现会话类型和面向对象编程的集成，展示了它们的影响。会话类型为以简洁的语法构造一系列交互提供了高级抽象，并确保分布式对等点之间的类型安全通信。我们提出了第一个完整的实现基于会话的分布式编程的语言和运行时，具有异步消息传递，委托，会话子类型和交织，结合类下载和故障处理。我们的语言的编译运行时框架有效地映射到底层传输会话抽象和保证通信安全，通过静态和动态会话类型检查。我们已经实现了两种替代机制进行分布式会话委托，并证明其正确性。测试结果表明，会话抽象可以实现低运行时开销。
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Session types provide high-level abstraction for structuring a series of interactions in a concise syntax, and ensure type-safe communications between distributed peers. We present the first full implementation of a language and runtime for session-based distributed programming featuring asynchronous message passing, delegation, and session subtyping and interleaving, combined with class downloading and failure handling. The compilation-runtime framework of our language effectively maps session abstraction onto underlying transports and guarantees communication safety through static and dynamic session type checking. We have implemented two alternative mechanisms for performing distributed session delegation and prove their correctness. Benchmark results show session abstraction can be realised with low runtime overhead.