Design and verification of lock-free parallel algorithms door G. Hui