c# - JavaのCheckThreadのような.NETでの同時実行のための静的コード分析ツールを探しています

Question

私は、C# で並行 .NET データ構造を実装しています (ConcurrentDictionaryなどBlockcingCollection)。異なるスレッドからアクセスするときにオブジェクトをロックすることを忘れないだけではありません。並列実行時間を最大化するには、洗練されたロック戦略が必要です。

CHESSという名前の .NET の体系的な並行性テストのための一種のフレームワークであるツールがあることを私は知っています。

質問: 静的コード分析を通じて同時実行性/スレッド化の問題を検出するツールもありますか? Java用のCheckThreadのようなもの。

Answer 1

以下は、並行プログラミングに役立つ一連のリソースです。これらは、静的ツールとランタイム ベースのツールが混在しています。

Intel Inspector XE/Parallel Studio

Intel は並行開発に役立つ Parallel Studio 内のいくつかのツールを実行しますが、Parallel Advisor は C/C++ 専用です。

ただし、C# の場合は、Inspector XE (以前の Intel Thread Checker) を使用してランタイム スレッド チェックを実行できます。

• http://software.intel.com/en-us/articles/intel-inspector-xe/ .

---

PRESharp (Microsoft Center for Software Excellence)

ここで言及されているPRESharpと呼ばれるものがあるようです：

• http://www.microsoft.com/windows/cse/pa_projects.mspx

今まで聞いたことがありません...過去にいくつかのCドライバーコードを静的に分析するために使用した、似たようなサウンドのPREFastだけです。特別なアクセス権を取得しない限り、他の誰も使用できない Microsoft の内部ツールだと思います。

---

静的解析ツール

静的分析ツールの大きなリストはこちら (FXCop など)。

• C# で利用できる静的解析ツールは何ですか?

ここで言及されている Typemock Racer ：

• 競合状態/デッドロックを見つけるための C#/.NET 分析ツール

そして注目すべきは、C/C++、Java、または C# コード (NASA による評価) を静的に分析することによって同時実行性の欠陥を検出すると主張する Coverity Prevent です。

• http://www.verifysoft.com/en_coverity_prevent_concurrency.html

• http://www.theregister.co.uk/2012/08/22/mars_rover_software_coverity/ )

---

WinDBG + SOSEX

並行プログラミングに役立つその他のツールは、Visual Studio デバッガーよりも強力な WinDBG (Windows SDK 内で配布される Windows Debugging Tools の一部) です。

• http://msdn.microsoft.com/en-us/windows/hardware/gg463009.aspx

注: システムに Windows Driver Kit 8 をインストールすると、WinDBG と同等の、より強力なユーザー モード デバッガーを Visual Studio 2012 内から使用できるようになりました。

• http://msdn.microsoft.com/en-us/library/windows/hardware/gg487428.aspx

• http://blogs.msdn.com/b/mariohewardt/archive/2012/06/05/visual-studio-2012-and-windbg-integration.aspx

また、WinDBG を拡張するプラグインを取得することもできます。たとえば、SOSEX プラグインは!dlk、デッドロックの原因を特定するのに役立つコマンドを追加します。

• http://stevestechspot.com/

• http://blog.scriptico.com/04/debugging-with-windbg-deadlocks-in-applications/

• Windbg の !clrstack コマンドを使用したデッドロックのデバッグ

• http://blogs.msdn.com/b/tess/archive/2008/02/11/hang-caused-by-gc-xml-deadlock.aspx

---

コンカレンシー ビジュアライザー (Visual Studio 2010 以降)

Visual Studio にはコンカレンシー ビジュアライザーがあり、それに付随する SDK があります。

• http://msdn.microsoft.com/en-us/library/dd537632.aspx

• http://blogs.msdn.com/b/visualizeparallel/archive/2011/10/17/introducing-the-concurrency-visualizer-sdk.aspx

• http://msdn.microsoft.com/en-us/magazine/ee336027.aspx

• http://msdn.microsoft.com/en-us/magazine/ee410778.aspx

---

一般的な並行プログラミングの設計に関する考慮事項

• http://msdn.microsoft.com/en-us/magazine/cc817398.aspx

• http://msdn.microsoft.com/en-us/library/ff963553.aspx

• http://msdn.microsoft.com/en-us/magazine/cc872852.aspx

• http://msdn.microsoft.com/en-us/magazine/cc163744.aspx

• http://www.packtpub.com/beginners-guide-for-C-sharp-2008-and-2005-threaded-programming/book

---

ビデオ リソース

以下は、.NET アプリケーションのデバッグに関する一般的なアドバイスを提供する素晴らしい一連のビデオです。

• http://channel9.msdn.com/Series/-NET-Debugging-Stater-Kit-for-the-Production-Environment/Diagnosing-Application-Issues-01

Answer 2

追加する必要があります：

---

モデルベースの検証

この手法では、アプリケーションのスレッド プリミティブの正式なモデルを使用し、モデルがデッドロックからの自由など、必要なプロパティを持っていることを主張または反証しようとします。

Promelaなどの形式言語でモデルを記述し、 Spinなどのモデル チェッカーを使用してモデルのプロパティを証明します。

• リエントラント リーダー/ライターの検証。バーナード・ヴァン・ガステル。

• Reentrant Readers-Writers – モデル チェックと定理証明を組み合わせたケース スタディ – ICIS テクニカル レポート R08005。バーナード・ヴァン・ガステル、レナード・レンシンク、シャーク・スメッツァー、マルコ・ファン・イーケレン。