No more, no less: A formal model for serverless computing

Maurizio Gabbrielli, Saverio Giallorenzo*, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro

*Kontaktforfatter for dette arbejde

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

43 Downloads (Pure)

Abstrakt

Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure. The infrastructure takes care of executing the functions whenever requested by remote clients, dealing automatically with distribution and scaling with respect to inbound traffic. While vendors already support a variety of programming languages for serverless computing (e.g. Go, Java, Javascript, Python), as far as we know there is no reference model yet to formally reason on this paradigm. In this paper, we propose the first core formal programming model for serverless computing, which combines ideas from both the λ-calculus (for functions) and the π-calculus (for communication). To illustrate our proposal, we model a real-world serverless system. Thanks to our model, we capture limitations of current vendors and formalise possible amendments.

OriginalsprogEngelsk
TitelCoordination Models and Languages. COORDINATION 2019
RedaktørerH. Riis Nielson, E. Tuosto
ForlagSpringer
Publikationsdato2019
Sider148-157
ISBN (Trykt)978-3-030-22396-0
ISBN (Elektronisk)978-3-030-22397-7
DOI
StatusUdgivet - 2019
Begivenhed21st International Conference on Coordination Models and Languages - Copenhagen, Danmark
Varighed: 17. jun. 201921. jun. 2019
Konferencens nummer: 21

Konference

Konference21st International Conference on Coordination Models and Languages
Nummer21
Land/OmrådeDanmark
ByCopenhagen
Periode17/06/201921/06/2019
NavnLecture Notes in Computer Science
Vol/bind11533
ISSN0302-9743

Emneord

  • cs.PL

Fingeraftryk

Dyk ned i forskningsemnerne om 'No more, no less: A formal model for serverless computing'. Sammen danner de et unikt fingeraftryk.

Citationsformater