Operating Systems

Once upon a time, I gave an Operating Systems course, based on Andrew Tannenbaum's book and the Minix implementation of unix that came with it.

Materials

• A set of slides.
• Some problems, mostly taken from Tanenbaum's book; my answers can be found on the general solutions page.
• A simplified formal specification of the unix file system.

Practicals

• Instructions for practical 1, a concurrent control program for a digital thermometer.
• Materials for practical 1: Gzipped tar format.
• Instructions for practical 2, a simulation of replacement strategies for a file system buffer cache.
• Materials for practical 2: Gzipped tar format.

Note that the code for these practicals has not been run in a long time. Specifically, the thread package underlying practical 1 is likely to need adjustment to work under more recent host systems.