Steven Lucco. High-performance microkernel systems (abstract). In Proc. of the first Symp. on OSDI, November 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....to emulate faithfully, virtualization can result in a complex and inefficient OS. In contrast, our approach exports hardware resources rather than emulates them, allowing an efficient and fast implementation. OS extensibility has a long history [15, 20] Current attempts include SPIN [4] Bridge [17], and Vino [22] Some of the techniques used in these systems, such as type safe languages and software faultisolation [25] are also applicable to exokernels. The commercial world has long looked at this issue in the form of unsafe dynamically loaded device drivers. 6 Conclusions Two decades ....

Steven Lucco. High-performance microkernel systems (abstract). In Proc. of the first Symp. on OSDI, November 1994.

.... their interface and power is very limited: they do not allow control over pagetable structure, allocation of specific physical pages, or even access to many page attributes (e.g. pagesize or uncached) 7] The Bridge project attempts to move the virtual memory decisions into the compiler [15]. This is possibly another way to implement many of the features of AVM. However, not enough details have been provided to do a proper comparison of Bridge and AVM. 5 6 Conclusions Application level VM is a novel virtual memory organization which offers applications complete control over the VM ....

Steven Lucco. High-performance microkernel systems (abstract). In Proc. of the first Symp. on OSDI, November 1994.

....limiting the range of possible extensions. Second, the interface between the language s programming environment and the rest of the system is generally narrow, making system integration difficult. Finally, interpretation overhead may be a limiting factor to performance. Several projects [Luc94, EKO94, SS94] are exploring the use of software fault isolation [WLAG93] to allow application code, written in any language, to be linked into the kernel s virtual address space. Software fault isolation relies on a binary rewriting tool that inserts explicit checks on memory references and ....

Steven Lucco. High-Performance Microkernel Systems. In Proceedings of the First USENIX Symposium on Operting Systems Design and Implementation (OSDI), page 199, November 1994.

....with the application. However, this imposes significant overhead due to context switching. This cost can be reduced by running operating system servers in the address space of the kernel or by migrating threads between address spaces [Bershad et al. 1990, Lepreau et al. 1993, Ford Lepreau 1994, Lucco 1994] but these solutions would require substantial modifications to existing commercial UNIXes. The Slic prototype is therefore targeted at enabling extensions like those in the upper right No Protection or Protection and or Enforcement Needed Enforcement Required system calls System call tracing ....

S. Lucco. "High-Performance Microkernel Systems". In Proceedings of the 1st USENIX Symposium on Operating Systems Design and Implementation, p. 199, November 14--17 1994.

.... performance of incrementally constructed and specialized system code [Massalin Pu 89] 4 Flexible software protection Several projects are currently seeking to improve the number and quality of the assumptions that can be made of code that interacts with an operating system [Engler et al. 94, Lucco 94, Bershad et al. 94] The fundamental idea in these projects is that by constraining the actions of user code, that code can interact more closely with untrusting code that would otherwise require a runtime protection mechanism. For example, by limiting the range of addresses to which a code ....

Lucco, S. High-Performance Microkernel Systems. In Proceedings of the First USENIX Symposium on Operting Systems Design and Implementation (OSDI), page 199, November 1994.

....and previous approaches is the explicit view that the kernel should not provide high level core abstractions. In other systems, the effective operating system interface is much higher level (e.g. page tables are implemented by the kernel) Current extensible OS projects include Scout [20] Bridge [30], and Vino [41] Some of the techniques used in these systems, such as type safe languages [7, 32, 37] and software fault isolation [16, 46] are also applicable to exokernels. These systems are just beginning to be constructed, so it is difficult to determine their relationship to exokernels in ....

Steven Lucco. High-performance microkernel systems (abstract). In Proc. of the first Symp. on OSDI, November 1994.

No context found.

S. Lucco. High-performance microkernel systems. November 1994.

No context found.

Lucco S., "High-Performance Microkernel Systems." In Proceedings of the First Symposium on Operating Systems Design and Implementation, 1994, p. 199.

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