补全:栈顶能不能接
补全 push_ok:栈顶没变(==看到)才接得上。
无锁模型:try_incr(当前, 看到的值)——没被别人改过(当前==看到)才 +1,交回 (成否, 值);total_after(起点, 成功数)、push_ok(栈顶, 看到)、retries_needed(每次成否)=第一次成功前重试几次。
补全 push_ok:栈顶没变(==看到)才接得上。
无锁模型:try_incr(当前, 看到的值)——没被别人改过(当前==看到)才 +1,交回 (成否, 值);total_after(起点, 成功数)、push_ok(栈顶, 看到)、retries_needed(每次成否)=第一次成功前重试几次。
全部评论