82

其中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;
}

是否有任何理由将最终字段复制到本地最终变量？

4

2 回答 2

69

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

从帖子：

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

于 2010-05-07T03:29:47.690 回答
13

这个线程给出了一些答案。实质上：

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