Java并发编程：正确使用ConcurrentHashMap进行原子操作

本文旨在阐述在Java并发环境下，如何正确使用ConcurrentHashMap实现原子操作，避免不必要的同步，充分发挥其并发优势。我们将分析直接同步ConcurrentHashMap实例的潜在问题，并提供使用compute等原子操作方法的最佳实践，确保数据一致性和程序性能。

ConcurrentHashMap是Java并发包(java.util.concurrent)中提供的一个线程安全的哈希表实现。它允许多个线程并发地读取和修改Map，而无需像传统的HashMap那样进行完全同步。然而，不正确的使用方式可能会导致性能下降，甚至引入并发问题。

避免外部同步

直接使用synchronized关键字对ConcurrentHashMap实例进行同步，如以下代码所示，是一种反模式：

public class MyClass {
    ConcurrentHashMap map = new ConcurrentHashMap<>();

    public V get(K key) {
        return map.computeIfAbsent(key, this::calculateNewElement);
    }

    protected V calculateNewElement(K key) {
        V result;
        synchronized(map) {
            // calculation of the new element (assignating it to result)
            // with iterations over the whole map
            // and possibly with other modifications over the same map
        }
        return result;
    }
}

这种做法违背了ConcurrentHashMap的设计初衷。ConcurrentHashMap内部已经实现了细粒度的锁机制，通过分段锁（Segment Locking）或类似机制，允许多个线程并发地访问不同的数据段。外部同步会强制所有线程串行执行，抵消了ConcurrentHashMap的并发优势。SonarLint等静态代码分析工具通常会检测并报告这种同步方式，因为它可能表明对ConcurrentHashMap的理解不足。

立即学习“Java免费学习笔记（深入）”；

使用原子操作方法

ConcurrentHashMap提供了多种原子操作方法，例如compute, computeIfAbsent, computeIfPresent, merge等。这些方法允许你以线程安全的方式更新Map中的数据，而无需显式地进行外部同步。

PNG Maker

利用 PNG Maker AI 将文本转换为 PNG 图像。

下载

以computeIfAbsent为例，它可以原子地计算一个键对应的值，并将其添加到Map中，如果该键不存在的话：

import java.util.concurrent.ConcurrentHashMap;

public class MyClass {
    ConcurrentHashMap map = new ConcurrentHashMap<>();

    public V get(K key) {
        return map.computeIfAbsent(key, this::calculateNewElement);
    }

    protected V calculateNewElement(K key) {
        // calculation of the new element
        return (V) ("Value for " + key); // Replace with actual calculation
    }
}

在这个例子中，computeIfAbsent方法接受一个键和一个函数作为参数。如果Map中不存在该键，则调用该函数计算值，并将键值对添加到Map中。整个操作是原子性的，保证了线程安全。

更通用的compute方法允许你根据键和当前值（如果存在）计算新值，并更新Map：

import java.util.concurrent.ConcurrentHashMap;

public class Counter {
    private final ConcurrentHashMap counts = new ConcurrentHashMap<>();

    public void increment(String key) {
        counts.compute(key, (k, v) -> (v == null) ? 1 : v + 1);
    }

    public int getCount(String key) {
        return counts.getOrDefault(key, 0);
    }
}

在这个例子中，compute方法用于原子地增加计数器的值。如果键不存在，则将其初始化为1；否则，将当前值加1。

注意事项

• 避免长时间运行的计算： 传递给compute等方法的函数应该尽可能快地执行，避免长时间的阻塞操作，否则会影响ConcurrentHashMap的并发性能。
• 处理null值： 传递给compute等方法的函数不应返回null，除非你想从Map中删除该键。如果函数返回null，ConcurrentHashMap会将该键从Map中移除。
• 正确选择数据结构： 如果你需要频繁地更新大量节点，ConcurrentHashMap可能不是最佳选择。可以考虑使用并发树的实现，或者持久化集合（Persistent Collection）。

总结

ConcurrentHashMap是一个强大的并发数据结构，但要充分发挥其优势，必须避免不必要的外部同步，并尽可能使用其提供的原子操作方法。通过正确使用ConcurrentHashMap，可以编写出高效、线程安全的并发程序。