Gestione dell'allocazione di funzioni serverless in Go tramite lo sviluppo di un sistema di annotazione automatica

Il settore del serverless computing, e in particolare il paradigma FaaS, ha trasformato il modo in cui le applicazioni vengono sviluppate e distribuite nel cloud, eliminando la necessità di gestire l'infrastruttura sottostante. In questo contesto, le politiche di scheduling delle funzioni serverless rappresentano un aspetto critico per ottimizzare l'efficienza e ridurre la latenza. Questo elaborato presenta l'implementazione di una pipeline automatica di traduzione che, a partire da codice sorgente scritto in Go, produce il corrispondente codice nel linguaggio miniSL (mini Serverless Language). MiniSL è un linguaggio essenziale progettato per catturare esclusivamente le chiamate a servizi esterni (call), i costrutti condizionali (if) e i cicli iterativi (for), ignorando tutte le operazioni non rilevanti per l'analisi della latenza. Il lavoro si inserisce in un progetto di ricerca più ampio volto a realizzare cAPP, un'estensione del linguaggio dichiarativo APP che utilizza espressioni di costo per ottimizzare lo scheduling delle funzioni serverless.