concurrency - 並行性の問題を検出するためのツール

Question

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

Answer 1

MS Research の Chess は優れています ( http://research.microsoft.com/en-us/projects/chess/ )。Unittests の助けを借りて同時実行バグを検出します。重要なのは、それらがチェスで再現可能であることです。

Answer 2

静的コード分析によってこの種のものを検出することは、基本的には偽装された停止問題であり、したがって一般的なケースでは決定できないことがわかると思います。そのようなツールはほぼ確実に存在しません。

存在する証明ツールに最も近いのは、計算を「通信の逐次プロセス」としてモデル化することです。これは、正式な数学的推論を受けることができます。ただし、これでは、任意のプログラムを任意の言語で取り、その証明を計算できるツールを作成することはできません。