License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2022.20
URN: urn:nbn:de:0030-drops-162486
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16248/
Audrito, Giorgio ;
Casadei, Roberto ;
Damiani, Ferruccio ;
Salvaneschi, Guido ;
Viroli, Mirko
Functional Programming for Distributed Systems with XC
Abstract
Programming distributed systems is notoriously hard due to - among the others - concurrency, asynchronous execution, message loss, and device failures. Homogeneous distributed systems consist of similar devices that communicate to neighbours and execute the same program: they include wireless sensor networks, network hardware, and robot swarms. For the homogeneous case, we investigate an experimental language design that aims to push the abstraction boundaries farther, compared to existing approaches.
In this paper, we introduce the design of XC, a programming language to develop homogeneous distributed systems. In XC, developers define the single program that every device executes and the overall behaviour is achieved collectively, in an emergent way. The programming framework abstracts over concurrency, asynchronous execution, message loss, and device failures. We propose a minimalistic design, which features a single declarative primitive for communication, state management, and connection management. A mechanism called alignment enables developers to abstract over asynchronous execution while still retaining composability. We define syntax and operational semantics of a core calculus, and briefly discuss its main properties. XC comes with two DSL implementations: a DSL in Scala and one in C++. An evaluation based on smart-city monitoring demonstrates XC in a realistic application.
BibTeX - Entry
@InProceedings{audrito_et_al:LIPIcs.ECOOP.2022.20,
author = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Salvaneschi, Guido and Viroli, Mirko},
title = {{Functional Programming for Distributed Systems with XC}},
booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)},
pages = {20:1--20:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-225-9},
ISSN = {1868-8969},
year = {2022},
volume = {222},
editor = {Ali, Karim and Vitek, Jan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16248},
URN = {urn:nbn:de:0030-drops-162486},
doi = {10.4230/LIPIcs.ECOOP.2022.20},
annote = {Keywords: Core calculus, operational semantics, type soundness, Scala DSL}
}
