Con trỏ Java có viết nguyên tử không?

Question

Câu hỏi đơn giản: mô hình bộ nhớ/đồng bộ hóa Java có đảm bảo ghi con trỏ nguyên tử không? Đó là, nếu chúng ta có đề cạnh tranh:

String shared; 

thread1() 
{ 
    shared = "a"; 
} 

thread2() 
{ 
    shared = "hello world"; 
} 

bắt đầu cùng một lúc, được shared luôn đảm bảo được null, "a", hoặc "hello world"?

Answer 1

Đọc và viết là nguyên tử cho các biến tham chiếu.

Nguồn: http://docs.oracle.com/javase/tutorial/essential/concurrency/atomic.html

Answer 2

Nó sẽ là một trong ba giá trị đó, có - nhưng không xác định. Người cuối cùng trong "thắng".

Bạn không yêu cầu, nhưng để hoàn thành - nó sẽ KHÔNG là "hello wor" hoặc một số phiên bản một phần của chuỗi đó.

Answer 3

Có. Từ section 17.7 of the JLS:

Ghi và đọc tham chiếu luôn là nguyên tử, bất kể chúng được triển khai dưới dạng giá trị 32 bit hay 64 bit.

(Điều đó không có nghĩa là bạn sẽ luôn nhìn thấy giá trị "mới nhất", nhưng đó là một vấn đề khác.)

Answer 4

Đó là nguyên tử.

Tuy nhiên, trong ví dụ bạn đưa ra, shared 's giá trị không necessarly một của null, a hoặc hello world. Có thể là, nếu không có sự đồng bộ hóa thích hợp, mỗi luồng sẽ không bao giờ thấy giá trị được thiết lập bởi các luồng khác. Vì vậy, thread 1 sẽ thấy a và thread 2 sẽ thấy hello world cùng một lúc.

Edit: thêm tài liệu tham khảo cho đoạn cuối cùng để biết thêm đọc

Các JLS giải thích thứ tự của hoạt động được thực hiện bởi chủ đề khác nhau, trong Chapter 17 - Threads and Locks. Cụ thể, trong phần 17.4.5 Happens-before Order. Ngoài ra, các văn bản Java Concurrency in Practice được giải thích rõ ràng.