Liu Xiaolong
Abstract
This paper presents a Rust-based session type library for securing the type-safety of software that performs synchronous concurrent communication based on TCP sockets and UNIX domain sockets. Our library specifies the session type as the formal synchronous concurrent communication protocol. When multiple independently acting host or process entities need to coordinate to perform a specific action, our library can create a type-safe session in terms of the type and direction of the data being passed and the order in which it is passed. We have designed a new communication model based on the traditional C/S model for ATM systems, and the new design adds an access control system to the traditional communication model. We describe how to use our library to build type-safe communication models. Our library can be applied to distributed systems and can improve the operational performance of the
whole system.
