Boldrini, Simone
(2024)
Un prototipo per lo scheduling di funzioni basato su analisi di costo in piattaforme serverless.
[Laurea magistrale], Università di Bologna, Corso di Studio in
Informatica [LM-DM270]
Documenti full-text disponibili:
![[img]](http://amslaurea.unibo.it/style/images/fileicons/application_pdf.png) |
Documento PDF (Thesis)
Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato
Download (988kB)
|
Abstract
La presente tesi si concentra sull’analisi delle funzioni scritte in un linguaggio specifico per la generazione di equazioni di costo essenziali per ottimizzare l’esecuzione delle funzioni serverless. Questo obiettivo viene perseguito attraverso un percorso di ricerca articolato in diverse fasi. In primo luogo, si definisce una grammatica specifica per il linguaggio HLCostLan, fornendo le basi per l’analisi semantica delle funzioni. Successivamente, si sviluppa un interprete in grado di analizzare programmi scritti in HLCostLan e di restituire le equazioni di costo associate a ciascuna funzione. Inoltre, si procede con la generazione del corrispondente codice WebAssembly, che costituisce l’ambiente di esecuzione per le funzioni analizzate.
Il WebAssembly svolge un ruolo cruciale nell’implementazione delle soluzioni proposte, garantendo portabilità e interoperabilità tra diversi ambienti di runtime. Una volta ottenute le equazioni di costo, si utilizzano strumenti specifici come PUBS (Practical Upper Bounds Solver) e CoFloCo (Cost Flow Complexity Analysis) per condurre un’analisi dettagliata delle prestazioni delle funzioni.
Il nostro progetto verrà poi integrato con un codice dichiarativo cAPP che ci permette di definire politiche di schedulazione in base ai costi associati alle funzioni, al fine di ottimizzare l’allocazione delle risorse e lo scheduling delle esecuzioni delle funzioni, consentendo una maggiore efficienza e scalabilità nell’ambito delle applicazioni basate su architetture serverless.
Abstract
La presente tesi si concentra sull’analisi delle funzioni scritte in un linguaggio specifico per la generazione di equazioni di costo essenziali per ottimizzare l’esecuzione delle funzioni serverless. Questo obiettivo viene perseguito attraverso un percorso di ricerca articolato in diverse fasi. In primo luogo, si definisce una grammatica specifica per il linguaggio HLCostLan, fornendo le basi per l’analisi semantica delle funzioni. Successivamente, si sviluppa un interprete in grado di analizzare programmi scritti in HLCostLan e di restituire le equazioni di costo associate a ciascuna funzione. Inoltre, si procede con la generazione del corrispondente codice WebAssembly, che costituisce l’ambiente di esecuzione per le funzioni analizzate.
Il WebAssembly svolge un ruolo cruciale nell’implementazione delle soluzioni proposte, garantendo portabilità e interoperabilità tra diversi ambienti di runtime. Una volta ottenute le equazioni di costo, si utilizzano strumenti specifici come PUBS (Practical Upper Bounds Solver) e CoFloCo (Cost Flow Complexity Analysis) per condurre un’analisi dettagliata delle prestazioni delle funzioni.
Il nostro progetto verrà poi integrato con un codice dichiarativo cAPP che ci permette di definire politiche di schedulazione in base ai costi associati alle funzioni, al fine di ottimizzare l’allocazione delle risorse e lo scheduling delle esecuzioni delle funzioni, consentendo una maggiore efficienza e scalabilità nell’ambito delle applicazioni basate su architetture serverless.
Tipologia del documento
Tesi di laurea
(Laurea magistrale)
Autore della tesi
Boldrini, Simone
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Indirizzo
CURRICULUM A: TECNICHE DEL SOFTWARE
Ordinamento Cds
DM270
Parole chiave
serverless,pubs,WebAssembly,CostCompiler,CostAnalysis,ANTLR,HLCostLan,equazioni di costo,cost equation,wat,wasm
Data di discussione della Tesi
14 Marzo 2024
URI
Altri metadati
Tipologia del documento
Tesi di laurea
(NON SPECIFICATO)
Autore della tesi
Boldrini, Simone
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Indirizzo
CURRICULUM A: TECNICHE DEL SOFTWARE
Ordinamento Cds
DM270
Parole chiave
serverless,pubs,WebAssembly,CostCompiler,CostAnalysis,ANTLR,HLCostLan,equazioni di costo,cost equation,wat,wasm
Data di discussione della Tesi
14 Marzo 2024
URI
Statistica sui download
Gestione del documento: