computeifabsent 的原子性由 concurrenthashmap 内部锁机制（jdk 7 分段锁，jdk 8+ cas + synchronized）和内存屏障保障，确保“检查→创建→插入”三步不可分割、仅执行一次；不保证 mappingfunction 内部线程安全。

computeIfAbsent 的原子性不是靠“外部加锁”实现的，而是由 ConcurrentHashMap 的内部分段锁（或 JDK 8+ 的 CAS + synchronized 组合）保障整个“检查键是否存在 → 若不存在则执行函数 → 将结果写入并返回”三步不可分割。

底层靠锁与内存屏障协同完成

ConcurrentHashMap 在调用 computeIfAbsent 时，会先定位到目标 key 所在的哈希桶（bin），然后对该桶加锁（JDK 7 是分段锁，JDK 8 起是针对单个 Node 的 synchronized + CAS）。这意味着：

• 同一桶内多个线程对不同 key 调用 computeIfAbsent 可能并发执行
• 但对同一个 key，最多只有一个线程能进入映射函数；其余线程会阻塞等待或直接读取已写入的结果
• 函数执行完毕后，写入操作会搭配内存屏障，确保其他线程能立即看到新值

整个流程不可中断、不重入、不重复执行

关键在于：只要 key 不存在，mappingFunction 就只被执行一次，且执行结果一定会被 put 进 map —— 这个“判断 + 创建 + 插入”是原子打包的。例如：

// 即使 100 个线程同时执行这行，new ArrayList() 也只调用一次
List list = map.computeIfAbsent("users", k -> new ArrayList());

Java Development Manual

Java开发手册规约集合，基于阿里巴巴Java开发手册（嵩山版）。 涵盖7大维度：编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。 当用户需要：(1) 编写或审查Java代码 (2) 检查命名/代码规范 (3) 处理异常和日志 (4) 编写单元测试 (5) 安全编码 (6) 数据库设...

下载

不会有线程看到 key 不存在、各自创建 list 再竞相 put 的情况，也就避免了资源浪费和状态不一致。

注意：原子性仅限于本方法调用本身

它不保证 mappingFunction 内部逻辑的线程安全，也不保护你后续对返回值的操作。比如：

• ✅ 安全：返回的 list 是线程安全容器（如 CopyOnWriteArrayList），或你只在当前线程用
• ⚠️ 危险：返回的是普通 ArrayList，多个线程拿到后直接 add() —— 那就需额外同步
• ❌ 错误：在 lambda 里又去调 map.computeIfAbsent("otherKey", ...) —— 可能引发死锁或递归锁等待

和手动 get + putIfAbsent 的本质区别

手动两步写法存在竞态窗口：

if (!map.containsKey(key)) {
  map.put(key, expensiveInit()); // 中间可能有其他线程抢先 put
}

而 computeIfAbsent 把这两步压进一个受控临界区，彻底消除窗口期。这也是它能解决缓存击穿、重复初始化等问题的根本原因。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南