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 で行うことができます。オブジェクトへの新しい参照は、既存の参照から を形成し、そしてから既存の参照を渡すことができます別のスレッドへの1つの スレッドは、必要な同期をすでに提供している必要があります。

スレッド内のオブジェクトへの可能なアクセスを、既存の参照を介して実行して、別のスレッドの オブジェクトを削除する前に実行することが重要です。これは、オブジェクトを削除する前に参照を削除した後に "解放" 操作によって達成されます（この参照は明らかに以前に発生していたはずです）。

はfetch_sub 動作のためmemory_order_acq_relを使用することも可能であるが、 参照カウンタがまだゼロに達していないと性能 ペナルティを課すことができる場合、これは不要な「取得」操作になります。