在.NET中寻找用于并发的静态代码分析工具，例如Java的CheckThread [关闭]

Question

我正在 c# 中实现并发 .NET 数据结构（如 ConcurrentDictionary、BlockcingCollection 等）。这不仅仅是在从不同线程访问时不要忘记锁定对象。它需要复杂的锁定策略来最大化并行执行时间。

我知道有一个工具，一种用于 .NET 系统并发测试的框架，名为 CHESS。

问题：是否还有一种工具可以通过静态代码分析发现并发/线程问题？ CheckThread 之类的东西是用于 java 的。

Answer 1

这里有一组有助于并发编程的资源...它们是静态和基于运行时的工具的混合体。

英特尔 Inspector XE/Parallel Studio

英特尔在 Parallel Studio 中提供了一些有助于并发开发的工具，但他们的 Parallel Advisor 仅适用于 C/C++。

但对于 C#，您可以使用 Inspector XE（以前称为 Intel Thread Checker）进行运行时线程检查

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

---

PRESharp（微软卓越软件中心）

这里似乎提到了一种叫做 PRESharp 的东西：

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

现在我以前没有听说过...只有听起来相似的 PREFast，我过去曾用它来静态分析一些 C 驱动程序代码。我怀疑它是 Microsoft 内部工具，除非您获得特殊访问权限，否则其他人无法使用。

---

静态分析工具

这里有大量静态分析工具（例如 FXCop）。

• What static analysis tools are available for C#?

这里提到的 Typemock Racer：

• C#/.NET analysis tool to find race conditions/deadlocks

值得注意的是 Coverity Prevent 声称通过静态分析 C/C++、Java 或 C# 代码来检测并发缺陷（由 NASA 评定）。

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

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

---

WinDBG + SOSEX

其他有助于并发编程的工具是 WinDBG（Windows 调试工具的一部分，分布在 Windows SDK 中），它比 Visual Studio 调试器更强大。

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

注意：如果您在系统中安装 Windows Driver Kit 8，您现在可以在 Visual Studio 2012 中使用功能更强大的用户模式调试器，该调试器与 WinDBG 相当。

• 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/

• Debugging a Deadlock with Windbg's !clrstack command

• 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）证明模型的属性。

• Verifying Reentrant Readers-Writers. Bernard van Gastel.

• Reentrant Readers-Writers – a Case Study Combining Model Checking with Theorem Proving – ICIS Technical Report R08005. Bernard van Gastel, Leonard Lensink, Sjaak Smetsers and Marko van Eekelen.