Tannenbaum's 'Operating Systems: Design and Implementation' has a fantastic set of chapters on deadlocking, the producer/consumer problem and Contect Switching/

Tannenbaum's 'Operating Systems: Design and Implementation' has a fantastic set of chapters on deadlocking, the producer/consumer problem and Contect Switching/Scheduling.