论文信息 - Evolution of the PikeOS Microkernel

Evolution of the PikeOS Microkernel

The PikeOS microkernel is targeted at real-time embedded systems. Its main goal is to provide a partitioned environment for multiple operating systems with different design goals to coexist in a single machine. It was initially modelled after the L4 microkernel and has gradually evolved over the years of its application to the real-time, embedded systems space. This paper describes the concepts that were added or removed during this evolution and it provides the rationale behind these design decisions.

Robert Kaiser | R. Kaiser | S. Wagner | Stephan Wagner

[1] Jochen Liedtke,et al. L4 Reference Manual 486 Pentium , 1996 .

[2] Andreas Haeberlen,et al. User-Level Management of Kernel Memory , 2003, Asia-Pacific Computer Systems Architecture Conference.

[3] J. Liedtke. On -Kernel Construction , 1995 .

[4] Kevin Elphinstone,et al. Kernel data – first class citizens of the system , 2006 .

[5] Sergio Ruocco. Real-Time Programming and L4 Microkernels , 2006 .

[6] Jeff Bonwick,et al. The Slab Allocator: An Object-Caching Kernel Memory Allocator , 1994, USENIX Summer.

[7] Beng-Hong Lim,et al. Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor , 2001, USENIX Annual Technical Conference, General Track.

[8] Gernot Heiser,et al. OS Verification - Now! , 2005, HotOS.

[9] Jochen Liedtke,et al. Clans & Chiefs , 1992, ARCS.

[10] Trent Jaeger,et al. Preventing denial-of-service attacks on a /spl mu/-kernel for WebOSes , 1997, Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133).

[11] T N H E R D E R, H E R B E R T B O S, B E N G R A S, P,et al. modular system programming in MINIX 3 , .

[12] Kevin Jeffay,et al. Slotted priorities: supporting real-time computing within general-purpose operating systems , 1997 .