Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proceedings of the 16th ACM Symposium on OS Principles (SOSP), pages 66--77, St. Malo, France, October 1997. @ NUS Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Legba: Fast Hardware Support for Fine-Grained Protection - Wiggins, Winwood, Tuch.. (2003) (1 citation) (Correct)
.... OS primitives can reduce the cross domain invocation cost to within a single order of magnitude of that of a normal function call [16, 17] While this still constitutes significant overhead on primitive operations, in terms of overall system execution times this is often reduced to a few percent [18,19]. Still, the overheads may be too high for component software with high invocation frequencies. However, software only protection has its cost too: run time checks cannot be avoided unless restrictive programming models are imposed, and the size of the trusted computing base (TCB) dramatically ....
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proc. 16th ACM SOSP, pages 66--77, St. Malo, France, Oct 1997.
Resource Control of Untrusted Code in an Open Network Environment - Menage (2003) (2 citations) (Correct)
....and memory management are provided by (possibly privileged) servers. Whilst this approach does provide a more flexible method of OS design, the additional modularity and protection can increase the overheads of communication between applications and the various servers. However, previous work [Hartig97] has suggested that with careful optimisations, the cost of such communication can be comparable to a traditional kernel based system. A more fundamental problem with the microkernel approach is that it makes accurate resource accounting even more di#cult than in the case of a kernel. Let us ....
....measure a null invocation using two standard Windows NT IPC mechanisms. J Kernel Null LRMI (Local Remote Method Invocation) measures a call through a J Kernel Capability [Hawblitzel98] running under a Microsoft JVM and a Sun JVM. L4 Null IPC measures the time for an IPC in the L4 microkernel [Hartig97] It may be seen from Table 7.3 that Rcane services are substantially faster than IPCs on Windows NT or Nemesis; they are comparable with IPCs over the J Kernel. J Kernel and Rcane both take a similar approach to protection, by employing multiple disjoint sets of data in a single address space, ....
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The Performance of -Kernel-based Systems. In SOSP [SOS97], pages 66--77. (pp 49, 132)
Exploiting Segmentation Mechanism for Protecting against.. - Shinagawa, Kono, Masuda (2000) (3 citations) (Correct)
....not insist on the principle of least privilege : a mobile code should be granted the most restrictive collection of capabilities required to perform its legitimate duties, and no more [5] Designing a protection policy is much more complicated in Palladium than in our approach. LRPC [1] and L4 [6] attempt to minimize the overhead of interprocess communication in traditional operating systems. Since interprocess communication inherently requires to switch computing resources, our model based on fine grained protection domains will over perform interprocess communication. If a more efficient ....
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The Performance of -Kernel-Based Systems. In Proc. of the 16th ACM Symposium on Operating System Principles (SOSP '97), pages 66--77, October 1997.
Unknown - (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proceedings of the 16th ACM Symposium on OS Principles (SOSP), pages 66--77, St. Malo, France, October 1997.
Legba: Fast Hardware Support for Fine-Grained Protection - Wiggins, Winwood, Tuch.. (2003) (1 citation) (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proc. 16th ACM SOSP, pages 66--77, St. Malo, France, Oct 1997.
Future Directions in the Evolution of the L4 Microkernel - Elphinstone (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proc. 16th Symp. on Operating Systems Principles. ACM, 1997.
A Physically-Addressed L4 Kernel - Nourai (2005) (Correct)
No context found.
Hermann H artig, Michael Hohmuth, Jochen Liedtke, Sebastian Sch onberg, and Jean Wolter. The performance of -kernel-based systems. In Proceedings of the 16th ACM Symposium on OS Principles, pages 66--77, St. Malo, France, October 1997.
User-Level Management of Kernel Memory - Haeberlen, Elphinstone (2003) (1 citation) (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proc. 16th ACM SOSP. ACM, 1997.
Legba: Fast Hardware Support for Fine-Grained Protection - Wiggins, Winwood, Tuch.. (2003) (1 citation) (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proc. 16th ACM SOSP, pages 66--77, St. Malo, France, Oct 1997.
Future Directions in the Evolution of the L4 Microkernel - Elphinstone (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proc. 16th Symp. on Operating Systems Principles. ACM, 1997.
Implementing A Secure Setuid Program - Shinagawa, Kono (2004) (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proc. of the 16th ACM Symposium on Operating Systems Principles (SOSP '97), pages 66--77, October 1997.
Eliminating Interrupt Overload in Embedded Systems - Regehr, Duongsaa (2004) (Correct)
No context found.
Hermann H artig, Michael Hohmuth, Jochen Liedtke, Sebastian Sch onberg, and Jean Wolter. The performance of -kernel-based systems. In Proc. of the 16th ACM Symposium on Operating Systems Principles (SOSP), pages 66--77, Saint-Mal o, France, October 1997.
Constructing Services with Interposable Virtual Hardware - Andrew Whitaker Richard (2004) (2 citations) (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, St.- Malo, France, October 1997.
The Fluke Device Driver Framework - Van Maren (1999) (1 citation) (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, pages 66--77, St. Malo, France, October 1997.
Decomposition of Preemptive Scheduling in the Go!.. - Greg Law Julie (2000) (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -Kernel-based systems. In Proceedings of the 16th Symposium on Operating Systems, pages 66-- 77, 1997.
User-Level Management of Kernel Memory - Haeberlen, Elphinstone (2003) (1 citation) (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, and Jean Wolter. The performance of -kernel-based systems. In Proc. 16th ACM SOSP. ACM, 1997.
Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (2000) (11 citations) (Correct)
No context found.
Hermann Hartig, Michael Hohmuth, Jochen Liedtke, and Sebastian Schonberg. The performance of -kernel-based systems. In SOSP-16 [101], pages 66--77.
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.