如果一個方法檢查（獨立）A並且然後作用於B，是否包含競爭條件？

Question

考慮下面的類：

public class CheckThenAct 
{ 
    private volatile boolean flag = false; 
    public void setFlag(boolean flag) { this.flag = flag; } 
    public boolean getFlag() { return flag; } 

    private final Map<String, String> map = new ConcurrentHashMap<>(); 
    public void removeIfFlag(String x) 
    { 
     if (flag) 
      map.remove(x); 
    } 
} 

是否removeIfFlag(String)包含一個競爭條件？

到目前爲止，我已經閱讀的唯一示例具有條件和寫法，這些條件和寫法在某種程度上相互關聯（例如在相同集合對象上進行檢查和寫入） - 在這種情況下，這兩個字段之間沒有約束，他們不是同一個對象。

Answer 1

假設您有一個線程調用setFlag(true)，另一個線程調用removeIfFlag。

如果沒有什麼能夠確定哪個線程首先進入標誌（即，如果線程不同步/協調/互鎖/無論你怎麼稱呼它），那麼這就是數據競賽。

如果程序的輸出取決於哪個線程贏得比賽，那麼這是一個比賽條件。

如果您的程序的正確性取決於哪個線程贏得比賽，那麼這是一個錯誤。