The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1, 2) , (1, 2) , (3) , (1, 2) , (1, 2)
1
2
3

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.
Fichier principal
Vignette du fichier
OASIcs-Gabbrielli-5.pdf (523.2 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03076904 , version 1 (16-12-2020)

Identifiers

Cite

Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio 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⟩
20 View
52 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More