Chip multicore processors (CMPs) have emerged as the dominant architecture choice for
modern computing platforms and will most likely continue to be dominant well into the …

The monolithic server model where a server is the unit of deployment, operation, and failure
is meeting its limits in the face of several recent hardware and application trends. To improve …

Datacenter applications demand microsecond-scale tail latencies and high request rates
from operating systems, and most applications handle loads that have high variance over …

The L4 microkernel has undergone 20 years of use and evolution. It has an active user and
developer community, and there are commercial versions that are deployed on a large scale …

The conventional wisdom is that aggressive networking requirements, such as high packet
rates for small messages and microsecond-scale tail latency, are best addressed outside the …

We present unikernels, a new approach to deploying cloud services via applications written
in high-level source code. Unikernels are single-purpose appliances that are compile-time …

Recent device hardware trends enable a new approach to the design of network server
operating systems. In a traditional operating system, the kernel mediates access to device …

Scaling the performance of short TCP connections on multicore systems is fundamentally
challenging. Although many proposals have attempted to address various shortcomings …

Existing serverless computing platforms are built upon homogeneous computers, limiting the
function density and restricting serverless computing to limited scenarios. We introduce …

Industry is building larger, more complex, manycore processors on the back of strong
institutional knowledge, but academic projects face difficulties in replicating that scale. To …