重複しないリストを作成するには？

Question

私はコードの下に使用して重複しないリストを作成したいのですが、何かが間違っている、誰かがそれはスレッド安全ではないと言うが、私はそう私にそれを証明するためにいくつかの例を与えてください、それを得ることはありません、おかげ

class BadListHelper <E> { 
    public List<E> list = Collections.synchronizedList(new ArrayList<E>()); 
    public synchronized boolean putIfAbsent(E x) { 
     boolean absent = !list.contains(x); 
     if (absent) 
      list.add(x); 
     return absent; 
    } 
} 

Answer 1

ワンあなたのコードの問題は、（公開された）listオブジェクトとputIfAbsentメソッドの操作が、異なるオブジェクトで同期していることです。つまり、の直接操作に関しては、putIfAbsentに競合条件があります。例えば

次の2つのスレッドがある場合：

• スレッドAがhelper.list.add(e)
• スレッドBがhelper.putIfAbsent(e)

を呼び出して、あなたが二回リストにeで終わる可能性が...によって呼び出されますがタイミング。スレッドAとBの両方が直接helper.list.addを呼び出した場合

public synchronized boolean putIfAbsent(E x) { 
    boolean absent = !list.contains(x); 
    // <<--- the Thread A call could happen here. 
    if (absent) { 
     list.add(x); 
    } 
    return absent; 
} 

今確かに、あなたは同じ効果を得るでしょう。しかし、putIfAbsentという暗黙の意味は、既に存在する要素を追加しないことであり、それが上記の場合に行うことです。

実際、Collections.synchronizedListの実装では、それ自体で同期するListオブジェクトが返されます。したがって、putIfAbsentを次のように変更してください。

public boolean putIfAbsent(E x) { 
    synchronized (list) { 
     boolean absent = !list.contains(x); 
     if (absent) { 
      list.add(x); 
     } 
     return absent; 
    } 
}