並行ソフトウェアの開発において発見と再現が困難なバグとして悪名高いデータ競合を自動で検出する代表的アルゴリズムの基礎を紹介します。 更に、x86アセンブリコード解析フレームワークであるIntel Pinを用いたデータ競合自動検査ツールの作り方も解説します。