std :: vector要素への代入はスレッドセーフですか？

Question

私は同じベクトルに同時に書き込むスレッドプールを作っています。

この実装スレッドは安全ですか？

そうでない場合は、どのように修正する必要がありますか？すべてのスレッドが終了する前に

std::vector<double> global_var; 

void func1(int i) 
{ 
    global_var[i]=some_computation(i /* only depends on i */); 
} 

void load_distribution() 
{ 
    const int N_max=100; 
    global_var.assign(N_max,0.0); 
    std::vector<std::thread> th_pool; 
    for(long i=0;i<N_max;i++) 
     th_pool.push_back(std::thread(func1,i)); 

    for(std::thread& tp : th_pool) 
     tp.join(); 
} 

---

更新

global_varは、プログラムの他の部分に触れされることはありません。

Answer 1

グローバルベクトルが他のコード部分によって変更されていないと仮定すると、コードはスレッドセーフです。

各スレッドはベクトルの別のセルに書き込み（アクセス）するため、「ダーティ更新」の問題はありません。

さらに、ベクターのタイプはダブルです。現代建築ではWORDサイズよりも大きいです。したがって、各アレイセルは他のものと重なり合わない。

Answer 2

通常、std::vectorはスレッドセーフではありませんが、バッキングアレイにassign()メソッドがあらかじめ割り当てられているため、上記のコードが機能します。

ライターがバッキングアレイを再割り当てしない限り、コードは機能します。 assign()メソッドは十分なスペースをあらかじめ割り当てておくので、スレッドがスレッドに書き込むときには発生しません。