java - 这种锁定技术的名称是什么？

Question

我有一个巨大的 Trove map 和一个我需要从多个线程中经常调用的方法。大多数情况下，此方法将返回 true。线程正在进行大量的数字运算，我注意到由于以下方法存在一些争用(这只是一个示例，我的实际代码有点不同):

synchronized boolean containsSpecial() {
   return troveMap.contains(key);
}

请注意，这是一个“仅附加”映射:一旦添加了一个键，它就会永远保留在那里(我认为这对接下来发生的事情很重要)。

我注意到通过将上面的内容更改为:

boolean containsSpecial() {
    if ( troveMap.contains(key) ) {
        // most of the time (>90%) we shall pass here, dodging lock-acquisition
        return true;
    }
    synchronized (this) {
        return troveMap.contains(key);
    }
}

我的数字运算速度提高了 20%(经过大量运行、长时间运行等验证)。

这个优化看起来正确吗(知道一旦有 key ，它将永远留在那里)？

这项技术的名称是什么？

编辑

与 containsSpecial() 方法相比，更新 map 的代码被调用的次数更少，看起来像这样(我已经同步了整个方法):

synchronized void addSpecialKeyValue( key, value ) {
    ....
}

Answer 1

此代码不正确。

Trove 本身不处理并发使用；在这方面它就像 java.util.HashMap。因此，像 HashMap 一样，即使看似无害的只读方法(如 containsKey())也可能引发运行时异常，或者更糟的是，如果另一个线程修改映射，则进入无限循环同时。我不知道 Trove 的内部结构，但使用 HashMap，在超过负载因子时重新散列，或删除条目可能会导致其他仅读取的线程失败。

如果与锁管理相比该操作花费大量时间，则使用 read-write lock消除序列化瓶颈将大大提高性能。在ReentrantReadWriteLock的类文档中，有“Sample usages”；您可以将第二个示例(对于 RWDictionary)用作指南。

在这种情况下，映射操作可能非常快，以至于锁定开销占主导地位。如果是这种情况，您将需要在目标系统上进行分析，以查看是同步 block 还是读写锁更快。

无论哪种方式，重要的一点是您不能安全地删除所有同步，否则您将遇到一致性和可见性问题。