CAMP: Cost-Aware Multiparty Session Protocols
David Castro-Perez, Nobuko Yoshida

TL;DR
CAMP is a static analysis framework that uses multiparty session types with annotations to predict communication and computation costs in message-passing systems, aiding performance optimization.
Contribution
It extends multiparty session types with cost annotations and provides a method to estimate execution costs with high accuracy, including asynchronous communication analysis.
Findings
Predicts execution costs with less than 15% error.
Applies to various protocols in multiple programming languages.
Effectively identifies performance bottlenecks.
Abstract
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 run-time performance of concurrent and distributed systems is of great importance for the identification of bottlenecks and optimisation opportunities. In the message-passing setting, these bottlenecks are generally communication overheads and synchronisation times. Despite its importance, reasoning about these intensional properties of software, such as performance, has received little attention, compared to verifying extensional properties, such as correctness. Behavioural protocol specifications based on sessions types capture not only extensional, but also intensional properties of concurrent and distributed systems. CAMP augments MPST with annotations of communication latency and local…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
