Virtualization is a powerful technology for increasing the efficiency of computing services;
however, besides its advantages, it also raises a number of security issues. In this article, we …

Datacenter systems and I/O devices now run at single-digit microsecond latencies, requiring
ns-scale operating systems. Traditional kernel-based operating systems impose an …

To provision IT solutions with reduced operating expenses, many businesses are moving
their IT infrastructures into public data centers or are starting to build their own private data …

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 …

Numerous systems have been designed which use virtualization to subdivide the ample
resources of a modern computer. Some require specialized hardware, or cannot support …

Wireless sensor networks are composed of large numbers of tiny networked devices that
communicate untethered. For large scale networks, it is important to be able to download …

Hypervisors, popularized by Xen and VMware, are quickly becoming commodity. They are
appropriate for many usage scenarios, but there are scenarios that require system …

We propose a new design for highly concurrent Internet services, which we call the staged
event-driven architecture (SEDA). SEDA is intended to support massive concurrency …

The memory coherence problem in designing and implementing a shared virtual memory on
loosely coupled multiprocessors is studied in depth. Two classes of algorithms, centralized …