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