InfoQ

News

Deadlock Debugging for .NET

Posted by Jonathan Allen on Aug 18, 2008 06:46 AM

Community
.NET
Topics
Debugging
Tags
Parallel Programming

Out of the box, .NET doesn't have any support for deadlock detection. Normally the way one checks for deadlocks is by attaching the debugger and examining each thread. Corneliu, creator of the GUI debugging tool HawkEye, has offered an alternative. His ACorns.Debugging tool works against most .NET programs, without recompiling them. Corneliu summarizes his tool as follows:

  1. The tool does not require to have the code re-compiled in any way or form, with any external dependencies, nor reference any external library or have you modify your code to use any special type of locks inside your code
  2. It works on release builds with no PDB files
  3. It works on running processes or previously captured memory dumps
  4. It detects deadlocks across multiple threads and returns detailed call-stack and lock usage information
  5. It only detect deadlocks in which threads are actively waiting for locks acquired by other threads
  6. It does not detect the dining philosophers problem or deadlocks created in combination of time waits + wake/check + lock
  7. It has an external dependency on the cdb.exe (part of the the free Debugging Tools for Windows package from Microsoft)
  8. It requires absolutely no installation. It an xcopy deployment
  9. And best of all it’s free (source code to be published soon)

For those of you just starting with parallel programming, Corneliu offers a brief introduction to deadlocks and instructions on interpreting the results of his program.

ACorns.Debugging.FindDeadlock.1.0.1.zip depends on Microsoft's Debugging Tools for Windows.

 

just a crap? by Michael Yang Posted Aug 26, 2008 8:36 PM
  1. Back to top

    just a crap?

    Aug 26, 2008 8:36 PM by Michael Yang

    this tool just can not Start any external process, sigh :( Not even check that so-called deadlock

Educational Content

Bindings, Platforms, and Innovation

This presentation focuses on the Internet and separating myth from fact, history from the future, and the mundane from the imaginative. Bob Frankston presents a vision of what could and should be.

Orchestrating Long Running Activities with JBoss / JBPM

This article explores the use of JBoss and jBPM to implement design solutions that effectively address the issue of orchestrating long running activities.

Neo4j - The Benefits of Graph Databases

This presentation covers the use of graph databases as an optimal solution for data that is difficult to fit in static tables, rapidly evolving data or data that has a lot of optional attributes.

Realistic about Risk: Software development with Real Options

This session introduces Real Options and shows how it can help in running your project. Real Options is a decision-making process that can be used to manage risk.

Communication Flexibility Using Bindings

This article discusses the use of bindings on services and references (including the instance of non-configured bindings) as the means to implement SCA communications in a Web and SOA environment.

Writing DSLs in Groovy

After a short introduction to DSLs, Scott Davis plays with the keyboard showing how to approach the creation of a DSL by typing working snippets of Groovy code that get executed.

Scaling Agile with C/ALM (Collaborative Application Lifecycle Management)

IBM Rational and InfoQ present, Scaling Agile with C/ALM, an eBook showing organizations how to become “finely tuned software delivery machines” by enabling team integration and scaling.

Concurrent Programming with Microsoft F#

Amanda Laucher presents a real life enterprise application written in F#. She shows actual code snippets, explaining design decisions and suggesting how to use some of the F# constructs.