注目★★★★★Lobsters
ThreadSanitizer、255スレッド超でデータ競合を見逃す
30秒で把握
- 1ThreadSanitizer が255スレッド超でデータ競合を見逃し得る
- 2FastTrack風ベクトルクロックでTSanの検出原理を再現
- 3Goのリクエスト単位goroutineで限界条件が起こり得る
要約
CやGoで広く使われるThreadSanitizer（TSan）には、データ競合を見逃し得る設計上の限界がある。記事はデータ競合と検出アルゴリズムの基礎を説明し、FastTrack風のベクトルクロックを使うPython製インタプリタでTSanの仕組みを再現する。TSanは総スレッド数が255を超える境界をまたぐ状況で、データ競合を確実に報告できない。リクエストごとにgoroutineを生成するGoのWebサービスでは、この条件が起こり得る。
あなたへの影響
GoやCの並行処理を運用するチームは、TSanで競合なしと判定されても検出限界を前提にテスト設計とコードレビューを行うべきです。
推奨：255スレッド超の実行条件では競合を見逃す可能性があるため、負荷試験など別の検証手段を併用する価値があります。