まとめ
「bool型変数に対し2つのスレッドが参照を持ち、一方が読み込み、他方が書き込みのみを行う場合はmutexって必要なの？」
ってのが前909で
「未定義動作になるから危険。
コンパイラによってはwhileの前に一度だけ読み込むコードになったり、
そうじゃなくてもCPUに依ってはスレッドが別コアで実行されたらキャッシュだけ読みに行って嵌ったりする。」
ってのが前910。尚前909には理解できなかった模様
それに対しマルチスレッドもアセンブリも知らないおっさん達がやれ粒度がどうたらやれ更新は書き込みを含むやら含まないやら言い出してさあ大変
今ここ。