An Introduction to Operating Systems, Second Edition