Design and Implementation of Session Types-based TCP and Unix Domain Socket

This paper presents a Rust-based Session Types library to secure the type-safety for software that performs synchronous concurrent communication based on TCP sockets and UNIX domain sockets. Our library specifies the Session Types as the formal synchronous concurrent communication protocol. When multiple independently acting host or process entities need to coordinate the execution of a particular action, our library can create a type-safe session for the type, direction, and order of the data-passing. We have designed a new communication model based on the traditional C/S communication model for ATM (Automatic Teller Machine) systems, and the new design adds an access control system. We show how to use our library to implement communication protocols for the relevant communication models, thus ensuring type safety when communicating. Our library can be applied to distributed systems and can improve the operational performance of the whole system.