无锁结构(如无锁计数器)主要靠【0】。
无锁模型:try_incr(当前, 看到的值)——没被别人改过(当前==看到)才 +1,交回 (成否, 值);total_after(起点, 成功数)、push_ok(栈顶, 看到)、retries_needed(每次成否)=第一次成功前重试几次。
try_incr(当前, 看到的值)
total_after(起点, 成功数)
push_ok(栈顶, 看到)
retries_needed(每次成否)
全部评论