ねぇねぇ
メモリブロックとCASの順序ってどうすればいいの？

mb()
CAS()
mb()

って感じでいいの？

あと、マルチスレッドでアルゴリズムが正しいか検証する場合って
みんなどうしてる？長い時間動かして動いてるor正しそうだからｵｹって
感じ？それともなんかtool使ってるの？