C++ 11 원자력 및 간섭 공유 포인터 참조 횟수

Question

방해받는 공유 포인터를 쓰고 있으며 참조 카운터에 C++ 11 <atomic> 기능을 사용하고 있습니다. 여기에 내 코드 관련 조각은 다음과 같습니다

//... 
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; 
} 

내가 memory_order_acquire과 memory_order_release 첫째로 시작했지만 그때 memory_order_consume이 충분해야한다고 자신을 설득했다. 더 심의를 마친 후에도 memory_order_relaxed조차도 작동 할 것입니다.

이제는 조작에 memory_order_consume을 사용할 수 있는지 또는 더 약한 주문 (memory_order_relaxed)을 사용할 수 있습니까? 아니면 더 엄격한 주문을 사용해야합니까?

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; 
    } 
} 

당신은 delete 엄격 fetch_sub 후입니다 atomic_thread_fence는 사용하고 싶습니다. 링크 된 텍스트에서 Reference

인용구 :

참조 카운터를 증가는 항상 함께 할 수 memory_order_relaxed : 객체에 대한 새로운 참조는 기존의 참조에서 을 형성하고,에서 기존 기준을 통과 할 수있다 하나의 다른 스레드로의 스레드는 필요한 동기화를 제공해야합니다.

스레드의 기존 개체 참조를 통해 스레드에 개체를 삭제하기 전에 발생할 수있는 모든 액세스를 강제하는 것이 중요합니다. 이것은 참조를 삭제 한 후에 "릴리스" 작업 (이 참조는 분명히 전에 발생 했어야합니다. 을 통해 객체에 액세스) 및 객체를 삭제하기 전에 "취득" 작업에 의해 수행됩니다.

fetch_sub 작업에 memory_order_acq_rel을 사용할 수있을 것이지만, 참조 카운터가 아직 제로에 도달하지 않고 성능 벌금을 부과 할 수 있습니다 때 불필요한 "취득"작업 결과.