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

在 中,所有需要锁的方法在调用 之前将其复制到局部变量。ArrayBlockingQueuefinallock()

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.locklockthis.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;
}

是否有任何理由将最终字段复制到局部最终变量?


答案 1

这是该类的作者Doug Lea喜欢使用的极端优化。这是core-libs-dev邮件列表上最近关于这个确切主题的帖子,它很好地回答了你的问题。

从帖子:

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


答案 2

这个帖子给出了一些答案。实质内容:

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

推荐