Sviluppo di un Sistema di Annotazione Automatica per Governare l'Allocazione di Funzioni TypeScript Serverless

Il paradigma serverless e in particolare Function-as-a-Service (FaaS) ha rivoluzionato l'approccio allo sviluppo di applicazioni cloud, offrendo vantaggi significativi in termini di scalabilità, elasticità e riduzione dei costi operativi. Tuttavia, questo modello presenta anche diverse limitazioni, tra cui problematiche di cold start, complessità nel debugging e dipendenza dai provider cloud. Un aspetto critico per l'ottimizzazione delle performance in ambiente serverless è rappresentato dalle politiche di scheduling, che determinano l'allocazione delle funzioni sui nodi di calcolo disponibili. Il contributo principale di questa tesi consiste nello sviluppo di un compilatore che traduce automaticamente codice TypeScript in miniSL (mini Serverless Language), un linguaggio minimale progettato per l'estrazione di funzioni di costo dalle funzioni serverless. Tramite l'impiego delle funzioni di costo è possibile migliorare le consuete politiche di scheduling serverless. La soluzione proposta si articola in una pipeline modulare composta da tre componenti principali: un annotatore che arricchisce il codice TypeScript con annotazioni semantiche, un estrattore che converte le annotazioni in codice miniSL, e un checker che verifica la correttezza sintattica del codice generato. L'architettura modulare garantisce l'indipendenza dal linguaggio sorgente attraverso un sistema di annotazioni configurabili, rendendo potenzialmente estensibile l'approccio ad altri linguaggi di programmazione.