同時実行の問題を検出するためのツール

Question

プロジェクトに設計上の問題があるかどうかを知るツールを見ましたが、プロジェクトにいくつかの並行性の問題があるかどうかを動的に伝えるツールがあるかどうか疑問です。

Answer 1

チェスfrom great（http://research.microsoft.com/en-us/projects/chess/） ユニットテストの助けを借りて同時性バグを検出し、重要：チェスで再現可能です。

Answer 2

静的コード分析によってこのタイプのものを検出することは基本的には偽装のHalting Problemで一般的なケースでは決めることができません。このようなツールはほとんど存在しません。

存在する証明ツールに最も近いのは、計算を'Communicating Sequential Processes',としてモデル化し、正式な数学的推論を受けることができることです。しかし、これは任意の言語で任意のプログラムを実行し、そのプログラムの証明を計算するツールを作成することはできません。