Title: Art of Multiprocessor Programming, second edition