The Art of Multiprocessor Programming, Revised Reprint by Maurice Herlihy & Nir Shavit