lock-freeとobstruction-freeとwait-freeの違い

野良猫＠がんばらない @mskwt

critical region に入ったら obstruction-freedom も満たせないでしょ…

野良猫＠がんばらない @mskwt

"non-blocking" の枠から離れたら lock-free とかどうでもよくなるし、すぐに CAS の例に持っていくから実装寄りすぎて、それこそ合意が取れない議論になるし。

やまさ @yamasa

@mskwt そりゃ、定義から「"non-blocking" の枠から離れた lock-free」なんてものはありえないですけど、non-blockingを離れてもfairnessの議論は成り立つでしょう。

やまさ @yamasa

@mskwt wait-freedomなんて強い条件を持ってこなくても、faienessと適切なスケジューリングポリシーさえあればstarvation-freedomは実現できるわけですし。

やまさ @yamasa

たとえフラグが無限にあっても、それを「有限ステップで取得できる」ことは保証されないと思いますが。 RT @mskwt: ビーチフラッグにたとえると、wait-free: 無限のフラグが用意されているので取得できる