G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, J. Liedtke. The Mungi single-address-space operating system. Softw.: Pract. & Exp., 28(9):901--928, Jul 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Isolation, Resource Management and Sharing in the Kaffeos Java.. - Back (2002) (Correct)
....in its own portable format: it compiles them to native code during loading and executes the native code directly. The advantage of Juice is that its portable format is faster to decode and easier to compile than Java s bytecode format. 6.3. 2 Single Address Space Systems Some operating systems [18, 44, 66, 86] decouple the notions of virtual address space and protection domain. Instead, they exploit a single address space for all processes. Placing di#erent processes in di#erent protection domains allows the system to control which pages are accessible to a given process. This control is enforced using ....
....therefore not susceptible to sharing attacks. However, because a type safe language is not used, memory protection must be used when untrusted threads access a shared segment, which is not required when di#erent Ka#eOS processes access shared kernel objects. 132 Systems such as Angel [86] Mungi [44], or Opal [18] implement access to secondary storage by allowing shared objects to be made persistent. As a consequence, such systems have to manage the secondary storage resources used. This problem is very similar to the problem of managing shared objects in Ka#eOS. Angel used a form of garbage ....
Heiser, G., Elphinstone, K., Vochteloo, J., Russell, S., and Liedtke, J. The Mungi single-address-space operating system. Software Practice and Experience 28, 9 (1998), 901--928.
The JX Operating System - Golm, Felser, Wawersich, Kleinöder (2002) (5 citations) (Correct)
....implementation of components, especially as there exist techniques to build unified interfaces in MMU based systems [23] and, using our memory objects, also in language based systems. There is a considerable amount of work in single address space operating systems, such as Opal [11] and Mungi [29]. Most of these systems use hardware protection, depend on the mechanisms that are provided by the hardware, and must structure the system accordingly, which makes their problems much different from ours. Language based OS. Using a safe language as a protection mechanism is an old idea. A famous ....
G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, and J. Liedtke. The Mungi single-address-space operating system. In Software: Practice and Experience, 28(9), pp. 901-928, Aug. 1998.
Garbage Collector Memory Accounting in Language-Based Systems - Price, Rudys, Wallach (2002) (1 citation) (Correct)
....to those of language based systems. Most single address space operating systems provide memory accounting semantics similar to traditional operating systems: a single entity is charged for each memory region in use, and is free to deallocate the region at will. Angel [39] Opal [14] and Mungi [32] are example single address space operating systems. 5.2 Language Based Resource Accounting Systems such as Smalltalk [26] Pilot [40] Cedar [44] Lisp Machines [10] and Oberon [49] have taken advantage of language based mechanisms to provide OS like services. At least as early as the ....
G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, and J. Liedtke. The Mungi single-address-space operating system. Software: Practice and Experience, 28(9):901--928, July 1998.
Implementing Transparent Shared Memory on Clusters - Using Virtual Machines Self-citation (Heiser) (Correct)
No context found.
G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, J. Liedtke. The Mungi single-address-space operating system. Softw.: Pract. & Exp., 28(9):901--928, Jul 1998.
Future Directions in the Evolution of the L4 Microkernel - Elphinstone Self-citation (Elphinstone) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software Practice and Experience, 28(9), July 1998.
Implementation of Fast Address-Space Switching and TLB .. - Wiggins, Tuch, Uhlig, .. (2003) Self-citation (Heiser) (Correct)
No context found.
Heiser, G., Elphinstone, K., Vochteloo, J., Russell, S., Liedtke, J.: The Mungi single-address-space operating system. Software: Practice and Experience 28 (1998) 901--928
Implementation of Fast Address-Space Switching and TLB .. - Wiggins, Tuch, Uhlig, .. (2003) Self-citation (Heiser) (Correct)
No context found.
Heiser, G., Elphinstone, K., Vochteloo, J., Russell, S., Liedtke, J.: The Mungi single-address-space operating system. Software: Practice and Experience 28 (1998) 901--928
Implementing Transparent Shared Memory on Clusters - Using Virtual Machines Self-citation (Heiser) (Correct)
No context found.
G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, J. Liedtke. The Mungi single-address-space operating system. Softw.: Pract. & Exp., 28(9):901--928, Jul 1998.
User-Level Management of Kernel Memory - Haeberlen, Elphinstone (2003) (1 citation) Self-citation (Elphinstone) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software Practice and Experience, 28(9), Jul 1998.
A Comparison of Address Translation Mechanisms for.. - Tuch (2002) Self-citation (Heiser) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software: Practice and Experience, 28(9):901--928, July 1998.
Future Directions in the Evolution of the L4 Microkernel - Elphinstone Self-citation (Elphinstone) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software Practice and Experience, 28(9), July 1998.
Encapsulated User-Level Device Drivers in the Mungi Operating.. - Nicholas Self-citation (Heiser) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Softw.: Pract. & Exp., 28(9):901--928, Jul 1998.
A Secure, Language Independent, High Performance.. - Potts, Gray, Leslie.. Self-citation (Heiser) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Softw.: Pract. & Exp., 28(9):901--928, Jul 1998.
User-level Management of Kernel Memory - Haeberlen, Elphinstone (2003) (1 citation) Self-citation (Elphinstone) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software Practice and Experience, 28(9), Jul 1998.
User-Level Management of Kernel Memory - Haeberlen, Elphinstone (2003) (1 citation) Self-citation (Elphinstone) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software Practice and Experience, 28(9), Jul 1998.
Implementation of Fast Address-Space Switching and TLB .. - Wiggins, Tuch, Uhlig, .. (2003) Self-citation (Heiser) (Correct)
No context found.
Heiser, G., Elphinstone, K., Vochteloo, J., Russell, S., Liedtke, J.: The Mungi single-address-space operating system. Software: Practice and Experience 28 (1998) 901--928
Itanium Page Tables and TLB - Chapman, Wienand, Heiser (2003) Self-citation (Heiser) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software: Practice and Experience, 28(9):901--928, July 1998. 14
Towards Untrusted Device Drivers - Leslie, Heiser (2003) (2 citations) Self-citation (Heiser) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software: Practice and Experience, 28(9):901--928, July 1998.
A Comparison of Address Translation Mechanisms for.. - Tuch Self-citation (Heiser) (Correct)
....the above solutions is largely dependent on the operating systems features (e.g. shared libraries, fork, zero copy, etc) This is related to the entire operating system design which is well beyond the scope of this thesis. Since there are real systems (e.g. PowerPC [28] or a SASOS like Mungi [14] or Sombrero [39] that do prevent synonyms it appears justifiable to make this assumption. Both the SoftVM [18] and COMA [32] papers have assumed PowerPClike segments. The benchmarks considered later do not require synonyms for their operation. 2.6.1.2 Homonyms A homonym occurs on ....
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software: Practice and Experience, 28(9):901--928, July 1998.
A Resource Management Framework for Priority-Based.. - Cheung, Heiser Self-citation (Heiser) (Correct)
....a quota system which limits the amount of space a user can occupy. Alternatively, economic models can be used, which associate a price with a resource, and users buy or rent space, involving some form of payment [Anderson et al. 1986, Mullender and Tanenbaum, 1986, Drexler and Miller, 1988, Heiser et al. 1998b] On the other hand, processor time is allocated according to some priority scheme. Priorities can be hard, meaning that a process will only execute if no higher priority process is runnable, or soft, meaning that a process priority in uences the frequency or duration for which its process is ....
....The design of a generic resource management framework is presented in Section 4, followed by details on the mechanism for prioritising physical memory allocation in Section 5. Experimental results for a prototype model are presented in Section 6. 2 Mungi 2. 1 Fundamental Abstractions Mungi [Heiser et al. 1998a] is a single address space operating system (SASOS) and as such executes all processes on all nodes in a single, large virtual address space. This address space contains all persistent and transient data, simplifying data sharing and persistent storage. All operations on this address space are ....
[Article contains additional citation context not shown here]
Heiser, G., Elphinstone, K., Vochteloo, J., Russell, S., and Liedtke, J. (1998a). The Mungi single-address-space operating system. Software: Practice and Experience, 28(9):901-928.
The Design and Implementation of the L4 Microkernel on the.. - Wiggins (1999) (1 citation) Self-citation (Heiser Vochteloo) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software: Practice and Experience, 28(9):901-928, July 1998.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software--- Practice and Experience, 28(9):901--928, July 1998.
Naming and Sharing Resources across Administrative Boundaries - Howell (2000) (Correct)
No context found.
G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, and J. Liedtke. The Mungi single-address-space operating system. Software---Practice and Experience, 28(9):901--928, July 1998.
A Survey on the Interaction between Caching, Translation and.. - Wiggins (2003) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software: Practice and Experience, 28(9):901--928, July 1998.
Design Evolution of the EROS Single-Level Store - Shapiro, Adams (2002) (1 citation) (Correct)
No context found.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software -- Practice and Experience, 28(9):901--928, 1998.
First 50 documents
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