Most traditional (monolithic) kernels run device drivers in kernel space. As such, if—for example—a device driver crashes or misbehaves, it is possible for it to bring the entire system down, as there is no isolation between components. VirtuOS separates out whole “vertical slices ” of OS services (eg storage or net-work services, compared to say, isolation between the user, the block device driver and underyling device driver) to run in virtualised environments (service domains). The authors make three main claims regarding the novelness of their paper: • virtualization into service domains, (each directly handling specific system calls) • “exception-less ” system calls between service domains • and that this provides resilience needed of ...
Operating system virtualization tools such as VMWare, XEN, and Linux KVM export only minimally capab...
Operating System-level Virtualization is virtualization technology based on running multiple isolate...
In modern day data centers economics is motivating server consolidation. Today, machine virtualizati...
In most of today’s operating system architectures, device drivers are tightly coupled with other ker...
We propose a method to reuse unmodified device drivers and to improve system dependability using vir...
This paper outlines the design of `Quest-V', which is implemented as a collection of separate kernel...
In many instances of virtual machine deployments today, virtual machine instances are created to sup...
In many instances of virtual machine deployments today, virtual machine instances are created to sup...
In recent years, there have been a number of papers comparing the performance of different virtualiz...
virtual machine, virtualization, performance analysis, I/O, networking, device drivers. This paper p...
Device drivers constitute a significant portion of an operating system's source code. The effort to ...
This dissertation is dedicated to the problem of device driver reliability. Software defects in devi...
This paper presents SUD, a system for running existing Linux device drivers as untrusted user-space ...
Virtualization allows multiple systems encapsulated in so-called domains to share completely isolate...
Multi- and many-core processors are becoming increasingly popular in embedded systems. Many of these...
Operating system virtualization tools such as VMWare, XEN, and Linux KVM export only minimally capab...
Operating System-level Virtualization is virtualization technology based on running multiple isolate...
In modern day data centers economics is motivating server consolidation. Today, machine virtualizati...
In most of today’s operating system architectures, device drivers are tightly coupled with other ker...
We propose a method to reuse unmodified device drivers and to improve system dependability using vir...
This paper outlines the design of `Quest-V', which is implemented as a collection of separate kernel...
In many instances of virtual machine deployments today, virtual machine instances are created to sup...
In many instances of virtual machine deployments today, virtual machine instances are created to sup...
In recent years, there have been a number of papers comparing the performance of different virtualiz...
virtual machine, virtualization, performance analysis, I/O, networking, device drivers. This paper p...
Device drivers constitute a significant portion of an operating system's source code. The effort to ...
This dissertation is dedicated to the problem of device driver reliability. Software defects in devi...
This paper presents SUD, a system for running existing Linux device drivers as untrusted user-space ...
Virtualization allows multiple systems encapsulated in so-called domains to share completely isolate...
Multi- and many-core processors are becoming increasingly popular in embedded systems. Many of these...
Operating system virtualization tools such as VMWare, XEN, and Linux KVM export only minimally capab...
Operating System-level Virtualization is virtualization technology based on running multiple isolate...
In modern day data centers economics is motivating server consolidation. Today, machine virtualizati...