B. Ford, M. Hibler, J. Lepreau, P. Tullman, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In USENIX, editor, 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Memory Resource Management in VMware ESX Server - Waldspurger (2002) (16 citations) (Correct)
....up sufficient low pages for remapping I O pages that are currently hot. We are currently exploring various techniques, ranging from simple random replacement to adaptive approaches based on cost benefit tradeoffs. 8 Related Work Virtual machines have been used in numerous research projects [3, 7, 8, 9] and commercial products [20, 23] over the past several decades. ESX Server was inspired by recent work on Disco [3] and Cellular Disco [9] which virtualized shared memory multiprocessor servers to run multiple instances of IRIX. ESX Server uses many of the same virtualization techniques as ....
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullman, Godmar Back, and Stephen Clawson. "Microkernels Meet Recursive Virtual Machines," Proc. Symposium on Operating System Design and Implementation, October 1996.
Design and Implementation of K42's Dynamic Clustered Object.. - Hui (2000) (Correct)
....from a centralized implementation (with a single shared rep) to a distributed one (with a rep per processor) 1.2 Dynamic Customization in K42 Building blocks provide tremendous flexibility in allowing K42 to be customized for an application. As other work in customizable systems demonstrates [3, 4, 6, 8, 9, 26], this flexibility can translate into significant performance gains. Often times though, when a resource is first accessed, it is not clear, especially from the operating system s perspective, what its request pattern will be. Also, an application s use of operating system resources may change ....
....summarizes our mechanism and results, and describes possible future work. Related Work A number of research operating system projects have explored customizability. Recent research in extensible and customizable operating systems includes SPIN [3, 22] VINO [26, 27] Exokernel [8] Fluke [9], L4 [18] Cache Kernel [6] Choices [4] Nemesis [17] Scout [20] and K42 [2] Many of the above operating systems achieve customizability by extensibility. The Exokernel, Fluke, L4, and Cache Kernel allow for customizability by having the kernel redirect hardware events to external address ....
B. Ford, M. Hibler, J. Lepreau, P. Tullman, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In Proc. 2nd Symp. on Operating Systems Design and Implementation, pages 137--152, 1996.
Denali: Lightweight Virtual Machines for Distributed and.. - Whitaker, Shaw, Gribble (2002) (21 citations) (Correct)
....code to a virtual desktop inside Windows 2000. However, because it is implemented inside a conventional operating system, WindowBox s security is limited by high level abstractions and global namespaces. By virtualizing at a layer below operating system abstractions, VMMs are more secure. Fluke [23] proposes a recursive VM model, in which a parent can re implement OS functionality on behalf of its child processes. In Denali, we virtualize at a layer below OS abstractions, whereas Fluke s virtual architecture includes high level IPC calls. By virtualizing at the level of hardware, we avoid ....
B. Ford, M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, October 1996.
Scale and Performance in the Denali Isolation Kernel - Whitaker, Shaw, Gribble (2002) (59 citations) (Correct)
....our goal of isolating performance between competing applications. Nemesis adopts a similar approach, pushing most kernel functionality to user level. Nemesis was not designed to sandbox untrusted code; Nemesis applications share a global le system and a single virtual address space. The Fluke OS [13] proposes a recursive virtual machine model, in which a parent can re implement OS functionality on behalf of its children. Like Denali, Fluke exposes private namespaces through its state encapsulation property. The primary motivation for this is to support checkpointing and migration, though ....
B. Ford et al. Microkernels meet recursive virtual machines. In Proceedings of the Second Symposium October 1996.
Specialization Tools and Techniques for Systematic .. - McNamee, Walpole, .. (2001) (7 citations) (Correct)
....with each other is left to the authors of the user level system services and the developers of subsequent customizations. The Utah Flux project has constructed a software architecture that supports replacement of operating system components, particularly nesting of operating system components [19, 20] using the recursive virtual machine concept. Each virtual machine level can be customized for specific needs, and is protected from other virtual machines at the same level. The layers of indirection implicit in this structure come at some cost. However, specialization may be able to minimize ....
Ford, B., M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson. Microkernels Meet Recursive Virtual Machines. in Symposium on Operating Systems Design and Implementation (OSDI). 1996.
Systems Directions for Pervasive Computing - Grimm, Davis, Hendrickson.. (2001) (18 citations) (Correct)
....functionality is provided by components, which implement units of functionaly. Environments serve as the new unifying abstraction: They are containers for stored tuples, components, and other environments, providing a combination of the roles served by file system directories and nested processes [5, 12, 24] in more traditional operating systems. Environments make it possible to group data and functionality when necessary. At the same time, they allow for data and functionality to evolve separately and for applications to store and exchange just data, thus avoiding the two problems associated with ....
B. Ford, M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, pages 137--151, Seattle, Washington, Oct. 1996.
The Fluke Device Driver Framework - Van Maren (1999) (1 citation) Self-citation (Lepreau) (Correct)
No context found.
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson. Microkernels meet recursive virtual machines. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 137--151, Seattle, WA, October 1996. USENIX Association.
Isolation, Resource Management and Sharing in the Kaffeos Java.. - Back (2002) Self-citation (Back) (Correct)
....and resource control. This task also mirrors the responsibility of an operating system kernel. For example, a kernel must bound IPC port queues to ensure that one process does not deny communications service to another process. In systems that employ capabilities, such as Mach [1] or Fluke [36], the kernel must track capabilities to ensure that a process does not acquire communication rights that it should not have. In systems that provide shared memory or memory mapped files, the kernel provides memory that is shared between processes. The memory mappings into the participating ....
....from high overhead. In addition, it makes resource accounting incomplete, because allocations within internal VM code cannot be accounted for. 6.1. 4 Alta The Alta [79, 80] system provides an environment that runs multiple applications in a single JVM that is modeled after the Fluke microkernel [36]. The Fluke microkernel provides a nested process model, in which a parent process controls all aspects of its child process. It does so by interposing on the child s communication, which is done via IPC. As in many microkernels, system services are provided through servers, which complicates ....
Ford, B., Hibler, M., Lepreau, J., Tullmann, P., Back, G., and Clawson, S. Microkernels meet recursive virtual machines. In Proceedings (Seattle, WA, October 1996), USENIX Association, pp. 137--151.
Secure Composition of Insecure Components - Sewell, Vitek (1999) (23 citations) (Correct)
No context found.
B. Ford, M. Hibler, J. Lepreau, P. Tullman, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In USENIX, editor, 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996.
Solitary Confinement: Using Artificial Cells to Protect.. - Jeff Gilchrist Elytra (2005) (Correct)
No context found.
B. Ford and M. H. et al. Microkernels meet recursive virtual machines. In Operating Systems Design and Implementation, pages 137--151, 1996.
A Survey of Kernel-Middleware Interaction in Support of.. - McKinley (2004) (Correct)
No context found.
B. Ford, M. Hibler, J. Lepreau, P. Tullmann, G. Back, S. Goel, and S. Clawson, Microkernels Meet Recursive Virtual Machines, Tech. Rep. UUCS-96-004, Department of Computer Science, University of Utah, May 1996.
Explicit Control in a Batch-Aware Distributed File System - John Bent Douglas (2004) (1 citation) (Correct)
No context found.
B. Ford, M. Hibler, J. Lepreau, P. Tullman, G. Back, and S. Clawson. Microkernels Meet Recursive Virtual Machines. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), Seattle, WA, Oct 1996.
Nomadic Operating Systems - Hansen, Henriksen (2002) (Correct)
No context found.
Ford, Bryan, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back and Stephen Clawson. Microkernels meet recursive virtual machines. In Operating Systems Design and Implementation, pages 137--151, 1996.
Coordinating Access to Computation and Data in Distributed Systems - Thain (2004) (Correct)
No context found.
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullman, Godmar Back, and Steven Clawson. Microkernels Meet Recursive Virtual Machines. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), Seattle, WA, Oct 1996.
A New Approach to Mobile Code Security - Wallach (1999) (21 citations) (Correct)
No context found.
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullman, Godmar Back, and Stephen Clawson. Microkernels meet recursive virtual machines. In Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI '96), pages 137--151, Seattle, Washington, October 1996.
Scale and Performance in the Denali Isolation Kernel - Whitaker, Shaw, Gribble (2002) (59 citations) (Correct)
No context found.
B. Ford et al. Microkernels meet recursive virtual machines. In Proceedings of the Second Symposium October 1996.
Reconstructing I/O - Fraser, Hand, Neugebauer, Pratt.. (2004) (2 citations) (Correct)
No context found.
B. Ford, M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, pages 137--151, October 1996.
Coordinating Access to Computation and Data in Distributed Systems - Thain (2004) (Correct)
No context found.
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullman, Godmar Back, and Steven Clawson. Microkernels Meet Recursive Virtual Machines. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), Seattle, WA, Oct 1996.
Constructing Services with Interposable Virtual Hardware - Andrew Whitaker Richard (2004) (2 citations) (Correct)
No context found.
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Shantanu Goel, and Steven Clawson. Microkernels meet recursive virtual machines. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, October 1996.
Explicit Control in a Batch-Aware Distributed File System - John Bent Douglas (2004) (1 citation) (Correct)
No context found.
B. Ford, M. Hibler, J. Lepreau, P. Tullman, G. Back, and S. Clawson. Microkernels Meet Recursive Virtual Machines. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), Seattle, WA, Oct 1996.
Explicit Control in a Batch-Aware Distributed File System - John Bent Douglas (2004) (1 citation) (Correct)
No context found.
B. Ford, M. Hibler, J. Lepreau, P. Tullman, G. Back, and S. Clawson. Microkernels Meet Recursive Virtual Machines. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), Seattle, WA, Oct 1996.
Naming and Sharing Resources across Administrative Boundaries - Howell (2000) (Correct)
No context found.
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson. Microkernels meet recursive virtual machines. In Implementation, pages 137--151, October 1996.
Efficient, Protected Extension of Commodity Operating Systems - Ghormley (1998) (Correct)
No context found.
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullman, Godmar Back, and Steven Clawson. Microkernels Meet Recursive Virtual Machines. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, October 1996. 100
Strongly Partitioned System Architecture for Integration of.. - Kim (2001) (Correct)
No context found.
B. Ford, M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson, "Microkernels Meet Recursive Virtual Machines," Proc. of USENIX Symposium on Operating Systems Design and Implementation," Oct. 1996.
Secure Composition of Untrusted Code: Box π, Wrappers, and.. - Sewell, Vitek (2002) (Correct)
No context found.
B. Ford, M. Hibler, J. Lepreau, P. Tullman, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In USENIX, editor, 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28-31, 1996.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC