Skip to Main content Skip to Navigation
Conference papers

The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service

Saverio Giallorenzo 1, 2 Ivan Lanese 1, 2 Fabrizio Montesi 3 Davide Sangiorgi 1, 2 Stefano Zingaro 1, 2
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Serverless computing is a paradigm for programming cloud applications in terms of stateless functions, executed and scaled in proportion to inbound requests. Here, we revisit SKC, a calculus capturing the essential features of serverless programming. By exploring the design space of the language, we refined the integration between the fundamental features of the two calculi that inspire SKC: the λ-and the π-calculus. That investigation led us to a revised syntax and semantics, which support an increase in the expressiveness of the language. In particular, now function names are first-class citizens and can be passed around. To illustrate the new features, we present step-by-step examples and two non-trivial use cases from artificial intelligence, which model, respectively, a perceptron and an image tagging system into compositions of serverless functions. We also illustrate how SKC supports reasoning on serverless implementations, i.e., the underlying network of communicating, concurrent, and mobile processes which execute serverless functions in the cloud. To that aim, we show an encoding from SKC to the asynchronous π-calculus and prove it correct in terms of an operational correspondence.
Document type :
Conference papers
Complete list of metadata
Contributor : Saverio Giallorenzo Connect in order to contact the contributor
Submitted on : Wednesday, December 16, 2020 - 3:13:37 PM
Last modification on : Monday, March 1, 2021 - 9:57:32 AM
Long-term archiving on: : Wednesday, March 17, 2021 - 7:31:08 PM


Files produced by the author(s)




Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Zingaro. The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Recent Developments in the Design and Implementation of Programming Languages, Nov 2020, Bologna, Italy. ⟨10.4230/OASIcs.Gabbrielli.2020.5⟩. ⟨hal-03076904⟩



Les métriques sont temporairement indisponibles