concurrentskiplistmap迭代器是弱一致性而非fail-safe,不抛concurrentmodificationexception;它基于跳表无锁结构和节点状态标记实现并发安全遍历,允许修改但可能漏看新插入节点或看到已逻辑删除节点。

ConcurrentSkipListMap 的迭代器不是 fail-safe,而是 weakly consistent(弱一致性),且不抛 ConcurrentModificationException。它既不复制数据也不加锁,而是通过跳表内部的无锁结构和节点状态标记(如 next 指针的可见性、deleted 标记)来实现“遍历时允许并发修改,且不会抛异常、不会死循环、不会漏遍历或重复遍历”的效果。
弱一致性如何体现
迭代器在遍历时不冻结数据快照,也不阻塞写操作。它看到的是某个时间点近似一致的视图:可能跳过刚插入的节点,也可能看到已逻辑删除但物理未回收的节点(取决于 CAS 更新的时序)。关键在于跳表的每个层级节点都有原子更新的 next 指针,迭代器顺着指针链前进时,会自然避开正在被删除的节点(因为删除时先将节点的 next 设为自身,再 CAS 前驱指向该节点的 next),同时新插入节点仅影响其左侧前驱的 next 指针,不影响已开始遍历的路径。
你接手一个需求时,是不是经常这样:"改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续";这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境(JDK、Spring Boot、ORM、数据库、前端框架),记在
底层依赖跳表的无锁设计
- 所有修改(put/remove)都基于 CAS 更新节点的
next字段,不锁整个结构 - 节点删除采用“逻辑删除 + 后续清理”两阶段:先标记(如设置
next指向自己),再由后续操作或 GC 清理物理引用 - 迭代器只读取
next指针,并用循环 + compare-and-skip 处理遇到的已删除节点(例如:若当前节点next == node,说明已被删除,跳到node.next继续)
与 fail-fast 和 copy-on-write 的区别
不同于 HashMap 迭代器的 fail-fast(检测 modCount 变化就抛异常),也不同于 CopyOnWriteArrayList 的完全快照(内存开销大)。ConcurrentSkipListMap 迭代器是轻量级、无锁、低延迟的折中方案:它接受“可能看不到最新修改”,但保证安全、线性可扩展、不阻塞写入。
使用时需注意的边界行为
- 迭代过程中插入的新键值对,大概率不会被本次迭代看到(除非插入位置恰好在当前游标前方且已完成 CAS)
- 迭代过程中删除的元素,可能仍被遍历到(如果删除尚未完成 CAS 链更新),但不会导致异常或无限循环
- 迭代器不支持
remove()方法(调用会抛UnsupportedOperationException)
不复杂但容易忽略:它的“安全”来自算法层面的无锁协同,而非机制层面的隔离或复制。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










