クリティカルセクションとか。lock-freeなんかしたとき、成功するのはただひとつ。読んでみたら、証明する話なのね...。レンマってメンマの親戚ですか。2005)lockを使うものはブロッキング。クリティカルセクション。ノンブロッキングなアルゴリズムは、アトミックな操作とそうでない操作を何段階か組み合わせてひとまとまりの操作(メモリ割り付けとか、キュー操作とか)を行う。途中で失敗して最初からやり直しになることも。ノンブロッキングなアルゴリズムのうち、みんなが一斉にやったときでも、誰か一人は進み続けることが保証されているもの。他の人は途中で失敗したり、ずっとリトライしたり。ノンブロッキングなアルゴリズムで、みんなが一斉にやっても、みんなが進み続けることができるもの。失敗し続ける可能性が無いと証明されてるもの。2005)毎度ありがとうございます。