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{Castro-Perez:2020:10.1145/3428223,
author = {Castro-Perez, D and Yoshida, N},
doi = {10.1145/3428223},
publisher = {Association for Computing Machinery (ACM)},
title = {CAMP: cost-aware multiparty session protocols},
url = {http://dx.doi.org/10.1145/3428223},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - This paper presents CAMP, a new static performance analysis framework for message-passing concurrent and distributed systems, based on the theory of multiparty session types (MPST). Understanding the runtime performance of concurrent and distributed systems is of great importance for the identification ofbottlenecks and optimisation opportunities. In the message-passing setting, these bottlenecks are generallycommunication overheads and synchronisation times. Despite its importance, reasoning about these intensionalproperties of software, such as performance, has received little attention, compared to verifying extensionalproperties, such as correctness. Behavioural protocol specifications based on sessions types capture notonly extensional, but also intensional properties of concurrent and distributed systems. CAMP augmentsMPST with annotations of communication latency and local computation cost, defined as estimated executiontimes, that we use to extract cost equations from protocol descriptions. CAMP is also extendable to analyseasynchronous communication optimisation built on a recent advance of session type theories. We apply ourtool to different existing benchmarks and use cases in the literature with a wide range of communication protocols, implemented in C, MPI-C, Scala, Go, and OCaml. Our benchmarks show that, in most of the cases,we predict an upper-bound on the real execution costs with < 15% error.
AU  - Castro-Perez,D
AU  - Yoshida,N
DO  - 10.1145/3428223
PB  - Association for Computing Machinery (ACM)
PY  - 2020///
SN  - 2475-1421
TI  - CAMP: cost-aware multiparty session protocols
UR  - http://dx.doi.org/10.1145/3428223
UR  - http://hdl.handle.net/10044/1/85300
ER  -
Download