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. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Managing Kernel Memory Resources from User Level - Haeberlen (2003) (Correct)
....with only small modifications. Advanced features like SMP or Small Address Spaces are not supported. The kernel consists of 5.860 lines of C code, 37 lines of IA 32 assembler code, and another 2.233 lines of C code for an optional kernel debugger. It is stable and complete enough to run L Linux [22], a variant of Linux 2.4 that runs as a userlevel application on top of L4 microkernels. Since the original L Linux does not support resource faults, we had to modify its internal pagers (a 119 lines patch) Afterwards, we were able to boot a standard Debian distribution. The kernel sources ....
....they affect a fast path inside the kernel. Thus, one important goal of our implementation effort was to demonstrate that this cost is reasonable. The most important fast path in an L4 microkernel is the IPC system call, which has traditionally been used as a performance metric in the L4 community [22, 32, 38]. Hence, we decided to use this system call in our evaluation. For measurement, we used the canonical pingpong benchmark, which has been used with most of the recent L4 implementations. The benchmark creates two threads that continuously send tiny IPC messages back and forth, using the simplest ....
Hermann Hrtig, Michael Hohmuth, Jochen Liedtke, and Sebastian Schnberg. The performance of -kernel-based systems. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, pages 66--77. ACM Press, Oct 1997.
Using Platform-Specific Optimizations in Stub-Code Generation - Haeberlen (2002) (Correct)
....to generate application binaries (gcc) This section explains each of those elements in more detail. 3.1 The L4 microkernel family The L4 microkernel was developed by Jochen Liedtke at the German National Research Center for Information Technology (GMD) and the IBM T. J. Watson Research Center [22]. As a true microkernel, L4 implements only a minimal set of concepts: Address spaces and virtual memory, which is managed by external pagers Threads, which are activities executing inside an address space Synchronous, message based inter process communication (IPC) Priority based ....
Hermann Hrtig, Michael Hohmuth, Jochen Liedtke, and Sebastian Schnberg. The performance of -kernel-based systems. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, pages 66--77. ACM Press, Oct 1997. 37
Stub-Code Performance is Becoming Important - Andreas Haeberlen Jochen (2000) (3 citations) Self-citation (Liedtke) (Correct)
....Component interaction in such systems has to be both convenient in use and highly performant in execution. For over a decade, performance oriented research focused on microkernel construction, in particular ipc performance, finally resulting in acceptable ipc overheads (100. 200 cycles)[4, 1]. The second property, convenience in use, leads to the development of interface definition languages (IDLs) e.g. Corba IDL [5] and according IDL compilers. From interface procedure method definitions, such compilers generate stub code that marshals parameters on the client side, communicates ....
....compiler in the SawMill project. Section 3 describes the stub code model that was designed for the IDL compiler, and Section 4 illustrates how the compiler works. Finally, Section 5 reports about the achieved stub code quality. 2 Prerequisites 2. 1 L4 x86 IPC L4 s basic communication paradigm [4] is synchronous ipc. Typical operations are send, receive, call (atomic send receive) and atomic reply wait. Rich message types help to improve end to end ipc performance: Register messages consist of a small number of 32 bit words that are sent and received in general purpose registers. On the ....
H. Hrtig, M. Hohmuth, J. Liedtke, S. Schnberg, and J. Wolter. The performance of -kernel-based systems. In 16th ACM Symposium on Operating System Principles (SOSP), pages 66--77, St. Malo, oct 1997.
A New Protection Model for Component-Based Operating Systems - Law (2001) (4 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 Symposium on Operating Systems, pages 66-77, 1997.
Dynamic Loading of Native L4 Programs - Mehnert (Correct)
No context found.
H. Hrtig, M. Hohmuth, J. Liedtke, S. Schnberg, and J. Wolter. The performance of #-kernel-based systems. In 16th ACM Symposium on Operating System Principles (SOSP), pages 66--77, Saint-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.
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