The art of multiprocessor programming