Functional Programming for Distributed Systems with XC
| Autor: | Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Salvaneschi, Guido, Viroli, Mirko |
|---|---|
| Přispěvatelé: | Karim Ali, Jan Vitek, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli |
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: |
Core calculus
operational semantics type soundness Scala DSL Theory of computation → Distributed computing models operational semantics Computing methodologies → Distributed programming languages Core calculus computer science type soundness Theory of computation → Type structures Scala DSL Theory of computation → Operational semantics Theory of computation → Functional constructs |
| DOI: | 10.4230/lipics.ecoop.2022.20 |
| Popis: | 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. LIPIcs, Vol. 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022), pages 20:1-20:28 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|