Book excerpt: The main theme of the book is that operating systems are not radically different from other programs. The difficulties encountered in the design of efficient, reliable operating systems are the same as those one encounters in the design of other large programs, such as compilers or payroll programs. This book tries to give students of computer science and professional programmers a general understanding of operating systems - the programs that enable people to share computers efficiently.