References

1

Michael Beck, Harald Böhme, et al. LINUX Kernel Internals. Addison-Wesley, 1996.

2

Alan Burns. Scheduling hard real-time systems: A review. Software Engineering Journal, 6(3):116-128, 1991.

3

Bill Crum. Data acquisition and control using Real-Time Linux. Master's thesis, New Mexico Institute of Mining and Technology, 1997.

4

Borko Furht, Dan Grostick, et al. Real-time UNIX systems: design and application guide. Kluwer Academic Publishers Group, Norwell, MA, USA, 1991.

5

Bill O. Gallmeister. POSIX.4 - Programming for the Real World. O'Reilly & Associates, 1995.

6

P. M. Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 13(1), January 1991.

7

Dan Hildebrand. Implementing the Win32 API over a POSIX realtime OS. Available from http://www.qnx.com/whitepaper/qnxwin32.html.

8

Dan Hildebrand. An architectural overview of QNX. In USENIX Workshop on Micro-Kernels and Other Kernel Architectures, pages 113-126, Seattle, WA, April 1992. USENIX.

9

Dan Hildebrand. A microkernel POSIX OS for realtime embedded systems. Technical report, QNX Software Systems Ltd, 1993.

10

IEEE. Information Technology -- Portable Operating System Interface (POSIX) -- Part 1: System Application: Program Interface. IEEE/ANSI Std 1003.1, 1996 Edition. Order Number SH94352-NYF.

11

IEEE. Information Technology -- Portable Operating System Interface (POSIX) -- Part 2: Shell and Utilities. IEEE/ANSI Std 1003.2-1992 & IEEE/ANSI 1003.2a-1992. Order Number SH17129-NYF.

12

Intel Corporation. Pentium Processor Family Developer's Manual. Order Number 241430-004.

13

Intel Corporation. Intel486 (TM) Processor Family. Programmer's Reference Manual, 1995. Order Number 240486-003.

14

Markus Kuhn. A vision for Linux 2.2 -- POSIX.1b compatibility and real-time support. Available from .

15

Samuel J. Leffler, Marshall Kirk McKusick, Michael J. Karels, and John S. Quarterman. The Design and Implementation of the 4.3BSD UNIX Operating System. Addison-Wesley, Reading, MA, USA, 1989.

16

Jochen Liedtke. On micro-kernel construction. In The Proceedings of the 15th ACM Symposium on Operating Systems Principles, December 1995.

17

C.L. Liu and J.W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1):44-61, January 1973.

18

Henry Massalin. Synthesis: An Efficient Implementation of Fundamental Operating System Services. PhD thesis, Columbia University, 1992.

19

Milan Milenkovic. Operating Systems: Concept and Design. McGraw-Hill, 1992.

20

Dennis W. Ritchie and Ken Thompson. The UNIX time-sharing system. Communications of the Association for Computing Machinery, 17(7):365-375, July 1974.

21

Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175-1185, September 1990.

22

Sang H. Son, editor. Advances In Real-Time Systems, chapter 10, pages 225-248. Prentice Hall, 1984.

23

Daniel Stodolsky, J. Bradley Chen, and Brian Bershad. Fast interrupt priority management in operating system kernels. In The Proceedings of the 2nd USENIX Symposium on Microkernels and Other Kernel Architectures. USENIX, September 1993.

24

Andrew S. Tanenbaum. Modern Operating Systems. Prentice Hall, 1992.

25

Martin Timmerman and Jean-Christophe Monfret. Windows NT as real-time OS? Real-Time Magazine, 1997. Available from http://www.realtime-info.be/encyc/magazine/articles/winnt/winnt.htm.

26

Gabriel A. Wainer. Implementing real-time services in MINIX. Operating Systems Review, 29(3):75-84, July 1995.

27

Wind River Systems, Inc., 1010 Atlantic Avenue, Alameda, CA 94501-1147, USA. VxWorks Programmer's Guide 5.1, December 1993.