CAS 之所以能当同步砖用，是因为它【0】。
CAS 模型：cas(当前, 期望, 新值)——当前==期望才换、交回 (是否成功, 换后值)；cas_ok 会不会成、apply_cas 只交回换后值、spins(看到的值序列, 期望)=期望出现前失败自旋几次。
cas(当前, 期望, 新值)
cas_ok
apply_cas
spins(看到的值序列, 期望)
全部评论