High-performance microkernels and virtualisation on ARM and segmented architectures

Download files
Access & Terms of Use
open access
Abstract
This paper describes the techniques used to achieve high context-switching performance on ARM processors for the L4 microkernel and a para-virtualised Linux running on top. We examine how the previously-published techniques can be used in L4 with minimal changes to the kernel API. We also propose future API changes which make it easier to maximise memory-management performance, not only on ARM but also on architectures supporting a segmented memory model.
Persistent link to this record
Link to Publisher Version
Additional Link
Author(s)
van Schaik, Carl
Heiser, Gernot
Supervisor(s)
Creator(s)
Editor(s)
Translator(s)
Curator(s)
Designer(s)
Arranger(s)
Composer(s)
Recordist(s)
Conference Proceedings Editor(s)
Other Contributor(s)
Corporate/Industry Contributor(s)
Publication Year
2007
Resource Type
Conference Paper
Degree Type
UNSW Faculty
Files
download vanSchaik_Heiser_07.pdf 152.64 KB Adobe Portable Document Format
Related dataset(s)