kumagi

wait-free/lock-free/obstruction-freeの定義について

▲全てに共通する概念
スレッドが他のスレッドの進行を禁止する事がないので、どれかのスレッドが
ロックを確保したままプリエンプションなどで全体の処理が停止する事態が発生しな
い。
これは必ずしもロックベースのアルゴリズムより高速であることを意味し
ない（現にロックの方が早い場合もある

wait-freeが一番強い条件で、それを弱める度に