OpenJDK和Oracle JDK之间computeIfAbsent的语义差异

Question

我注意到 Oracle 的 JDK 和 Open JDK 之间的 ConcurrentHashMap.computeIfAbsent 方法的语义存在严重差异。这很令人惊讶，所以我想记录一下，看看其他人是否注意到了这个问题，或者我是否误解了某些内容。

根据 Oracle JDK 的 Javadoc（从 v8 开始，一直到 v15），调用 mappingFunction 的语义是：

整个方法调用是原子执行的，因此每个键最多应用一次函数。

但是，当从两个不同的线程同时访问密钥时，我注意到该函数在我的程序中被调用了两次。深入挖掘，我注意到 Open JDK 的文档指定了不同的语义：

整个方法调用都是原子执行的。如果键不存在，则每次调用此方法时，提供的函数只调用一次，否则根本不调用。

这在行为上有很大的不同，并且与我在程序中观察到的一致。在我看来，Open JDK 的实现用处不大，因为正在构建的资源通常非常昂贵，并且应该最多创建一次。

Answer 1

这在行为上有很大的不同

没有行为差异。它们的行为完全相同。

javadoc 的措辞被简单地改变了。

整个方法调用以原子方式执行，因此函数应用每个键最多一次。

对比：

整个方法调用都是原子执行的。如果键不存在，则提供的函数调用一次每次调用此方法，否则根本不存在。

如果两个线程竞争同一个key，每个线程调用computeIfAbsent，所以可能会发生两次方法调用，每个线程调用一次，即每次调用@一次函数调用987654322@，如第二版所述。

原子保证意味着只有一个线程将值应用于映射，即函数的结果只应用于有问题的键一次，如第一个版本中所述。其他线程的函数调用结果直接丢弃。

如您所见，两个版本的 javadoc 描述都准确地描述了方法的行为。这些描述并不相互矛盾，因为它们描述了行为的两个不同方面。