DMCA
USENIX Association 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’14) 17 Decoupling Cores, Kernels, and Operating Systems
BibTeX
@MISC{Zellweger_usenixassociation,
author = {Gerd Zellweger and Simon Gerber and Kornilios Kourtis and Timothy Roscoe and Eth Zürich and Gerd Zellweger and Simon Gerber and Kornilios Kourtis and Timothy Roscoe},
title = {USENIX Association 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’14) 17 Decoupling Cores, Kernels, and Operating Systems},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We present Barrelfish/DC, an extension to the Bar-relfish OS which decouples physical cores from a native OS kernel, and furthermore the kernel itself from the rest of the OS and application state. In Barrelfish/DC, native kernel code on any core can be quickly replaced, kernel state moved between cores, and cores added and removed from the system transparently to applications and OS processes, which continue to execute. Barrelfish/DC is a multikernel with two novel ideas: the use of boot drivers to abstract cores as regular devices, and a partitioned capability system for memory management which externalizes core-local kernel state. We show by performance measurements of real appli-cations and device drivers that the approach is practical enough to be used for a number of purposes, such as online kernel upgrades, and temporarily delivering hard real-time performance by executing a process under a specialized, single-application kernel. 1
Keyphrases
usenix symposium usenix association operating system design barrelfish dc regular device online kernel upgrade novel idea performance measurement capability system native kernel code native o kernel single-application kernel memory management physical core application state o process hard real-time performance boot driver device driver bar-relfish o real appli-cations core-local kernel state
