kumagi https://blog.hatena.ne.jp/kumagi/ くまメモ https://kumagi.hatenadiary.org/ http://www.slideshare.net/kumagi/lock-free-safe?next_slideshow=1とか過去に自分で書いておきながら、その当時の自分の認識が甘かった事もあるのでここに一度書き出しておく。 Lock-Freeは「ロックを使わない事」ではない STMの事をもってしてLock-Freeと呼んでる文脈はいっぱいあるけれど、STMの実装にロックを使う事は一般的だし、それは正しい専門用語で言う所のLock-Freeとは呼ばない。Lock-Freeとは「どんなスケジューリングが為されようともどれかの操作が進行する」という進行保証(Progress Guarante… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkumagi.hatenadiary.org%2Fentry%2F20141214" title="ロックフリー性の証明について - くまメモ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2014-12-14 00:00:00 rich https://kumagi.hatenadiary.org/entry/20141214 1.0 100%