J. Liedtke. L4 Reference Manual, September 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Safe Class and Data Evolution in Large and Long-Lived Java.. - Dmitriev (2001) (10 citations) (Correct)
....development, new concepts and APIs to be understood, etc. In applications running on top of an orthogonally persistent platform, data modelling, operations such as long lived data reading writing, and The exception are persistent operating systems, such as Grasshopper [DdBF 94] or L4 [Lie96] In such systems, processes can be made persistent and survive across machine power downs. Such systems, however, are still at an experimental stage and are not widely used. ensuring schema consistency, are achieved in a way that is familiar and natural to the developer: the standard constructs ....
J. Liedtke. L4 Reference Manual, September 1996.
Development of a Prototype for a Security Platform for Mobile.. - Stüble (Correct)
.... has been successfully performed by two other projects: The RT Linux Project of the University of New Mexico uses a small kernel to provide real time processes in parallel to the Linux operating system [6] Also the DROPS project , which uses the L4 Fiasco kernel and an adapted L4 Linux [27] [20] provides real time processes. Based on a predecessor of the L4 kernel, L3, a persistent environment is realized providing separated mutual protected DOS clients [26] This approach is taken up in Section 4.5.2.1. 1.3 Limits To develop the entire PERSEUS project a lot of man years are ....
....that is always invoked as described in the Common Criteria, subsystems must not be able to initiate a communication to other subsystems without recognition by the kernel. 4.2 The Fiasco Microkernel This section gives a short overview of the Fiasco microkernel. It contains excerpts from [19] [27] and [25] The Fiasco microkernel is a new implementation of the L4 microkernel interface for the x86 architecture. L4 is a microkernel interface de ned by Jochen Liedke, and there exist implementations for the x86 , the MIPS and the Alpha CPU. L4 x86 is implemented in highly optimized assembly ....
Jochen Liedke. L4 Reference Manual. GMD, 1996.
Using Platform-Specific Optimizations in Stub-Code Generation - Haeberlen (2002) (Correct)
....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 ....
Jochen Liedtke. Lava nucleus (LN) reference manual. http://www.l4ka.org, Mar 1998.
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