Serverless Scheduling Policies based on Cost Analysis

Giuseppe De Palma*, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

*Corresponding author for this work

Research output: Contribution to journalConference articleResearchpeer-review

13 Downloads (Pure)

Abstract

Current proprietary and open-source serverless platforms follow opinionated, hardcoded scheduling policies to deploy the functions to be executed over the available workers. Such policies may decrease the performance and the security of the application due to locality issues (e.g., functions executed by workers far from the databases to be accessed). These limitations are partially overcome by the adoption of APP, a new platform-agnostic declarative language that allows serverless platforms to support multiple scheduling logics. Defining the “right” scheduling policy in APP is far from being a trivial task since it often requires rounds of refinement involving knowledge of the underlying infrastructure, guesswork, and empirical testing. In this paper, we start investigating how information derived from static analysis could be incorporated into APP scheduling function policies to help users select the best-performing workers at function allocation. We substantiate our proposal by presenting a pipeline able to extract cost equations from functions’ code, synthesising cost expressions through the usage of off-the-shelf solvers, and extending APP allocation policies to consider this information.

Original languageEnglish
Book seriesElectronic Proceedings in Theoretical Computer Science
Volume392
Pages (from-to)40-52
Number of pages13
ISSN2075-2180
Publication statusPublished - 31. Oct 2023
Event1st Workshop on Trends in Configurable Systems Analysis, TiCSA 2023 - Paris, France
Duration: 23. Apr 2023 → …

Conference

Conference1st Workshop on Trends in Configurable Systems Analysis, TiCSA 2023
Country/TerritoryFrance
CityParis
Period23/04/2023 → …

Bibliographical note

Publisher Copyright:
© G. De Palma et al.

Fingerprint

Dive into the research topics of 'Serverless Scheduling Policies based on Cost Analysis'. Together they form a unique fingerprint.

Cite this