java.util.concurrent.ConcurrentHashMap.putIfAbsent是否需要在同步块中？

Question

我试图追踪竞争状况，所有迹象似乎都指向ConcurrentHashMap.putIfAbsent()。如果2个线程在空映射上使用相同的键调用putIfAbsent()，两者都可以进行查找以查看密钥是否存在，那么两个线程是否可能尝试添加它？出于某些原因，当我第一次开始使用putIfAbsent()时，我认为呼叫不需要同步。但是现在我看不出如果时机合适，它会如何阻止两个线程添加它们的值。我无法在生产之外重现这一点。

由于

Answer 1

任何并发集合的操作都不需要使用synchronized。

这是设计的，实际上锁定集合对其他操作没有影响。 （除非它们也被锁定）在这种情况下它会使它们变慢。

  

如果2个线程在一个空映射上调用putIfAbsent（）并使用相同的键，两个都可以执行查找以查看密钥是否存在，那么两个线程是否可能尝试添加它？

两者都可以尝试，但只有一个会成功。两个线程似乎不可能成功。

  

由于某种原因，当我第一次开始使用putIfAbsent（）时，我认为调用不需要同步。

没有。

  

但现在我看不出如果时机合适，它会如何阻止两个线程添加它们的值。

它在代码中执行CAS operation，这意味着只有一个操作可以成功，并且线程将知道哪个操作。 CAS操作不需要锁定，因为它使用底层汇编指令来执行此操作。实际上，您通常会使用CAS操作实现锁定，而不是相反。

Answer 2

  

如果2个线程在空映射上使用相同的键调用putIfAbsent是否有可能进行查找以查看密钥是否存在，那么两个线程都会尝试添加它？

不符合putIfAbsent()的文档：

  

如果指定的键尚未与值关联，请将其与给定值相关联。这相当于

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

  

除了动作以原子方式执行。

这意味着两个线程都无法尝试插入键值对。