dễ bay hơi với phát hành/có được ngữ nghĩa

Question

Kể từ Java 5, từ khóa volatile đã phát hành/có được ngữ nghĩa để hiển thị các hiệu ứng phụ cho các chủ đề khác (bao gồm các bài tập cho biến động không biến đổi!). Thực hiện hai biến này, ví dụ:

int i; 
volatile int v; 

Lưu ý rằng i là biến không thường xuyên, không bay hơi. Hãy tưởng tượng thread 1 thực hiện những điều khoản sau đây:

i = 42; 
v = 0; 

Tại một số điểm sau trong thời gian, chủ đề 2 thực hiện những điều khoản sau đây:

int some_local_variable = v; 
print(i); 

Theo mô hình bộ nhớ Java, ghi của v trong chủ đề 1 tiếp theo là đọc của v trong chủ đề 2 đảm bảo rằng thread 2 thấy ghi vào i được thực thi trong chuỗi 1, vì vậy giá trị 42 được in.

Câu hỏi của tôi là: volatile có cùng bản phát hành/có được ngữ nghĩa trong C# không?

Answer 1

Ngữ nghĩa của "dễ bay hơi" trong C# được xác định trong phần 3.10 và 10.4.3 của đặc điểm kỹ thuật. Thay vì sao chép chúng ở đây, tôi khuyến khích bạn tìm kiếm nó trong spec, và sau đó quyết định rằng nó quá phức tạp và nguy hiểm để sử dụng "dễ bay hơi", và quay lại sử dụng khóa.Đó là những gì tôi luôn làm.

Xem thông số 3.10 Execution Order và 10.4.3 Volatile Fields.

Answer 2

Vâng, tôi tin rằng nó đảm bảo rằng nếusome_local_variable được đọc như 0 (do ghi vào v), i sẽ được đọc như 42.

Phần khôn lanh là "tại một số điểm sau này trong thời gian ". Trong khi thường biến động được nói về mặt "đỏ bừng" viết, đó không phải là cách nó thực sự được định nghĩa trong spec (Java hoặc C#).

Từ ngôn ngữ đặc tả C# 4, phần 10.5.3:

Đối với các trường non-volatile, kỹ thuật tối ưu hóa mà sắp xếp lại các hướng dẫn có thể dẫn đến kết quả bất ngờ và không thể đoán trước trong các chương trình đa luồng truy cập vào các lĩnh vực mà không cần đồng bộ hóa như được cung cấp bởi tuyên bố khóa (§8.12). Những tối ưu hóa này có thể được thực hiện bởi trình biên dịch, bởi hệ thống thời gian chạy, hoặc bằng phần cứng. Đối với các trường dễ bay hơi, việc tối ưu hóa sắp xếp lại bị hạn chế:

• Đọc của trường dễ bay hơi được gọi là đọc dễ bay hơi. Một đọc dễ bay hơi có "có được ngữ nghĩa"; có nghĩa là, nó được đảm bảo xảy ra trước khi bất kỳ tham chiếu đến bộ nhớ xảy ra sau khi nó trong trình tự lệnh.
• Ghi một trường dễ bay hơi được gọi là ghi dễ bay hơi. Một ghi dễ bay hơi có "phát hành ngữ nghĩa"; có nghĩa là, nó được đảm bảo xảy ra sau bất kỳ tham chiếu bộ nhớ nào trước khi lệnh viết trong chuỗi lệnh.

Có thì một ví dụ đó là khá giống như của bạn, nhưng có điều kiện về giá trị đọc từ biến dễ bay hơi.

Và giống như Eric, tôi mạnh mẽ tránh dựa vào bản thân dễ bay hơi. Thật khó để giải thích, và tốt nhất là rời khỏi Joe Duffy/Stephen Toubs của thế giới.