Distributed Systems: Concepts and Design
To give the student insight into the design of operating system support for distributed systems through the case study of the Mach kernel.
Mach may be `old' but it spearheaded a wave of interest in operating systems that has fed directly into modern kernel designs.
Nonetheless, students should be encouraged to assess Mach critically, and compare it with the systems with which they are familiar.
We assume that students are familiar with some UNIX system calls, such as fork().
Students need a thorough understanding of the basic operation of paged MMUs, and of the concept of virtual memory.
Review the material in Chapter 6, and relate the topics here to that material.
Although the Mach case study may be covered in isolation, it is instructive to cover at least two kernel case studies and compare them (there is material on Chorus and other kernels at www.cdk3.net).
Appeal to the students' knowledge of UNIX (or another OS).