覆盖与查找

Question

我正在阅读 android 中的 SparseArray 类，并遇到了以下方法：

public void removeAt(int index) {
    if (mValues[index] != DELETED) {
        mValues[index] = DELETED;
        mGarbage = true;
    }
}

显然这也可以被编写：

public void removeAt(int index) {      Or   public void removeAt(int index) {
    if (mValues[index] != DELETED) {            mValues[index] = DELETED;
        mValues[index] = DELETED;               mGarbage = true;
        if (!mGarbage)                      }
            mGarbage = true;         
    }                                
}                                    

看起来 android 开发人员相信数组查找 mValues[index] 比数组写入快，但变量查找并不比变量写入快。

这是真的吗？它取决于VM，还是编译语言中的常识？

Answer 1

当然，右侧版本不等效 - 因为无论值是否已更改，mGarbage 都会设置为 true。

左边和原来的一样，但是没有意义。

基本上，我认为您错过了检查现有值是否允许 DELETED 的副作用：它允许 mGarbage 设置为 true 仅如果该方法具有确实有效果。这与从数组读取的性能无关。

Answer 2

这在很大程度上取决于虚拟机，我猜想这个特定的代码是针对 Dalvik 虚拟机进行调整的（或者它只是 Apache Harmony 碰巧实现的任何代码）。

要记住的一件事是，写入总是意味着一些与缓存和跨线程交互相关的成本（即，您可能需要内存屏障才能正常工作），而读取则更容易执行。

Answer 3

这个假设可能是正确的，尽管它在很大程度上取决于处理器和 JVM 实现。

一般原因与数组和变量关系不大，而与内存访问模式关系更大：

• 如果 mGarbage 是当前对象的字段值（无论是在寄存器中），则它很可能被本地缓存或 L1 缓存。您可能只是将对象放入缓存中，以便在几个周期前执行诸如虚拟方法查找之类的操作。当本地缓存某些内容时，读取或写入之间不会有太大区别。
• mValues[index] 是一个数组查找，不太可能在本地缓存（特别是当数组很大或只是偶尔访问时）。由于锁定/内存争用问题，从非本地缓存读取通常比写入更快，因此只有在可以逃脱的情况下才进行读取才有意义。机器中的核心越多，代码中的并发性越高，这种效果就越强。