Operating Systems: Concurrent and Distributed Software Design by Tim Harris