Có `std :: mutex` và` std :: lock` đảm bảo bộ nhớ đồng bộ hóa trong mã bộ xử lý liên không?

Question

Tôi hiện đang sử dụng OpenMP để viết mã chạy trên các nút đa lõi. openMP có một mô hình bộ nhớ cụ thể đảm bảo rằng bộ nhớ được đồng bộ giữa các luồng chạy trên các lõi khác nhau khi khóa được mua lại.

Tôi xem xét sử dụng cấu trúc C++ 11 (std::thread với std::mutex và std::lock) thay vì openMP (vì tính linh hoạt lớn hơn) và tự hỏi liệu bộ nhớ đồng bộ hóa giữa các bộ xử lý có được đảm bảo ở đây không? Và nếu không, làm thế nào tôi có thể thực thi nó?

Answer 1

Tiêu chuẩn làm cho người nhận bảo lãnh sau đây về đồng bộ hóa std::mutex, trong §30.4.1.2 [thread.mutex.requirements.mutex]/6-25

Khái niệm m.lock() sẽ nổi được hình thành và có các ngữ nghĩa sau đây

Đồng bộ hóa: Các hoạt động mở khóa trước() trên cùng một đối tượng sẽ đồng bộ hóa với thao tác này.

Và, tương tự như vậy,

Khái niệm m.unlock() được tốt được hình thành và có ngữ nghĩa sau

Synchronization: Thao tác này sẽ đồng bộ với các hoạt động khóa sau đó lấy quyền sở hữu trên cùng một đối tượng.

(Trong trường hợp "đồng bộ hóa với" là một thuật ngữ cụ thể được giải thích trong $ 1.10, mặc dù nó dễ dàng hơn để hiểu bằng cách đọc C++ Concurrency Trong Action)