First Published in 2013. Routledge is an imprint of Taylor & Francis, an informa company.

"This book is organized around three concepts fundamental to OS construction: virtualization (of CPU and memory), concurrency (locks and condition variables), a

Model building is typically based on the identification of a set of established facts in any given field of research, insofar as the model is then evaluated on