This book has been revised and updated to cover the latest architectures, including new chapters on Availability, non-uniform memory access, and a completely revised chapter of examples.