ConcurrentHashMap は完全に安全ですか? 質問する

Question

このget()方法はスレッドセーフであり、他のユーザーがこの特定の問題に関して役立つ回答を提供しました。

しかし、ConcurrentHashMapスレッドセーフではあるが立ち寄りの置き換えとしてHashMap、複数の操作を実行する場合はコードを大幅に変更する必要がある場合があることを認識することが重要です。たとえば、次のコードを見てみましょう。

if (!map.containsKey(key)) 
   return map.put(key, value);
else
   return map.get(key);

マルチスレッド環境では、これは競合状態です。ConcurrentHashMap.putIfAbsent(K key, V value)戻り値に注目してください。戻り値は put 操作が成功したかどうかを示します。詳細についてはドキュメントをお読みください。

なぜこれが競合状態なのかを明確にするよう求めるコメントに回答します。

2 つのスレッドがありA、それぞれ同じキーを持つB2 つの異なる値をマップに格納するとします。キーは最初はマップに存在しません。これらは次のようにインターリーブされます。v1v2

スレッドAが呼び出されcontainsKey、キーが存在しないことが検出されますが、すぐに中断されます。
スレッドはB呼び出してcontainsKey、キーが存在しないことを確認し、その値を挿入する時間がありますv2。
スレッドはA再開してを挿入し、スレッドによって挿入された値をv1「平和的に」上書きします ( はスレッドセーフであるため) 。putB

スレッドはB、独自の値を正常に挿入したと「考え」ますv2が、マップにはが含まれていますv1。これは本当に悲惨なことです。スレッドはBを呼び出しv2.updateSomething()、マップの消費者 (他のスレッドなど) がそのオブジェクトにアクセスでき、おそらく重要な更新 (「この訪問者の IP アドレスは DOS を実行しようとしているので、今後すべての要求を拒否する」など) を確認すると「考え」ます。代わりに、オブジェクトはすぐにガベージコレクションされ、失われます。

Answer 1

このget()方法はスレッドセーフであり、他のユーザーがこの特定の問題に関して役立つ回答を提供しました。