The open source movement has grown steadily and matured in recent years, and this
growth has been mirrored by a rise in open source related research. The objective of this …

The next decade will afford us computer chips with 100's to 1,000's of cores on a single
piece of silicon. Contemporary operating systems have been designed to operate on a …

Currently, I/O device virtualization models in virtual machine (VM) environments require
involvement of a virtual machine monitor (VMM) and/or a privileged VM for each I/O …

This monograph grows out of nearly 40 years of experience in synchronization and
concurrent data structures. Though written primarily from the perspective of systems …

The virtues of security, reliability, and extensibility have made state-of-the-art microkernels
prevalent in embedded and safety-critical scenarios. However, they face performance and …

Cloud computers and multicore processors are two emerging classes of computational
hardware that have the potential to provide unprecedented compute capacity to the average …

Due to the complexity and the massive scale of modern warehouse scale computers
(WSCs), it is challenging to quantify the performance impact of individual microarchitectural …

In a modern operating system (OS), device drivers can make up over 70% of the source
code. Driver code is also heavily dependent on the rest of the OS, for functions and data …

Abstract The multiprocessor SoC (MPSoC) revolution is fueled by the need to execute
multiple advanced multimedia applications on a single embedded computing platform. At …

We introduce the scheduler subversion problem, where lock usage patterns determine
which thread runs, thereby subverting CPU scheduling goals. To mitigate this problem, we …