使用可变键映射并发

Question

我有： Map<K1, Map<K2, V>>，其中：

1. K1 是可变的。 （它很少改变，而且只在一个地方改变，所以我可以删除 K1 的 Map 并用另一个键重新设置）

我想要： 使地图并发。我要同时：

1. 修改 K2 的值 (V)
2. 将整个地图替换为 K1

更新问题：下面的代码容易出错吗？

public class V {
   K1 k1;
   K2 k2;

   final ConcurrentHashMap<K1, ConcurrentHashMap<K2, V>> map = new ConcurrentHashMap<K1, ConcurrentHashMap<K2, V>> ();

   public void changeK1(V v, K1 newK) {        
      removeValue(v); //doesn't remove old val!
      v.k1 = newK; //PROBLEM: map is the same as before `removeValue` call, but it shouldn't!
      addValue(V); //doesn't add new val!
   }

   void addValue(V v) {
      if (map.get(v.k1) == null) {
         map.put(v.k1, new ConcurrentHashMap<K2, V>());
      }
      map.get(v.k1).put(v.k2, v);
   }

   void removeValue(V v) {
      ConcurrentHashMap<v.k2, v> subMap = map.get(v.k1);
      if (subMap != null) {
         subMap.remove(v.k2); //remove from subMap but doesn't remove  from map!
   }
}

  //also I can remove any value by K1 or K2 at any moment!
}

Answer 1

此代码受制于竞争条件。

多个线程可以检测到map.get(v.k1) == null。根据执行顺序，其中一个线程可以为k1 分配一个新的子图，并破坏其他线程已经添加了它们的值的子图。

ConcurrentMap 更突出的特点之一是它的putIfAbsent() 方法。

map.putIfAbsent(v.k1, new ConcurrentHashMap<>());
map.get(v.k1).put(v.k2, v);