Second of three volumes offering a systematic treatment of the theory and practice of designing and implementing system software. Examples from various architectures, languages and operating systems are provided.