Farina, Giorgio (2024) Assessing and improving isolation in real-time cloud platforms. [Tesi di dottorato]
|
Documento PDF
PhD_Thesis_Giorgio_Farina_official.pdf Visibile a [TBR] Amministratori dell'archivio Download (13MB) |
| Tipologia del documento: | Tesi di dottorato |
|---|---|
| Lingua: | English |
| Titolo: | Assessing and improving isolation in real-time cloud platforms |
| Autori: | Autore Email Farina, Giorgio giorgio.farina@unina.it |
| Data: | 12 Dicembre 2024 |
| Numero di pagine: | 115 |
| Istituzione: | Università degli Studi di Napoli Federico II |
| Dottorato: | Information technology and electrical engineering |
| Ciclo di dottorato: | 37 |
| Coordinatore del Corso di dottorato: | nome email Russo, Stefano stefano.russo@unina.it |
| Tutor: | nome email Cinque, Marcello [non definito] |
| Data: | 12 Dicembre 2024 |
| Numero di pagine: | 115 |
| Parole chiave: | real-time, security, cloud computing, isolation |
| Settori scientifico-disciplinari del MIUR: | Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 - Sistemi di elaborazione delle informazioni |
| Informazioni aggiuntive: | ciclo 37 |
| Depositato il: | 29 Dic 2024 09:03 |
| Ultima modifica: | 12 Ago 2026 05:38 |
| URI: | https://www.fedoa.unina.it/id/eprint/16501 |
Abstract
Real-time cloud foresees the porting of critical applications to cloud platforms, in order to enable cloud benefits for critical scenarios, such as ease of usability and reconfiguration, as well as higher scalability and availability. However, this vision has been limited by several threats that live within cloud platforms, mostly related to the sharing of resources. In order to support real-time cloud vision, this thesis focuses on two key limitations of the emerging real-time cloud paradigm: memory access isolation and failure isolation across execution environments hosted on the same hardware platform. Regarding memory isolation, this thesis addressed the challenge of evaluating a black-box hardware controller, called "Memory Bandwidth Allocation", available on new Intel server processors, by developing a workload capable of bypassing the regulation shown by generic state-of-the-art workloads by over 50%, warning the community about the risks of adopting generic workloads for specialized controllers. To improve bandwidth utilization, this thesis also provided empirical evidence that memory queue occupancy can detect the interference degree, i.e., the number of memory contenders, within one-fifth of the regulation period. In terms of failure isolation, this thesis introduced a novel record and replay method to assess hypervisor robustness without manual effort, focusing on the shared, privileged software layer running across customers. This thesis implemented a proof-of-concept tool called IRIS within the Xen hypervisor. The results demonstrated that IRIS could generate new test cases, reaching valid hypervisor states with significant time improvements (from 42.5% to 99.6%) and high accuracy, with code coverage fitting between 92.1% and 100% compared to the recorded execution.
Downloads
Downloads per month over past year
Actions (login required)
![]() |
Modifica documento |


