Decoupling cores, kernels, and operating systems

• DOI: 10.5555/2685048.2685051
• Publication Date: 2014-10-06
• Authors: Gerd Zellweger; Simon Gerber; Kornilios Kourtis; Timothy Roscoe
• Keywords: Kernel (algebra); Decoupling (probability)

We present Barrelfish/DC, an extension to the Barrelfish OS which decouples physical cores from a native kernel, and furthermore kernel itself rest of application state. In code on any core can be quickly replaced, state moved between cores, added removed system transparently applications processes, continue execute.Barrelfish/DC is multikernel with two novel ideas: use boot drivers abstract as regular devices, partitioned capability for memory management externalizes core-local state.We show by performance measurements real device that approach practical enough used number purposes, such online upgrades, temporarily delivering hard real-time executing process under specialized, single-application kernel.