數據競爭示例和數據競爭檢測示例

Question

我在查找一個顯示所有數據競爭類型（例如沒有有效鎖）的示例以及檢測它的檢測方法示例。

如果這兩個例子都是源代碼格式（編程語言不限），那將是完美的！

順便說一句，有沒有什麼好的數據競賽檢測工具推薦？

Answer 1

你可以找到在java中競爭條件的例子http://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4

下找到比賽狀態，你可以記錄線程使用的儀器所有現場修改。如果一個字段被多個線程修改而沒有同步，那麼您已經找到了數據競爭。

這在http://vmlens.com中執行。我建議http://vmlens.com用於java中的競態條件檢測。