非阻塞同步算法与CAS(Compare and Swap)无锁算法