C是否存在一个强制竞争条件的测试框架？

2011-11-29 43 views 12 likes

或者对于C++和Java来说。

2011-11-29 James Lim

有一个伟大的问题upvote！ –

[Corensic Jinx]（http://www.corensic.com/Products.aspx）。我没有使用它，因此不能评论它的实用性或有效性。 –

伟大的问题，但总的来说，最好的竞争条件太难以击败一个通用工具来做好工作。例如，glibc/NPTL有一些令人讨厌的竞争条件，这些竞争条件已经被报告并被忽略，这可能需要几十或几百年的时间才能在单台机器上实现。当然，他们可能已经在Google或Facebook的数据中心中多次被击中...... –

回答

的Valgrind的工具Helgrind检测（除其他外）在使用pthreads的C或C++程序数据争用。

2011-11-29 19:03:46 Roland

drd是另一种检测数据竞赛的工具。 – dbeer

谢谢;还有[ThreadSanitizer]（http://code.google.com/p/data-race-test/wiki/ThreadSanitizerVsOthers） – Roland

感谢您的回答。 –