See this document in CiteSeerX!

Real-Time Programming and L4 Microkernels  (Make Corrections)  
Sergio Ruocco National ICT Australia School of Computer Science and...



  Home/Search   Context   Related

 
View or download:
nicta.com.au/publicatio...Ruocco_06.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  nicta.com.au/pu...06.abstract.pml (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements that now faces the challenges of tightly integrated systems, where user interface, multimedia, OS, wireless protocols and even software-defined radios must run on a single CPU. This paper discusses the various aspects of real-time programming on L4-embedded, focusing on the issues caused by the extreme speed optimisations it inherited from its ancestors. We conclude that real-time programming... (Update)

Active bibliography (related documents):   More   All
0.5:   L4Cars - Elphinstone, Heiser, Huuck, Petters, .. (2005)   (Correct)
0.3:   Implementing Transparent Shared Memory on Clusters - Using Virtual Machines   (Correct)
0.2:   A Physically-Addressed L4 Kernel - Nourai (2005)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ national-realtime,
  author = "Sergio Ruocco National",
  title = "Real-Time Programming and L4 Microkernels",
  url = "citeseer.ist.psu.edu/757180.html" }
Citations (may not include all citations):
447   Exokernel: An operating system architecture for application-.. - Engler, Kaashoek et al. - 1995  DBLP
169   The design and implementation of an operating system to supp.. - Leslie, McAuley et al. - 1996
137   Unix as an application program - Golub, Dean et al. - 1990  DBLP
98   Improving IPC by kernel design - Liedtke - 1993  ACM   DBLP
83   An architectural overview of QNX (context) - Hildebrand - 1992  ACM   DBLP
68   CPU Inheritance Scheduling - Ford, Susarla - 1996  ACM   DBLP
65   Real-Time Systems (context) - Liu - 2000  ACM
60   kernel construction - Liedtke - 1995
28   Towards real microkernels - Liedtke - 1996
28   Exterminate all operating system abstractions - Engler, Kaashoek - 1995  ACM
25   A persistent system in real use: Experience of the first 13 .. - Liedtke - 1993
17   Pragmatic nonblocking synchronization for real-time systems - Hohmuth, artig - 2001  ACM   DBLP
12   The Exokernel operating system architecture - Engler - 1999  ACM
11   User-level realtime scheduler exploiting kernel-level fixed .. (context) - Kamada, Yuhara et al. - 1996
6   The Fiasco kernel: requirements definition - Hohmuth - 1998
5   Kernels must and can be small (context) - Liedtke - 1996
4   What really happened on Mars Rover Pathfinder (context) - Jones - 1997
3   Itanium --- a system implementor's tale - Gray, Chapman et al. - 2005
2   User-level device drivers: Achieved performance - Leslie, Chubb et al. - 2005
1   Report on the workshop on micro-kernels and other kernel arc.. (context) - Langston - 1992
1   embedded Kernel Reference Manual Version N (context) - Australia - 2005
1   Resources and Priorities (context) - Elphinstone - 2001
1   Quality assuring scheduling (context) - Steinberg - 2004
www.fsmlabs.com/against-priority-inheritance.html
http://l4ka.org/

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