Google Project Zeroがrace conditionを自動検出するMAccConcを公開

Testing race conditions with mem access tracing and stack-based delay injection

Google Project Zeroが、Linuxカーネル向けのrace conditionテストツールMAccConcを公開した。メモリアクセスのトレースとスタックベースの遅延注入を組み合わせ、マルチスレッド実行のあらゆるインターリービングを自動テストできる。手動でのコード読解や再コンパイルによる従来の手法に代わり、回帰テストやファジングへの応用も期待される。