ConcurrentHashMap computeIfAbsent
Java 8中引入了一个新的computeIfAbsent API。ConcurrentHashMap
实现它的javadocs 状态如下：
如果指定的键尚未与值关联，则尝试使用给定的映射函数计算其值，除非为null，否则将其输入此映射。整个方法调用是原子执行的，因此每个键最多可应用一次该功能。在进行计算时，可能会阻止其他线程在此映射上进行的某些尝试的更新操作，因此计算应简短而简单，并且不得尝试更新此映射的任何其他映射。
那么，当密钥已经存在并且不需要计算时，对于该实现的锁定有什么看法呢？即使不需要计算，还是仅同步映射函数调用以防止两次调用该函数，整个方法是否都按照docs中所述进行了同步？
问题答案：
ConcurrentHashMap的实现非常复杂，因为它专门设计为允许并发可读性，同时最大程度地减少了更新争用。在非常高的抽象水平上，它被组织为一个存储桶的哈希表。所有读取操作都不需要锁定，并且（引用javadoc）
“不支持以阻止所有访问的方式锁定整个表”
。为了实现这一点，内部设计非常复杂（但仍然很精致），其中的键值映射保存在节点中，可以利用各种方式（例如列表或平衡树）来安排键值映射，以利用细粒度的锁。如果您对实现细节感兴趣，还可以查看源代码。
尝试回答您的问题：
那么，当密钥已经存在并且不需要计算时，对于该实现的锁定有什么看法呢？
可以合理地认为，与任何读取操作一样，不需要锁定就可以检查密钥是否已存在并且不需要执行映射功能。
即使不需要计算，还是仅同步映射函数调用以防止两次调用该函数，整个方法是否都按照docs中所述进行了同步？
不，该方法在锁定方面不是 同步
的，但是从调用方的角度来看，它是原子执行的（即，映射功能最多只能应用一次）。如果未找到密钥，则必须使用由映射函数计算的值执行更新操作，并且在调用该函数时涉及某种锁定。可以合理地认为这样的锁定是非常细粒度的，并且只涉及表的一小部分（很好，必须存储键的特定数据结构），这就是为什么（引用javadoc，强调我的观点）
“ 计算正在进行时，其他线程尝试的 某些 更新操作 可能会 被阻止”。