java - ConcurrentHashMap 使用线程 A 进行remove()，同时使用线程 B 进行迭代

Question

据我了解，put()、clear()和remove()是由ConcurrentHashMap提供的并且它是线程安全的操作，无需使用任何锁。

在ConcurrentHashMap中，有不同的段，每个段都有多个哈希桶。

Clear() 和 put() 是线程安全的，因为 clear() 只是清除对该存储桶的哈希链的引用，但是哈希链仍然存在，因此如果线程 A 对其进行迭代，它不会受到影响，但来自线程 B 的 clear() 会受到影响。 Put() 总是会在该存储桶的哈希链的开头放置一个新节点，因此也可以。

但是，我不明白的是为什么 remove() 是线程安全的？例如，哈希桶是bucket->A->B->C->D->E，并且线程A调用remove(C) 中，ConcurrentHashMap 的实现提供的机制是将 A、B 复制到下一个链表中，但顺序相反bucket->B->A->D-E 然后在原始 D->E 旁边创建 A.，结果是 bucket->B->A->D-E。

为什么这是线程安全的？如果线程 B 当前正在迭代元素 A，然后线程 A 调用remove(C)，该怎么办？看起来会坏掉？

Answer 1

嗯，remove() 将 HashEntry 元素克隆到删除的元素，而不是修改旧的元素。所以你得到

B*->A*->D->E 在桶中，但原始

A->B->C-^ 序列未被触及。

您可以确定 A.equals(A*) == false，即使它们具有相同的键和相同的值。但这对于迭代器来说不是问题，因为它只是使用已经获取的条目 A 继续前进。

附注ConcurrentHashMap 使用存储桶级别的锁进行修改。它不是无锁的。