Question

在ArrayBlockingQueue中，需要锁定的所有方法在调用final之前将其复制到本地lock()变量。

public boolean offer(E e) {
    if (e == null) throw new NullPointerException();
    final ReentrantLock lock = this.lock;
    lock.lock();
    try {
        if (count == items.length)
            return false;
        else {
            insert(e);
            return true;
        }
    } finally {
        lock.unlock();
    }
}

当字段this.lock为lock时，是否有理由将this.lock复制到本地变量final？

此外，它还会在使用E[]之前使用本地副本：

private E extract() {
    final E[] items = this.items;
    E x = items[takeIndex];
    items[takeIndex] = null;
    takeIndex = inc(takeIndex);
    --count;
    notFull.signal();
    return x;
}

有没有理由将最终字段复制到本地最终变量？

Answer 1

这是一个极端的优化，该课程的作者Doug Lea喜欢使用。这是关于这个确切主题的core-libs-dev邮件列表上a recent thread的帖子，它可以很好地回答你的问题。

来自帖子：

...复制到本地生产最小的字节码，对于低级代码，编写代码很好那距离机器更近了

Answer 2

This thread给出了一些答案。实质上：

编译器无法轻易证明最终字段在方法中没有变化（由于反射/序列化等）。
大多数当前编译器实际上都没有尝试，因此每次使用时都必须重新加载最终字段，这可能导致缓存未命中或页面错误
将其存储在局部变量中会强制JVM仅执行一次加载

在ArrayBlockingQueue中，为什么要将最终成员字段复制到本地最终变量中？

2 个答案: