同步 BiMap 逆视图的同步

Question

Maps.synchronizedBiMap() 方法声明

用户必须在返回的地图上手动同步 访问其任何集合视图时。

这是否包括 BiMap 的 inverse() 视图？例如，如果变量按照以下示例进行初始化，从其他线程调用 inverse.put() 可能会出现问题（例如，更改在 map 或 inverse 上的 get() 调用中不可见，即使 @ 987654327@ 之前发生过 get)?

BiMap<Object, Object> map = Maps.synchronizedBiMap(HashBiMap.create());
BiMap<Object, Object> inverse = map.inverse();

如果这确实是一个问题，是否有解决此问题的标准/推荐方法？

// 编辑

查看实现，似乎SynchronizedBiMap 的inverse() 也是SynchronizedBiMap，共享相同的mutex。这是否意味着所描述的问题不存在？非常感谢 Guava Collections 专家的确认；）

Answer 1

不，在这种情况下，您不必在反转地图上进行同步。您仅引用了文档的一部分，我还将在示例代码中将原始keySet() 切换为inverse()：

返回由指定 bimap 支持的同步（线程安全）bimap。为了保证串行访问，对支持 bimap 的所有访问都必须通过返回的 bimap 完成。

当访问任何集合视图时，用户必须在返回的地图上手动同步：

BiMap<Long, String> map = Maps.synchronizedBiMap(
    HashBiMap.<Long, String>create());
//...
BiMap<String, Long> inverse = map.inverse();  // Needn't be in synchronized block
Set<String> set = inverse.keySet();  // Needn't be in synchronized block
//...
synchronized (map) {  // Synchronizing on map, not set!
  Iterator<String> it = set.iterator(); // Must be in synchronized block
  while (it.hasNext()) {
    foo(it.next());
  }
}

不遵循此建议可能会导致不确定的行为。

因此，当您在迭代其视图（包括迭代反向视图）期间想要确定性行为时，您必须在您的实例上进行同步。

如果是.inverse()，正如你提到的，it creates new synchronized bimap using same mutex object，所以它可以在get 或contains 等方法上正确同步。