This paper presents our design and experience with a microkernel-inspired approach to
host networking called Snap. Snap is a userspace networking system that supports Google's …

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 …

Commodity computer systems contain more and more processor cores and exhibit
increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects …

One way to provide fault isolation among cooperating software modules is to place each in
its own address space. However, for tightly-coupled modules, this solution incurs prohibitive …

Traditional operating systems limit the performance, flexibility, and functionality of
applications by fixing the interface and implementation of operating system abstractions …

Secure hardware enclaves have been widely used for protecting security-critical
applications in the cloud. However, existing enclave designs fail to meet the requirements of …

The design challenge for large-scale multiprocessors is (1) to minimize communication
overhead,(2) allow communication to overlap computation, and (3) coordinate the two …

Abstract Jochen Liedtke GMD—German National Research Center for Information
Technology* jochen. liedtke@ gmd. de From a software-technology point of view, the p …

This paper analyzes the scalability of seven system applications (Exim, memcached,
Apache, PostgreSQL, gmake, Psearchy, and MapReduce) running on Linux on a 48-core …

This paper describes the motivation, architecture and performance of SPIN, an extensible
operating system. SPIN provides an extension infrastructure, together with a core set of …