The Logical Design of Operating Systems

In this book, two respected Computer Scientists write about the logical design of operating systems, blending theoretical results and practical applications.Probably the best aspect of the book is the fact that Bic and Shaw stress fundamental concepts, instead of using examples from specific operating systems like Unix. And although the book is rather old, the information in the Second Edition is very necessary today to the design of operating systems.The book begins with elementary concepts, such as concurrent programming methods, the deadlock problem, and process scheduling and goes on to explore protection problems and various security issues. The exercises at the end of each chapter and the overall textbook style make it a must for the operating system student.