C#/NET koşullarını bulmak için analiz aracı/deadlocks

Question

NET kodunu analiz eder ve yarış koşullarını bulur bir araç var mı?

Özel bir statik alan oluşturan veya oluşturan statik bir özelliğe sahip biraz kodum var. Ayrıca bu alanı null olarak ayarlayan bir genel statik yöntem vardır (... evet, biliyorum! ..)

Bu yöntemlerden herhangi birinin etrafında kilit olmadığından, bu durumun korkunç bir şekilde gideceği güvenli bir oyundur gelecekte yanlış. Bu yöntemlerden birini arayan ve başka bir iş parçacığında herhangi bir şey ortaya çıkarılmış olup olmadığını tekrar tekrar gözden geçirecek bir araca ihtiyacım var.

Bir araç veya bir nDepend SQL betiği arıyorum (eğer bu mümkün ise).

Answer 1

Muhtemelen bunlardan biri aradığınız:

• CHESS
• Typemock Racer

---

NOT: Bu cevap 2010'dan itibaren tüm önerileri cevapları gibi olduğu, Öneriler zamanla değişme eğilimindedir. Şu anda başka ürünler de olabilir, bir Microsoft Research Labs projesi olan CHESS, nihai bir ürüne dönüşmüş olabilir veya tamamen hurdaya çıkarılmış olabilir. Lütfen bu cevabı bir tuz tohumu ile alın ve şimdi hangi ürünlerin uygun olduğuna dair yeni araştırmalar yapın.

Answer 2

CHESS ürününü ziyaret etmek isteyebilirsiniz.

Answer 3

Jinx bunu çalışma zamanında (statik olarak değil) yapar, ancak bakmaya değer olabilir.

Answer 4

Red-Gate Ants'a baktınız mı? Eğer gereken her şeyi yapacağız eğer emin değilim ama iyi bir üründür: dakika içinde performans darboğazları belirleyin

• optimize NET uygulama performansı
• ile kod satırlarını yavaş aşağı Matkap line seviye zamanlamaları
• Profil aspx, ASP.NET, C# kodu ve VB.NET uygulamaları

Answer 5

yanıtları burada bakınız: What static analysis tools are available for C#?

Bazı statik analiz araçları kilitlenme tespitini yapabilir.

Ayrıca, Microsoft'tan FxCop'u da deneyin.

Answer 6

Bunları kolayca nasıl izleyeceğinizi deniyorum. Bazı kilitlenmeleri, özellikle birçok kilitleme deyiminin kullanıldığı senaryolarda izlemek için çalışıyorum.

Amacım, kilitlenme olaylarını ortaya çıkmadan önce tespit etmektir, örn. İki kaynağınız varsa, bunları her zaman aynı sırayla kullanmanız gerektiğini biliyorsunuz, aksi takdirde kilitlenme olabilir.

( )Başka bir yerde app ... Ben tek bir yerde sonra lockObj2 lockObj1 kullanarak ve başka bir yerde ters sırayla kullanıyorum Bu durumda

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

, bu bir uygulamada önlemek gibi olacak bir şeydir örnekte, sizin karmaşık uygulama birbirini

ile etkileşim birçok karmaşık nesneleri var gibi tabii , kilit ifadeleri burada test durumlarda https://github.com/glmnet/LockTracer ile kod yükledik peş peşe kullanılacak gerekmez