Herramienta de análisis C#/. NET para encontrar condiciones de carrera/deadlocks

Jinx hará esto en tiempo de ejecución (no estáticamente), pero puede valer la pena mirar.

Es posible que desee comprobar hacia fuera AJEDREZ.

Vea las respuestas aquí: ¿Qué herramientas de análisis estático están disponibles para C#?

Algunas herramientas de análisis estático pueden detectar bloqueos.

También, prueba FxCop de Microsoft.

He estado experimentando sobre cómo rastrearlos fácilmente. He estado trabajando para rastrear algunos bloqueos, especialmente en escenarios donde se usan muchas declaraciones de bloqueo diferentes.

Mi objetivo es detectar puntos muertos antes de que ocurran, por ejemplo, si tienes dos recursos, sabes que tienes que usarlos siempre en el mismo orden, de lo contrario podría ocurrir un punto muerto .

lock (lockObj1) 
lock (lockObj2) 
{ 
    // some code
} 

... en otro lugar de la aplicación ...

lock (lockObj2) 
lock (lockObj1) // <- I expect some "possible deadlock" detection here 
{ 
    // some code
} 

En este caso estoy usando lockObj1 entonces lockObj2 en un lugar y usarlos en el orden opuesto en otro lugar, esto es algo que te gustaría evitar en una aplicación Por supuesto, las sentencias lock no necesitan usarse una tras otra como en el ejemplo, su aplicación compleja puede tener varios objetos complejos interactuando entre sí

He subido el código con los casos de prueba aquí https://github.com/glmnet/LockTracer

¿Has mirado a Hormigas de Puerta Roja? No estoy seguro de si va a hacer todo lo necesario, pero es un buen producto para:

• Identificar cuellos de botella de rendimiento en cuestión de minutos
• Optimizar el rendimiento de las aplicaciones. NET
• Profundiza para ralentizar las líneas de código con tiempos de nivel de línea
• Perfil aspx, ASP.NET, código C#, y VB.NET solicitudes