Sémantique mémoire d'initialisation dans un environnement multithread (C++)

Question

Je ne suis pas certain de la sémantique de la mémoire du processus d'initialisation C++. Disons que nous avons le programme suivant.

#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; 
} 

Le nouveau thread verra-t-il un tableau initialisé correctement? Ou ai-je besoin de l'insertion d'une sorte de barrière de mémoire entre les deux. Comment le langage C++ définit-il la sémantique de la mémoire pour l'initialisation?

Ma préoccupation est que toutes les écritures de tableau un [10] peut s'asseoir dans un tampon d'écriture de cpu, et nous commençons un nouveau fil sur un cpu différent, qui ne peut observer l'initialisation écrit. Avons-nous besoin d'une barrière de mémoire pour l'initialisation afin de pouvoir être observée par un thread plus récent qui s'exécute sur un cpus différent?

Answer 1

Il existe une relation "arrive avant" entre les opérations dans le parent avant l'exécution du constructeur de thread et la procédure de thread s'exécutant dans l'enfant. En particulier, la norme dit (f étant la procédure de fil):

synchronisation: L'achèvement de l'appel du constructeur est synchronisé avec le début de l'invocation de la copie de f.

Il se trouve dans la section [thread.thread.constr]