2011-11-29 29 views
12

Có tồn tại một khung kiểm tra cho C có buộc các điều kiện chủng tộc không?Có một khung kiểm tra cho C có buộc các điều kiện chủng tộc không?

Hoặc cho C++ và Java, cho vấn đề đó.

+0

Có một câu hỏi tuyệt vời cho một câu hỏi tuyệt vời! –

+2

[Corensic Jinx] (http://www.corensic.com/Products.aspx). Tôi đã không sử dụng nó và do đó không thể bình luận về tiện ích hoặc hiệu quả của nó. –

+0

Câu hỏi hay, nhưng nói chung các điều kiện chủng tộc tốt nhất là quá khó để đánh cho một công cụ chung để làm một công việc tốt ở đó. Ví dụ glibc/NPTL có một số điều kiện cuộc đua khó chịu đã được báo cáo và bỏ qua, có thể mất hàng chục hoặc hàng trăm năm để tấn công vào một máy. Tất nhiên họ có thể đã bị tấn công nhiều lần trong các trung tâm dữ liệu của Google hoặc Facebook ..... –

Trả lời

7

Công cụ Valgrind Helgrind phát hiện (trong số những thứ khác) các cuộc đua dữ liệu trong các chương trình C hoặc C++ sử dụng pthreads.

+0

drd là một công cụ khác để phát hiện các cuộc đua dữ liệu. – dbeer

+1

Cảm ơn; cũng [ThreadSanitizer] (http://code.google.com/p/data-race-test/wiki/ThreadSanitizerVsOthers) – Roland

+0

Cảm ơn câu trả lời của bạn. –

Các vấn đề liên quan