マルチスレッド環境での初期化のメモリセマンティクス（C++）

Question

C++の初期化処理のメモリセマンティクスは不明です。 次のプログラムがあるとします。

#include <iostream> 
#include <thread> 

using namespace std; 

void func(int* arr, int s) 
{ 
    for (int i = 0; i < s; ++i) 
    { 
     cout << arr[i] << endl; 
    } 
} 

int main(int argc, char *argv[]) 
{ 
    int *a = new int[10]; 
    for (int i = 0; i < 10; ++i) 
    { 
     a[i] = i; 
    } 

    // Do I need some sort of memory barrier here? 
    std::thread t(func, a, 10); 
    t.join(); 
    return 0; 
} 

新しいスレッドは、適切に初期化された配列を参照しますか？または、挿入の間に何らかの種類のメモリバリアが必要ですか？ C++言語はどのように初期化のメモリセマンティクスを定義しますか？

私の懸念は、配列[10]へのすべての書き込みが1つのCPUの書き込みバッファにある可能性があり、初期化の書き込みを観察しない可能性がある別のCPUで新しいスレッドを開始することです。

異なるCPU上で実行されている後で発行されるスレッドで初期化するためにメモリフェンスが必要ですか？

Answer 1

スレッドコンストラクタを実行する前に親の操作と子で実行されているスレッドプロシージャとの間には、「発生前」の関係があります。特に標準（fスレッドプロシージャである）と言う：

同期：コンストラクタの呼び出しの完了は、fのコピーの呼び出しの開始と同期させます。

これは、セクションの引用のための[thread.thread.constr]