补全:换后的值
补全 apply_cas:相等换新、否则不变。
CAS 模型:cas(当前, 期望, 新值)——当前==期望才换、交回 (是否成功, 换后值);cas_ok 会不会成、apply_cas 只交回换后值、spins(看到的值序列, 期望)=期望出现前失败自旋几次。
补全 apply_cas:相等换新、否则不变。
CAS 模型:cas(当前, 期望, 新值)——当前==期望才换、交回 (是否成功, 换后值);cas_ok 会不会成、apply_cas 只交回换后值、spins(看到的值序列, 期望)=期望出现前失败自旋几次。
全部评论