TDDB68: Concurrent Programming and Operating Systems
TDDB72: Concurrent Programming, Operating Systems,
and Real-Time Operating Systems

Course Literature HT 2006

Books

The main textbook for this course is:

Silberschatz, Galvin and Gagne: Operating System Concepts, 7th ed., John Wiley & Sons, 2005.

Earlier versions may still be useful, but new chapters have been added (e.g., on real-time operating systems) and others have been replaced or restructured in the meanwhile.

Errata for the 7th edition, first printing compiled by C. Kessler, July 2005

Other useful books are:

William Stallings: Operating Systems, Internals and Design Principles 5th ed., Prentice Hall, 2004
Silberschatz, Galvin and Gagne: Applied Operating Systems Concepts, 1th ed., John Wiley & Sons, 2003, or a later editon
Garry Nutt: Operating Systems, 3rd ed., Addison-Wesley, 2003
Bacon and Harris: Operating Systems - Concurrent and Distributed Software Design, Addison-Wesley, 2003
Bic and Shaw: Operating Systems Principles, Prentice Hall, 2003
Deitel, Deitel and Choffner: Operating Systems, 3rd ed., Prentice Hall, 2004.

There is no printed material for the labs, but a large set of documents is available here. Most notably:

Paper1 - A Survey of Configurable, Component-Based Operating Systems for Embedded Applications
Paper2 - Real-Time Operating Systems for Embedded Computing
Paper3 - Embedded Application Design Using a Real-Time OS
Paper4 - The Chimera II Real-Time Operating System for Advanced Sensor-Based Control Applications
Paper 5- Windows NT as Real-Time OS? - a web article from the Dedicated Systems Magazine
Paper 6 - a White Paper from Sun - Scalable Real-Time Computing in the Solaris Operating Environment
RT Mach - list of three papers about the RTMach OS.
QNX - the web site for QNX

2K	http://devius.cs.uiuc.edu/2k/
Chimera	http://www.ece.umd.edu/serts/bib/manuals/Chimera.shtml
Choice	http://devius.cs.uiuc.edu/choices/
Coyote & Iguana	http://www.dsg.cs.tcd.ie/%7Ecoyote/
Echidna	http://www.ece.umd.edu/serts/research/echidna/index.shtml
eCos	http://sources.redhat.com/ecos/
EROS	http://www.eros-os.org/
ExoKernel	http://www.pdos.lcs.mit.edu/exo.html A PhD thesis on the ExoKernel (~80 pages)
HART	http://hartik.sssup.it/
ITRON	http://www.sakamura-lab.org/
KURT	http://www.ittc.ukans.edu/kurt/
Maruti	http://www.cs.umd.edu/projects/maruti/
Real-Time Linux	http://www.realtimelinux.org/
Real-time POSIX	http://www.osf.org
RED-Linux	http://linux.ece.uci.edu/RED-Linux/
RTAI	http://www.aero.polimi.it/projects/rtai/
RTLinux	http://luz.cs.nmt.edu/~rtlinux/
RT-Mach	http://www.cs.cmu.edu/afs/cs.cmu.edu/project/art-6/www/rtmach.html
S.H.a.R.K	http://shark.sssup.it/
SPIN	http://www.cs.washington.edu:80/research/projects/spin/www/
Spring	http://none.cs.umass.edu/rts/spring.html
Timesys Linux/RK	http://www.timesys.com
VEST	http://www.cs.virginia.edu/~stankovic/vest.html
VINO	http://www.eecs.harvard.edu/vino/vino

In case you want to read more about the principles of real-time systems, we can recommend the following book:

Jane W. Liu: Real-time systems. Prentice Hall, 2000.
Available in Kvartersbibliotek B, kursref.

Peter J. Denning: The Locality Principle. Communications of the ACM 48(7):19-24, July 2005.
Short review of OS research on virtual memory, working sets, and locality optimizations.
B. Kuperman et al.: Detection and prevention of stack buffer overflow attacks. Communications of the ACM 48(11):19-24, Nov 2005.
Edward A. Lee: The Problem with Threads. IEEE Computer May 2006, pp. 33-42.