Session types for rust

TY - CHAP

T1 - Session types for rust

AU - Jespersen, Thomas Bracht Laumann

AU - Munksgaard, Philip

AU - Larsen, Ken Friis

N1 - Conference code: 11

PY - 2015/8/30

Y1 - 2015/8/30

N2 - We present a library for specifying session types implemented in Rust, and discuss practical use cases through examples and demonstrate how session types may be used in a large-scale application. Specifically we adapt parts of the ad-hoc communication patterns in the Servo browser engine to use session typed channels. Session types provide a protocol abstraction, expanding on traditional typed communication channels, to ensure that communication takes place according to a specified protocol. Thus, the library allows us to provide compile-time guarantees of adherence to a specific protocol without incurring significant run-time penalties.

AB - We present a library for specifying session types implemented in Rust, and discuss practical use cases through examples and demonstrate how session types may be used in a large-scale application. Specifically we adapt parts of the ad-hoc communication patterns in the Servo browser engine to use session typed channels. Session types provide a protocol abstraction, expanding on traditional typed communication channels, to ensure that communication takes place according to a specified protocol. Thus, the library allows us to provide compile-time guarantees of adherence to a specific protocol without incurring significant run-time penalties.

KW - Rust, Session types, concurrency, generic types

U2 - 10.1145/2808098.2808100

DO - 10.1145/2808098.2808100

M3 - Book chapter

SN - 978-1-4503-3810-3

SP - 13

EP - 22

BT - Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming

PB - Association for Computing Machinery

T2 - ACM SIGPLAN Workshop on Generic Programming 2015

Y2 - 31 August 2015 through 2 September 2015

ER -