Correction of a memory management method for lock-free data structuresRelative performance of preemption-safe locking and non-blocking synchronization on multiprogrammed shared memory multiprocessors