Imperial College London
Professor Nobuko Yoshida

ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Yoshida:2021:10.1007/978-3-030-78142-2_5,
author = {Yoshida, N and Cutner, Z},
doi = {10.1007/978-3-030-78142-2_5},
pages = {80--89},
publisher = {Springer Verlag},
title = {Safe session-based asynchronous coordination in rust},
url = {http://dx.doi.org/10.1007/978-3-030-78142-2_5},
year = {2021}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Rust is a popular systems language focused on performance and  reliability,  with  an  emphasis  on  providing  “fearless  concurrency”. Message  passing has  become  a  widely-used  pattern  by  Rust  developers  although  the  potential  for  communication  errors  leaves  developing safe  and  concurrent  applications  an  unsolved  challenge.  In  this  ongoing work, we use multiparty session types to provide safety guarantees such as deadlock-freedom by coordinating message-passing processes. In contrast to previous contributions [22,21,20], our implementation targets asynchronous applications using a sync/await code in Rust. Specifically, we incorporate a synchronous subtyping theory, which allows program optimisation through reordering input and output actions. We evaluate our ideas by developing several representative use cases from the literature and  by  taking  microbenchmarks.  We  discuss  our  plans  to  support  full API generation integrating asynchronous optimisations.
AU  - Yoshida,N
AU  - Cutner,Z
DO  - 10.1007/978-3-030-78142-2_5
EP  - 89
PB  - Springer Verlag
PY  - 2021///
SN  - 0302-9743
SP  - 80
TI  - Safe session-based asynchronous coordination in rust
UR  - http://dx.doi.org/10.1007/978-3-030-78142-2_5
UR  - https://link.springer.com/chapter/10.1007/978-3-030-78142-2_5
UR  - http://hdl.handle.net/10044/1/89283
ER  -
Download