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

Question

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

在……里面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

这是一个极端优化，DougLea，这个类的作者，喜欢使用。这里有个帖子最近的线索在核心的libs-dev邮件列表中，这个精确的主题很好地回答了你的问题。从岗位：.复制到本地会生成最小的字节码，对于低级代码来说，编写离机器稍微近一点的代码是很好的

Answer 2

这条线给出一些答案。实质内容：编译器很难证明最终字段在方法中不会改变(因为反射/序列化等)。大多数当前编译器实际上不尝试，因此每次使用时都必须重新加载最终字段，这可能会导致缓存丢失或页面错误。将其存储在局部变量中会迫使jvm只执行一个负载。