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

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到局部变量？lockthis.lockfinal

此外,它还在使用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邮件列表上最近一个帖子的帖子,它很好地回答了你的问题.

从帖子:

...复制到本地产生最小的字节码,对于低级代码,编写更接近机器的代码是很好的

Answer 2

这个帖子提供了一些答案.实质上:

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