JavaGuide项目解析：ConcurrentHashMap 1.7中rehash方法的双循环设计

在Java并发编程中，ConcurrentHashMap是一个非常重要的线程安全哈希表实现。在JDK 1.7版本中，其内部实现采用了分段锁机制来保证线程安全。其中rehash方法是扩容过程中的核心操作，而它内部采用的两个for循环设计体现了Doug Lea大师对并发性能优化的精妙思考。

rehash方法的基本原理

当ConcurrentHashMap中的某个段(Segment)需要扩容时，会触发rehash操作。这个过程会将旧表中的元素重新分配到新表中。在JDK 1.7的实现中，rehash方法采用了两个for循环的设计，这种设计并非偶然，而是经过深思熟虑的性能优化方案。

第一个for循环：定位lastRun节点

第一个for循环的主要目的是找到链表中最后一个不需要移动位置的节点(lastRun)。这个节点及其后续节点在新表中的位置是相同的，因此可以整体迁移而不需要逐个节点处理。

HashEntry<K,V> lastRun = e;
int lastIdx = idx;
for (HashEntry<K,V> p = e.next; p != null; p = p.next) {
    int k = p.hash & sizeMask;
    if (k != lastIdx) {
        lastIdx = k;
        lastRun = p;
    }
}

这个循环从当前节点开始遍历链表，记录下最后一个位置不变的节点。统计表明，在默认阈值下，当表容量加倍时，只有大约六分之一的节点需要被克隆，这大大减少了对象创建的开销。

第二个for循环：节点迁移

第二个for循环负责实际的数据迁移工作。它将需要移动位置的节点复制到新表中，同时保持原有节点的引用不变：

for (HashEntry<K,V> p = e; p != lastRun; p = p.next) {
    V v = p.value;
    int h = p.hash;
    int k = h & sizeMask;
    HashEntry<K,V> n = newTable[k];
    newTable[k] = new HashEntry<K,V>(h, p.key, v, n);
}

这里的关键点是每次都创建新的HashEntry对象，而不是复用原有对象。这种设计保证了并发读取线程的遍历操作不会因为扩容而中断，原有链表结构保持不变。

并发安全的设计哲学

这种双循环设计体现了ConcurrentHashMap的一个重要设计原则：写操作不影响读操作。通过创建新节点而不是修改现有节点，保证了：

1. 正在遍历的线程可以继续安全地访问旧链表
2. 新写入的数据会进入新创建的节点
3. 旧节点在没有线程引用后会被垃圾回收

这种"写时复制"的思想在并发编程中非常常见，它牺牲了一定的内存使用效率，换来了更高的并发读取性能。

性能优化考量

双循环设计在性能方面的优化体现在：

1. 减少了对象创建数量：通过lastRun优化，大部分节点可以整体迁移
2. 降低了锁竞争：扩容操作只影响当前段，其他段仍可正常访问
3. 平衡了内存开销和并发性能：只在必要时创建新对象

这种设计在并发性和性能之间取得了很好的平衡，是ConcurrentHashMap能够高效支持高并发场景的关键之一。

总结

ConcurrentHashMap 1.7中rehash方法的双循环设计展示了Java并发大师对性能优化的极致追求。通过精妙的数据结构和算法设计，在保证线程安全的同时，最大限度地提高了并发性能。理解这种设计思想，对于开发高性能并发程序有着重要的指导意义。