Program

Invited Talks

Zeyu Mi – Harmonizing Performance and Isolation in Microkernels with New Hardware Features
Bio: Dr. Zeyu Mi is a research assistant professor at the School of Software at Shanghai Jiao Tong University (SJTU), China. He earned his Ph.D. degree in computer science from SJTU in 2020. His research interests include system virtualization, operating systems, and system security. Currently, he focuses on using new hardware features to build next-generation virtualized software. His papers have been published at top conferences, including USENIX Security, EuroSys, and USENIX ATC.
Abstract: Microkernels have been extensively studied over decades. However, IPC (Inter-Process Communication) is still a major factor of run-time overhead, where fine-grained isolation usually leads to excessive IPCs. In this talk, we discuss applying new Intel hardware features to design two new IPC facilities for microkernels. First, we leverage Intel VMFUNC to design SkyBridge that allows a process to directly switch to the virtual address space of the target process with no involvement of the kernel. SkyBridge retains the traditional virtual address space isolation and thus can be easily integrated into existing microkernels. Second, we retrofit Intel Memory Protection Key for Userspace (PKU) to build UnderBridge, which moves the OS components of a microkernel between user space and kernel space at runtime to further optimize IPC performance while enforcing consistent isolation

Comments are closed.