Operating Systems: Internals and Design Principles (Prentice Hall international editions)