Inhalt des Dokuments
Gastvorträge 2009
| Steffen Liebergeld, TU Dresden |
|---|
| Dienstag, 24. November 2009, 14:00-16:00 Uhr, TU Hochhaus - 11. Etage , Raum 1118/19 |
Abstract
Microkernels are a viable foundation for systems that can be tailored and are able to meet strict security requirements. As with any new system, application availability is crucial to its adoption. Reusing a standard operating system (OS) kernel on top of the microkernel is a pragmatic way of inheriting an OS'es API and with it its applications.
In the past, standard OS kernels were ported to run on top of microkernels. Many OS activities such as context switches are security sensitive and have to be implemented with microkernel provided abstractions. Therefore, rehosted OS kernels suffer from inherent performance penalties. Virtualization technology promises better performance. With a port of KVM our group was able to show that virtualization on a microkernel based system is feasible and standard OSes running in a VM perform better than rehosted OSes. However, this KVM port in turn depends on a rehosted kernel.
In this talk, I will present a solution that uses virtualization to host a slightly modified Linux on the L4 microkernel Fiasco. This solution shows a significant performance improvement compared to previous solutions, supports SMP, is well integrated and has a substantially reduced resource footprint.
Ansprechpartner
Prof. Jean-Pierre Seifert, jeanpierreseifert(AT)gmail.com