C++ 11 nguyên tử và số tham chiếu con trỏ chia sẻ xâm nhập

Question

Tôi đang viết con trỏ được chia sẻ xâm nhập và tôi đang sử dụng các cơ sở C++ 11 <atomic> để tham khảo. Dưới đây là các mảnh vỡ có liên quan của mã của tôi:

//... 
mutable std::atomic<unsigned> count; 
//... 

void 
SharedObject::addReference() const 
{ 
    std::atomic_fetch_add_explicit (&count, 1u, 
     std::memory_order_consume); 
} 

void 
SharedObject::removeReference() const 
{ 
    bool destroy; 

    destroy = std::atomic_fetch_sub_explicit (&count, 1u, 
     std::memory_order_consume) == 1; 

    if (destroy) 
     delete this; 
} 

Tôi đã bắt đầu với memory_order_acquire và memory_order_release đầu tiên nhưng sau đó tôi đã thuyết phục bản thân mình rằng memory_order_consume nên đủ tốt. Sau khi cân nhắc thêm, có vẻ như với tôi rằng ngay cả memory_order_relaxed cũng sẽ hoạt động.

Bây giờ, câu hỏi là liệu tôi có thể sử dụng memory_order_consume cho các hoạt động hoặc tôi có thể sử dụng đặt hàng yếu hơn (memory_order_relaxed) hay tôi nên sử dụng đặt hàng khắt khe hơn?

Answer 1

void 
SharedObject::addReference() const 
{ 
    std::atomic_fetch_add_explicit (&count, 1u, std::memory_order_relaxed); 
} 

void 
SharedObject::removeReference() const 
{ 
    if (std::atomic_fetch_sub_explicit (&count, 1u, std::memory_order_release) == 1) { 
     std::atomic_thread_fence(boost::memory_order_acquire); 
     delete this; 
    } 
} 

Bạn muốn sử dụng atomic_thread_fence như vậy mà delete là đúng sau khi fetch_sub. Reference

Trích dẫn từ các văn bản liên kết:

Tăng truy cập tài liệu tham khảo luôn có thể được thực hiện với memory_order_relaxed: tài liệu tham khảo mới cho một đối tượng chỉ có thể được hình thành từ một tài liệu tham khảo hiện có, và đi qua một tài liệu tham khảo hiện tại từ một luồng này đến chủ đề khác phải cung cấp mọi đồng bộ được yêu cầu.

Điều quan trọng là phải thực thi bất kỳ quyền truy cập nào có thể vào đối tượng trong một chuỗi (thông qua tham chiếu hiện tại) trước khi xóa đối tượng trong một luồng khác. Điều này đạt được bằng thao tác "release" sau khi bỏ tham chiếu (bất kỳ truy cập nào đối tượng thông qua tham chiếu này rõ ràng phải xảy ra trước đó) và thao tác "có được" trước khi xóa đối tượng.

Nó sẽ có thể sử dụng memory_order_acq_rel cho sự vận hành fetch_sub , nhưng kết quả này trong không cần thiết "mua lại" hoạt động khi truy cập tham khảo vẫn chưa đạt được không và có thể áp đặt một hiệu suất phạt.