C++ 0x: bộ nhớ đặt hàng

Question

hiện nay C++0x draft bang trên phần 29.3.9 và 29.3.10, trang 1111-1112 mà trong ví dụ sau:

// Thread 1 
r1 = y.load(memory_order_relaxed); 
x.store(1, memory_order_relaxed); 

// Thread 2 
r2 = x.load(memory_order_relaxed); 
y.store(1, memory_order_relaxed); 

Kết quả r1 = r2 = 1 có thể kể từ khi hoạt động của mỗi thread được thoải mái và địa chỉ không liên quan. Bây giờ câu hỏi của tôi là về các kết quả có thể có của ví dụ sau (tương tự):

// Thread 1 
r1 = y.load(memory_order_acquire); 
x.store(1, memory_order_release); 

// Thread 2 
r2 = x.load(memory_order_acquire); 
y.store(1, memory_order_release); 

Tôi nghĩ rằng trong trường hợp này kết quả là r1 = r2 = 1 là không thể. Nếu có thể, tải trọng của y sẽ đồng bộ hóa với (do đó xảy ra trước đó) các cửa hàng để y. Tương tự như x, tải của x sẽ xảy ra trước khi cửa hàng x. Tuy nhiên, tải của y được sắp xếp theo trình tự trước đó (do đó cũng xảy ra trước đó) các cửa hàng để x. Điều này tạo ra một mối quan hệ xảy ra trước đó theo chu kỳ mà tôi nghĩ là không được phép.

Answer 1

Nếu chúng ta mất nhiều thời gian (hoặc, trình tự hướng dẫn nếu bạn thích) chảy xuống, giống như đọc mã, sau đó sự hiểu biết của tôi là

• Một Acquire hàng rào cho phép bộ nhớ khác truy cập để di chuyển xuống qua hàng rào , nhưng không lên vượt qua hàng rào
• Một hàng rào phát hành cho phép bộ nhớ khác truy cập để di chuyển lên qua hàng rào, nhưng không xuống vượt qua hàng rào

Nói cách khác, nếu bạn có mã như

acquire 
// other stuff 
release 

khi đó truy cập bộ nhớ có thể di chuyển từ bên ngoài cặp mua/giải phóng vào bên trong, chứ không phải theo cách khác (và họ cũng không thể bỏ qua cặp mua/giải phóng hoàn toàn).

Với ngữ nghĩa nhất quán thoải mái trong ví dụ đầu tiên trong câu hỏi, phần cứng có thể sắp xếp lại quyền truy cập bộ nhớ sao cho các cửa hàng nhập hệ thống bộ nhớ trước khi tải, do đó cho phép r1 = r2 = 1. Với ngữ nghĩa thu được/giải phóng trong ví dụ thứ hai, việc sắp xếp lại được ngăn chặn, và do đó r1 = r2 = 1 là không thể.