競合状態を引き起こすC用のテストフレームワークはありますか？

競合状態を引き起こすC用のテストフレームワークが存在しますか？競合状態を引き起こすC用のテストフレームワークはありますか？

また、C++とJavaの場合は、

2011-11-29 James Lim

素晴らしい質問のためにupvoteを持ってください！ –

[Corensic Jinx]（http://www.corensic.com/Products.aspx）。私はそれを使用していないので、その有用性や有効性についてコメントすることはできません。 –

大きな質問ですが、一般的に、最も細かいレース条件では、一般的なツールではうまくやることができません。たとえば、glibc/NPTLには報告され無視されている恐ろしい競合状態がありますが、これはおそらく1台のマシンで数十から数百年かかるでしょう。もちろん、GoogleやFacebookのデータセンターで何度もヒットしているでしょう..... –

ValgrindツールHelgrindは、pthreadを使用するCまたはC++プログラムのデータ競合を検出します（とりわけ）。

出典

2011-11-29 19:03:46 Roland

drdはデータ競合を検出するためのもう1つのツールです。 – dbeer

ありがとうございます。 [ThreadSanitizer]（http://code.google.com/p/data-race-test/wiki/ThreadSanitizerVsOthers） – Roland

あなたの答えをありがとう。 –

競合状態を引き起こすC用のテストフレームワークはありますか？

答えて

関連する問題