L4Ka Team. L4 eXperimental Kernel Reference Manual. University of Karlsruhe, version 4-x.2 edition, October 2001. http: //l4ka.org/projects/version4/l4-x2.pdf. 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)
....adapted to our scheme. 4. 1 The L4 microkernel The original L4 microkernel was developed by Jochen Liedtke at the German National Research Center for Information Technology [32] Since then, many extended and revised versions have been designed; for our work, we decided to use the Version 4 API [30]. In this version, the kernel provides only two basic abstractions, threads and address spaces, which are complemented by a synchronous IPC primitive for inter thread communication. All other functionality is provided by user level components. L4 implements the recursive virtual address space ....
....Therefore, it is important to internally account this operation to the faulting principal, e.g. by using its time slice rather than that of the pager. 5. 2 Differences to L4 By introducing our scheme for kernel memory management into L4, we have changed several aspects of the original L4 model [30]. Most of these aspects have already been briefly mentioned in previous sections. In the following section, we explain the changes in more detail and describe their consequences. 5.2.1 Resource faults In the original L4 model, page faults can only occur in user space, i.e. in the useraccessible ....
[Article contains additional citation context not shown here]
The L4Ka Team. L4 experimental kernel reference manual, version X.2. URL http://www.l4ka.org. Feb 2002.
Using Platform-Specific Optimizations in Stub-Code Generation - Haeberlen (2002) (Correct)
.... architectures, including Alpha, MIPS, StrongARM, IA 64 and PowerPC; also, the kernel API has been revised twice (V2, X0, V4) For this work, we chose the IA 32 version of the Hazelnut kernel, which implements the X0 version of the API [27] Additionally, in order to cover the upcoming V4 API [33], we sometimes include references to the Pistachio kernel. Because this work focuses on communication, we mainly discuss the IPC kernel primitive and omit other functions, such as scheduling or thread control. Please refer to the kernel manuals [26, 27, 33] for more information. Inter process ....
....in order to cover the upcoming V4 API [33] we sometimes include references to the Pistachio kernel. Because this work focuses on communication, we mainly discuss the IPC kernel primitive and omit other functions, such as scheduling or thread control. Please refer to the kernel manuals [26, 27, 33] for more information. Inter process communication In L4, IPC is synchronous. This means that both sender and receiver have to be ready at the same time, and that one partner may be blocked while waiting for the other. Also, communication is unbuffered, i.e. no intermediate kernel object is used ....
[Article contains additional citation context not shown here]
The L4Ka team. L4 experimental kernel reference manual, version X.2. http://www.l4ka.org, Feb 2002.
Dealing With TLB Tags - Or Want To (Correct)
No context found.
L4Ka Team. L4 eXperimental Kernel Reference Manual. University of Karlsruhe, version 4-x.2 edition, October 2001. http: //l4ka.org/projects/version4/l4-x2.pdf.
Future Directions in the Evolution of the L4 Microkernel - Elphinstone (Correct)
No context found.
L4Ka Team. L4 eXperimental Kernel Reference Manual. System Architecture Group, Dept. of Computer Science, Universitat Karlsruhe, revision 6 edition, October 2004.
Dealing with TLB Tags or I Want to Build a System, What Can L4 Do .. - Heiser (2001) (Correct)
No context found.
L4Ka Team. L4 eXperimental Kernel Reference Manual. University of Karlsruhe, version 4-x.2 edition, October 2001. http: //l4ka.org/projects/version4/l4-x2.pdf.
Future Directions in the Evolution of the L4 Microkernel - Elphinstone (Correct)
No context found.
L4Ka Team. L4 eXperimental Kernel Reference Manual. System Architecture Group, Dept. of Computer Science, Universitat Karlsruhe, revision 6 edition, October 2004.
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