Trong ArrayBlockingQueue, tại sao sao chép trường thành viên cuối cùng vào biến cuối cùng cục bộ?

Question

Trong ArrayBlockingQueue, tất cả các phương pháp yêu cầu khóa bản sao nó vào một biến địa phương final trước khi gọi 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(); 
    } 
} 

Có lý do nào để sao chép this.lock cho một biến địa phương lock khi lĩnh vực this.lock là final?

Ngoài ra, nó còn sử dụng một bản sao cục bộ của E[] trước khi hành động trên nó:

private E extract() { 
    final E[] items = this.items; 
    E x = items[takeIndex]; 
    items[takeIndex] = null; 
    takeIndex = inc(takeIndex); 
    --count; 
    notFull.signal(); 
    return x; 
} 

Có bất kỳ lý do để sao chép một lĩnh vực thức cho một biến thức địa phương?

Answer 1

Đó là một tối ưu hóa cực kỳ Doug Lea, tác giả của lớp, thích sử dụng. Đây là một bài đăng trên a recent thread trên danh sách gửi thư lõi-libs-dev về chủ đề chính xác này, câu trả lời cho câu hỏi của bạn khá tốt.

từ đăng bài:

... sao chép để người dân địa phương tạo ra bytecode nhỏ nhất, và cho mã ở mức độ thấp nó rất hay để viết mã đó là một chút gần gũi hơn với các máy

Answer 2

This thread cung cấp một số câu trả lời. Trong chất:

• trình biên dịch không thể dễ dàng chứng minh rằng một lĩnh vực thức không thay đổi trong vòng một phương pháp (do phản xạ/serialization vv) trình biên dịch
• mới nhất thực sự không cố gắng và do đó sẽ có để tải lại mọi lĩnh vực thức nó được sử dụng mà có thể dẫn đến một cache hoặc một lỗi trang
• lưu trữ nó trong một biến địa phương buộc JVM để thực hiện chỉ có một tải