Liệu so sánh và trao đổi nguyên tử có ghi đè lên một văn bản lười biếng mà không thấy nó?

Question

Các memory model section (17.4) của JLS mô tả chi tiết hợp lý ngữ nghĩa của volatile và không volatile đọc và ghi, cũng như tương tác với một số cấu trúc khác như màn hình nhập và thoát.

Tuy nhiên, nó không giải thích hoàn toàn ngữ nghĩa của compareAndSwap cũng không phải lazySet trên lớp java.util.concurrent.Atomic *. Đối với compareAndSet, bạn không có lời giới thiệu từ package javadoc:

compareAndSet and all other read-and-update operations such as getAndIncrement 
have the memory effects of both reading and writing volatile variables. 

lazySet cung cấp lời giới thiệu đôi chút bí hiểm hơn:

lazySet has the memory effects of writing (assigning) a volatile variable 
except that it permits reorderings with subsequent (but not previous) 
memory actions that do not themselves impose reordering constraints with 
ordinary non-volatile writes. Among other usage contexts, lazySet may apply 
when nulling out, for the sake of garbage collection, a reference that is 
never accessed again. 

gì không phải là rõ ràng với tôi là cách họ tương tác. Nếu bạn phát hành một CAS (compareAndSet) và một lazySet đến cùng một giá trị nguyên tử, trong đó CAS expectedValue khác với giá trị lazySet, có thể là CAS ghi đè lên giá trị lazySet không?

một cách rõ ràng hơn, đưa ra hai đề, T1 và T2, hoạt động trên chung một AtomicInteger atomic = new AtomicInteger(); như sau:

static CountDownLatch latch = new CountDownLatch(2); 

T1 
atomic.lazySet(5); // L1A 
latch.countDown(); 
latch.await(); 
int val1 = atomic.get(); 

T2 
atomic.compareAndSet(0, 10); // L2A 
latch.countDown(); 
latch.await(); 
int val2 = atomic.get(); 

là val1 == val2 == 10 một kịch bản có thể ở đây? Thật vậy, có thể val1hoặcval2 bao giờ là 10?

Các chốt không phải là cốt lõi cho câu hỏi - chúng chỉ là một cách để có cả hai chủ đề đợi cho đến khi thao tác kia được thực hiện và bắt đầu xảy ra trước giữa các hoạt động lazySet và compareAndSet thú vị trên mỗi chuỗi. đọc của nguyên tử để xem trạng thái (không có chúng, bạn chắc chắn có thể thấy ít nhất val2 == 10, thoáng qua).

Answer 1

compareAndSet là cả đọc và ghi, do đó, nó áp đặt ràng buộc khi đặt hàng. Theo tài liệu, điều này có nghĩa là ghi lazySet sẽ không phải được phép sắp xếp lại nó. Vì vậy, không, val1 và val2 không bao giờ được 10

EDIT: Để làm rõ, những gì lazySet về cơ bản không là nó hoạt động một ghi nguyên tử vì mục đích của bất kỳ hoạt động nguyên tử khác mà cũng viết để điều tương tự, nhưng phi nguyên tử cho các hoạt động nguyên tử khác là chỉ đọc.

Thảo luận nhiều hơn khả năng hữu ích tại AtomicInteger lazySet vs. set, những miếng ngon hữu ích nhất là liên kết đến changeset gốc nơi các phương pháp lười biếng đã được thêm vào: http://bugs.java.com/bugdatabase/view_bug.do?bug_id=6275329