c# - 在 .NET 中寻找用于并发的静态代码分析工具，如 CheckThread for java

Question

<分区>

Answer 1

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

Intel Inspector XE/Parallel Studio

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

但对于 C#，您可以使用他们的 Inspector XE(以前称为 Intel 线程检查器)进行运行时线程检查

• 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 中有 Concurrency Visualizer 和一个 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