Chuẩn C++ 11 có định nghĩa chính xác các hoạt động có được, giải phóng và tiêu thụ không?

Question

Trong tiêu chuẩn C++ 11, mục 1.10/5 đề cập, nhưng không chính thức xác định các điều khoản acquire operation, release operation và consume operation. Sau đó nó tiếp tục trong Phần 29 để sử dụng các thuật ngữ này để mô tả các hành động của các thứ tự bộ nhớ nhất định, các hoạt động nguyên tử và các hàng rào bộ nhớ. Ví dụ, 29,3/1 vào "Đặt hàng và nhất quán" khẳng định:

memory_order_release, memory_order_acq_rel và memory_order_seq_cst: một hoạt động cửa hàng thực hiện một hoạt động phát hành [nhấn mạnh thêm] trên bộ nhớ bị ảnh hưởng vị trí.

Đây là loại ngôn ngữ được lặp đi lặp lại trong suốt phần 29, nhưng nó làm tôi bực mình một chút rằng tất cả ý nghĩa cho memory_order enumerations được dựa trên các loại hoạt động mà bản thân chúng dường như không được chính thức theo tiêu chuẩn, nhưng phải có một số thường được thỏa thuận để có hiệu quả như định nghĩa.

Đặt một cách khác, nếu tôi nói: "Một thanh là một foo lật", ý nghĩa cụ thể của thanh và foo là mơ hồ vì không hạn được chính thức xác định. Chỉ tính chất tương đối của chúng được xác định.

Chuẩn C++ 11 hay một số tài liệu ủy ban tiêu chuẩn C++ 11 chính thức xác định chính xác một số acquire operation, release operation, v.v ... hoặc là những thuật ngữ này thường được hiểu? Nếu sau này, có một tài liệu tham khảo tốt được coi là một tiêu chuẩn công nghiệp cho ý nghĩa của các hoạt động này? Tôi đặc biệt yêu cầu vì các mô hình bộ nhớ phần cứng không được tạo ra bằng nhau, và vì vậy tôi phải có một số tham chiếu được đồng ý chung để cho phép những người thực hiện các trình biên dịch, vv để dịch đúng ngữ nghĩa của các hoạt động này sang các lệnh lắp ráp gốc.

Answer 1

Có một định nghĩa tóm tắt chính thức được đưa ra trong một trong những ghi chú:

thực hiện một hoạt động phát hành trên A lực tác dụng phụ trước khi vào vị trí bộ nhớ khác để trở thành có thể nhìn thấy chủ đề khác mà sau này thực hiện một tiêu thụ hoặc một Acquire hoạt động trên A.

Bên cạnh đó, hành vi của các hoạt động tiếp thu và phát hành được đầy đủ quy định tại 1.10, đặc biệt là trong cách họ đóng góp cho xảy ra-trước mối quan hệ. Bất kỳ định nghĩa nào ngoài hành vi đều vô dụng.

Answer 2

Tôi không thấy bất kỳ định nghĩa chính thức nào về ngữ nghĩa thu nhận/phát hành sau khi xem nhanh thông qua tiêu chuẩn, do đó, tôi đoán là chúng được giả định là các thuật ngữ thông dụng.

Sau cùng, chúng không thể xác định được mọi thứ.

Đây không phải là tham chiếu chính xác, nhưng Raymond Chen has blogged about acquire/release semantics. Bài đăng của anh ấy bao gồm a link to Microsoft's definition of acquire and release semantics, mà bạn cũng có thể thấy hữu ích.

Answer 3

Tôi cũng lấy các ngữ nghĩa có được/giải phóng tương đối dứt khoát về chính nó; mặc dù chúng có nhiều thuật ngữ cụ thể về mặt phần cứng hơn là các thuật ngữ lập trình.

Nhưng, tôi nghĩ phần 1.10 đoạn 5 và 6 có vẻ khớp với tất cả các định nghĩa ngữ nghĩa có được/phát hành mà tôi đã đọc ở các tiêu chuẩn ngôn ngữ khác cũng như các định nghĩa CPU.

Bất kể, một trong những điểm chính của C++ 11 là xác định mô hình bộ nhớ hiện đại để hỗ trợ mã đồng thời và đa luồng. Tôi thấy khó tin rằng họ không hiểu đúng :)

Answer 4

thực sự các hoạt động này được xác định trong phần 1.10/5-12.

release/acquire cặp tương ứng với số xảy ra trước mối quan hệ; trong khi release/consume cặp với phụ thuộc theo lệnh trước mối quan hệ.