スレッドセーフstd :: atomic <vector<int>>を作成できますか？

Question

私は実行する必要がある機能を持っていますn=1000回。この関数はモンテカルロスタイルのシミュレーションを行い、結果としてintを返します。 nthreads=4を並行して実行したいと思います。スレッドが1サイクル終了すると、結果はstd::vector<int>になるはずです。 したがって、1000サイクル後、私は1000 intのベクトルを得ました。これは統計で調べることができます。

std::vectorはスレッドセーフではないため、私はstd::mutex（これは確かにうまくいくでしょう）と考えました。

しかし、私はベクトルをアトミックに宣言してミューテックスを回避することができますか？ std::atomic<std::vector<int>>はありますか？それにpush_backなどを使用できますか？

Answer 1

あなたはそうする必要はありません。あなたは異なるオブジェクト

に書き込む

オブジェクトを読み取る

• 場合には、複数のスレッドからJA std::vectorにアクセスするには、完全に大丈夫ですだからあなたはサイズのベクトルを作成し、確認してくださいn=1000スレッド番号（1〜4）に応じて、0〜249,250〜499などの要素をスレッドに割り当てます。

  したがって、それぞれのスレッドはn/nthreads要素を計算します。

Answer 2

原子は、簡単にコピー可能なタイプでインスタンス化できます。 Vectorはそのような型ではありません。

Answer 3

C++ 11§29.5/ 1は、原子ジェネリッククラステンプレートがあり

言います。テンプレート引数Tの型は単純にコピー可能（3.9）でなければならない。

trivially copyableとは何ですか？

§3.9を一括コピー可能タイプ自明と呼ばれる

スカラー型、自明にコピー可能クラスタイプ（条項9）、そのようなタイプのアレイ、およびこれらの型（3.9.3）のCV修飾バージョンを伝えます。

• ない非自明なコピーコンストラクタ
• を有していないがない以外を持っていない。

  自明にコピー可能クラスは、そのクラスである：（std::vectorがあるの）クラスタイプについて

  代数移動コンストラクタ

• には重大なコピー代入演算子はありません
• は自明コピーできませんので、あなたがstd::atomic<std::vector<int>>を使用することはできません何の非自明な移動代入演算子
• このリストstd::vectorによると、些細なデストラクタ

を持っていない持っています。

あなたは（push_back)のような別の場所に再割り当てするベクトルを必要とするメソッドを使用する必要はありませんので、事前にサイズを知っているし、ので。あなたが必要なintを事前に割り当てるとpreconstructするstd::vector<int>::resizeまたはサイズのコンストラクタを使用することができます秒。そのため、あなたの同時実行スレッドは、ベクター自体ではなく要素を操作する必要はありません。

を同じ要素に別のスレッドからのアクセスがない場合は何の競合状態がありません。

は

同じのために行きますint k[1000]これは簡単にコピー可能ですが、あなたはそれが必要なわけではありませんスレッドは配列/ベクトル/リスト自体を変更するのではなく、要素を変更します。