比中了当前值，才换成新的
期望对不上就重来，对上了才换
CAS（比较并交换）一步做的是【0】。
CAS 模型：cas(当前, 期望, 新值)——当前==期望才换、交回 (是否成功, 换后值)；cas_ok 会不会成、apply_cas 只交回换后值、spins(看到的值序列, 期望)=期望出现前失败自旋几次。
cas(当前, 期望, 新值)
cas_ok
apply_cas
spins(看到的值序列, 期望)
全部评论