C++ 11 std :: atomic_flag、これを正しく使用していますか？

Question

私はスレッドセーフな方法でテストして設定する必要がある単純なブール値を持っています。あるスレッドがすでに動作している場合は、2番目のスレッドを終了します。 std::atomic_flagが正しく理解されていれば、正常に動作するはずです。まともなを形成し、以下の提案に基づいて更新されたコード：

// myclass.cpp 
#using <atomic> 

namespace // anonymous namespace 
{ 
    std::atomic_flag _my_flag = ATOMIC_FLAG_INIT; 
} // ns 

myclass::do_something() 
{ 
    if (!::_my_flag.test_and_set())) 
    { 
     // do my stuff here; handle errors and clear flag when done 
     try 
     { 
      // do my stuff here 
     } 
     catch (...) 
     { 
      // handle exception 
     } 

     ::_my_flag.clear(); // clear my flag, we're done doing stuff 
    } 
    // else, we're already doing something in another thread, let's exit 
} // do_something 

更新：しかし、私は私が正しくstd::atomic_flagを理解し:)私は、このスピンロック、たとえば、保存、オンライン多くの簡単な例を見つけることができないよう自信がないんだけどstd::atomic_flagの適切な使用のためのテンプレート。皆さんありがとう！

Answer 1

atomic_flagは広く使われることを意図していない本当に低レベルの構成です。それは例外的な場合にはフラグをクリアすることを除いて、あなたが意図したとおりの使用法であると信じています。 std::exceptionと一致するもの以外の例外が発生した場合、フラグはクリアされません。

通常、この種の処理にはRAIIを使用します。 「R」は通常「リソース」を表しますが、代わりにJon Kalbのusageの「責任」が好きです。フラグを設定したら、完了時にフラグをクリアする責任があるので、RAIIを使用して責任が実行されるようにする必要があります。例外的な場合に行う必要があるすべての操作をこのように行うことができる場合は、try/catchのペアが消えます。

if (!std::atomic_flag_test_and_set(&::_my_flag)) 
{ 
    flag_clearer x(&::_my_flag); 

    // do my stuff here 
} 

しかし、あなた自身でflag_clearerタイプを書く必要はありません。代わりに、mutexやlock_guardなどの上位レベルの構造を単純に使用できます。

namespace 
{ 
    std::mutex my_flag; 
} 

myclass::do_something() 
{ 
    if (my_flag.try_lock()) 
    { 
     std::lock_guard<std::mutex> x(my_flag, std::adopt_lock); 
     // do my stuff here 
    } 
    // else, we're already doing something in another thread, let's exit 
} 

Answer 2

他のスレッドがすでにフラグを設定していて、誰もそれをクリアしていない場合は、ifブロック内のコードをスキップします。他のコードでフラグが壊れていない場合、そのスレッドが現在そのブロックを実行していることを意味します。

原子フラグはかなり低いレベルですが、代わりにatomic_boolの使用を検討してください。また、これはC++であるため、セットとクリアのメンバー関数を使用できます。

EDIT：

いや、atomic_boolは簡単にあなたがやりたいことはありません。 atomic_flagとスティック