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

最終フィールドをローカルの最終変数にコピーする理由はありますか？

これは、クラスの作成者であるDougLeaが使用するのが好きな極端な最適化です。これは、core-libs-devメーリングリストの最近のスレッドで、あなたの質問に非常によく答えるこの正確な主題についての投稿です。

投稿から：

...ローカルにコピーすると最小のバイトコードが生成されます。低レベルのコードの場合は、マシンに少し近いコードを作成すると便利です。

このスレッドはいくつかの答えを与えます。実質的に：

• コンパイラは、メソッド内で最終フィールドが変更されないことを簡単に証明できません（リフレクション/シリアル化などのため）。
• 現在のほとんどのコンパイラは実際には試行しないため、使用するたびに最終フィールドをリロードする必要があり、キャッシュミスやページフォールトが発生する可能性があります。
• ローカル変数に格納すると、JVMは1回のロードのみを実行します。