The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
32 Consultations
103 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More