Interrupt Delivery Support in Software Isolation Monitor
Event details
Date | 16.06.2023 |
Hour | 10:00 › 12:00 |
Speaker | Yuchen Qian |
Location | |
Category | Conferences - Seminars |
EDIC candidacy exam
Exam president: Prof. Mathias Payer
Thesis advisor: Prof. Edouard Bugnion
Co-examiner: Prof. Sanidhya Kashyap
Abstract
Interrupts enable computers to multitask, respond
to external devices, and efficiently execute critical operations.
Virtualization requires the host to intercept and mediate hardware
access requests from virtual machines to isolate and manage
virtualized resources effectively. However, such host interposition
introduces a certain level of overhead for handling interrupts.
This writeup aims to examine three papers focusing on efficient
interrupt handling for I/O devices in x86 virtualized environments
and discuss their tradeoffs.
Background papers
Exam president: Prof. Mathias Payer
Thesis advisor: Prof. Edouard Bugnion
Co-examiner: Prof. Sanidhya Kashyap
Abstract
Interrupts enable computers to multitask, respond
to external devices, and efficiently execute critical operations.
Virtualization requires the host to intercept and mediate hardware
access requests from virtual machines to isolate and manage
virtualized resources effectively. However, such host interposition
introduces a certain level of overhead for handling interrupts.
This writeup aims to examine three papers focusing on efficient
interrupt handling for I/O devices in x86 virtualized environments
and discuss their tradeoffs.
Background papers
- ELI: bare-metal performance for I/O virtualization (https://dl.acm.org/doi/abs/10.1145/2248487.2151020)
- Efficient and Scalable Paravirtual I/O System (https://www.usenix.org/system/files/conference/atc13/atc13-harel.pdf)
- A Comprehensive Implementation and Evaluation of Direct Interrupt Delivery (https://compas.cs.stonybrook.edu/~mferdman/downloads.php/VEE15_Comprehensive_Implementation_and_Evaluation_of_Direct_Interrupt_Delivery.pdf)
Practical information
- General public
- Free