CPU Scheduling: Principles and Challenges
Navigating the Threads and Processes
Unpacking Operating System Design
Operating Systems