An toàn chủ đề nhưng nhanh chóng truy cập vào biến "cuối cùng cuối cùng"?

Question

Tôi có một máy chủ nào như thế này:

class Server { 

    private WorkingThing worker; 

    public void init() { 
     runInNewThread({ 
      // this will take about a minute 
      worker = new WorkingThing(); 
     }); 
    } 

    public Response handleRequest(Request req) { 
     if (worker == null) throw new IllegalStateException("Not inited yet"); 
     return worker.work(req); 
    } 

} 

Như bạn có thể thấy, có đề xử lý các yêu cầu và một sợi initing máy chủ. Yêu cầu có thể đến trước khi kết thúc, do đó có séc với IllegalStateException.

Bây giờ, để làm cho chủ đề này an toàn (vì vậy yêu cầu bộ xử lý không nhìn thấy cũ, null -valued, phiên bản worker ngay sau init), tôi phải làm cho công nhân dễ bay hơi, đồng bộ hóa trên đó hoặc một số như là.

Tuy nhiên, sau khi quá trình init hoàn tất, worker sẽ không bao giờ thay đổi nữa, do đó, nó sẽ hiệu quả cuối cùng. Do đó, nó có vẻ như bất kỳ tranh chấp khóa có thể xảy ra sẽ là một sự lãng phí. Vậy, điều hiệu quả nhất tôi có thể làm ở đây là gì?

Bây giờ tôi biết nó không thực sự quan trọng trong một ý nghĩa thực tế (với tất cả các nâng nặng của đọc một yêu cầu mạng, vv, một vấn đề khóa duy nhất là gì?), Nhưng tôi muốn biết sự tò mò .

Answer 1

Lưu ý về biến động: đánh dấu biến dễ bay hơi rẻ hơn sử dụng đồng bộ hóa (không liên quan đến khóa) và thường rẻ đủ để bạn không chú ý. Đặc biệt, trên kiến ​​trúc x86, đọc một biến biến động không tốn nhiều tiền hơn việc đọc một biến không biến động. Tuy nhiên văn bản cho một biến động là tốn kém hơn và thực tế là biến là dễ bay hơi có thể ngăn chặn một số tối ưu hóa trình biên dịch.

Vì vậy, việc sử dụng dễ bay hơi có lẽ là tùy chọn cung cấp cho bạn tỷ lệ hiệu suất/độ phức tạp tốt nhất trong kịch bản của bạn.

Bạn không có nhiều lựa chọn thay thế. Cuối cùng nó sôi xuống để đảm bảo một ấn phẩm an toàn của nhân viên của bạn. Và thành ngữ xuất bản an toàn bao gồm:

• initialising trường hợp từ một initialiser tĩnh
• đánh dấu tham chiếu đến dụ như thức
• đánh dấu tham chiếu đến dụ như dễ bay hơi
• đồng bộ hóa tất cả các truy cập

Trong trường hợp của bạn, chỉ có hai tùy chọn cuối cùng khả dụng và sử dụng biến động hiệu quả hơn.

Answer 2

Bạn nên khai báo công nhân là dễ bay hơi.

Bởi vì hai lý do

1. nếu bạn không khai báo nó như là ổn định hơn do sắp xếp lại và tầm nhìn ảnh hưởng bạn có thể nhìn thấy tài liệu tham khảo không null để không đầy đủ xây dựng Worker Object. và do đó bạn có thể có các hiệu ứng không mong muốn. Điều này sẽ không xảy ra nếu bạn làm cho nhân viên của bạn bất biến bằng cách sử dụng tất cả các biến số cuối cùng là .

2. Về lý thuyết, có thể chủ đề chính của bạn có thể không thấy tham chiếu không rỗng của đối tượng công nhân trong một thời gian dài. Vì vậy, tránh nó.

Vì vậy, kết luận nếu nhân viên không thay đổi được so với điểm 2, bạn nên làm cho nó dễ bay hơi. Luôn tránh các kết quả không thể đoán trước. Tuyên bố nó dễ bay hơi sẽ chăm sóc những vấn đề này.

Answer 3

Tôi muốn khám phá bằng cách sử dụng ava.util.concurrent.atomic.AtomicReference nếu nó rỗng, ném hoặc chờ và thử lại (nếu init đủ nhanh).

Answer 4

Sử dụng khóa đơn giản cho các yêu cầu ban đầu:

public synchronized void init() { 
    if(worker!=null) return; 
    runInNewThread({ 
     synchronized(Server.this){ 
      worker = new WorkingThing(); 
      Server.this.notify(); 
     } 
    }); 
    this.wait(); 
} 

public Response handleRequest(Request req) { 
    if (worker == null) synchronized(this) { 
     this.wait(); 
    } 
    return worker.work(req); 
} 

này hoạt động vì có những điểm đồng bộ hóa giữa các truy cập đến người lao động.