C++ の release sequence とはアトミック変数の読み書きに関するルールです。release sequence は release store を先頭とし，それに続く read-modify-write の列です。先頭の store，または後続の read-modify-write によって書き込まれた値を acquire load…

この記事は，マルチスレッドのプログラムでしばしば見る，そして発見が困難であるバグ「データ競合」と，それを見つけるのによく使われる「happens-before 関係」について解説します。 筆者は特に x86-64 アーキテクチャにおけるバグ検出に興味がありますの…

C++ の std::atomic がメモリオーダーの指定によってどう挙動が変わるかを調べました。 x86-64 アーキテクチャにおいて，アトミック変数の読み書きがどのような機械語になるかが主なテーマです。 （2020/06/15 筆者の知識がアップデートされましたので記事を…