Operating Systems: Principles and Practice is a textbook for a first course in undergraduate operating systems. In use at dozens of top tier universities, and written by two leading operating systems researchers with decades of experience successfully teaching complex topics to thousands of students, this textbook provides:
A path for students to understand high level concepts all the way down to working code.
Extensive worked examples integrated throughout the text provide students concrete guidance for completing homework assignments.
A focus on up-to-date industry technologies and practice
The e-book version of Operating Systems: Principles and Practice is broken into 4 volumes:
Volume 1: Kernels and Processes
Volume 2: Concurrency
Volume 3: Memory Management
Volume 4: Persistent Storage

This is Volume 2: Concurrency
In this volume, we provide a concrete methodology for writing correct concurrent programs that is in widespread use in industry, and we explain the mechanisms for context switching and synchronization from fundamental concepts down to assembly code.