Công cụ phân tích C# /. NET để tìm các điều kiện chủng tộc/deadlocks

Question

Có công cụ phân tích mã .NET và tìm các điều kiện chủng tộc không?

Tôi có một chút mã có thuộc tính tĩnh công khai nhận hoặc tạo trường tĩnh riêng tư. Nó cũng có một phương thức tĩnh công cộng để thiết lập trường này thành null (... vâng, tôi biết! ..)

Vì không có khóa nào xung quanh một trong các phương pháp này, sai trong tương lai. Tôi cần một công cụ sẽ đệ quy thông qua những thứ gọi một trong hai phương pháp này và xem liệu có bất cứ thứ gì được sinh ra trên một luồng khác hay không.

Tôi đang tìm một công cụ hoặc có thể là tập lệnh SQL nDepend (nếu có thể).

Answer 1

Bạn đang có lẽ tìm kiếm một trong những:

• CHESS
• Typemock Racer

---

LƯU Ý: Câu trả lời này là từ năm 2010. Như với tất cả các khuyến nghị câu trả lời, đề xuất có xu hướng thay đổi theo thời gian. Hiện tại có thể có các sản phẩm khác, CHESS là dự án của Phòng thí nghiệm Nghiên cứu của Microsoft có thể đã phát triển thành một sản phẩm cuối cùng hoặc bị loại bỏ hoàn toàn. Hãy lấy câu trả lời này với một hạt muối và tiến hành nghiên cứu mới về những sản phẩm nào phù hợp ngay bây giờ.

Answer 2

Bạn có thể muốn xem CHESS.

Answer 3

Jinx sẽ thực hiện việc này khi chạy (không tĩnh) nhưng có thể đáng xem.

Answer 4

Bạn đã xem Red-Gate Ants chưa? Tôi không chắc chắn nếu nó sẽ làm tất cả mọi thứ bạn cần, nhưng nó là một sản phẩm tốt để:

• Xác định thắt cổ chai trong vòng vài phút
• Optimize hiệu suất ứng dụng .NET
• khoan xuống để làm chậm dòng mã với timings dòng cấp
• Hồ sơ aspx, ASP.NET, C# mã, và VB.NET ứng dụng

Answer 5

Xem các câu trả lời ở đây: What static analysis tools are available for C#?

Một số công cụ phân tích tĩnh có thể thực hiện phát hiện bế tắc.

Ngoài ra, hãy thử FxCop từ Microsoft.

Answer 6

Tôi đã thử nghiệm cách dễ dàng theo dõi chúng. Tôi đã làm việc để theo dõi một số deadlocks, đặc biệt là trên các kịch bản mà nhiều báo cáo khóa khác nhau được sử dụng.

Mục tiêu của tôi là phát hiện deadlocks trước khi chúng xảy ra, ví dụ: nếu bạn có hai tài nguyên, bạn biết bạn phải luôn sử dụng chúng theo thứ tự như nhau, nếu không, bế tắc có thể xảy ra.

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

...ở một nơi khác trong ứng dụng ...

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

Trong trường hợp này tôi đang sử dụng lockObj1 sau đó lockObj2 ở một nơi và sử dụng chúng theo thứ tự ngược lại ở một nơi khác, đây là một cái gì đó bạn sẽ muốn tránh trong một ứng dụng Tất nhiên, các câu lệnh khóa không cần được sử dụng cái khác như trong ví dụ, ứng dụng phức tạp của bạn có thể có một số đối tượng phức tạp tương tác với nhau

Tôi đã tải mã lên với trường hợp kiểm tra tại đây https://github.com/glmnet/LockTracer