sincronizzazione implicita durante la creazione/filetti di giunzione

Question

Qual è la definizione minimo richiesto perx s' tipo per questo codice lavorare, considerando la sincronizzazione implicita durante la creazione/unisce un filo: std::atomic? volatile? Niente?

#include <thread> 
#include <cassert> 
int main() { 
    int x = 123; // *** 
    std::thread([ & ] { assert(x == 123); x = 321; }).join(); 
    assert(x == 321); 
    return 0; 
} 

Answer 1

L'invocazione del costruttore std::thread s' è sincronizzato e avviene prima l'invocazione della copia della funzione filo (30.3.1.2/6).

thread::join fornisce una garanzia di sincronizzazione simile: il completamento del thread avviene prima dei ritorni join (30.3.1.4/7).

Il codice crea una discussione e la unisce immediatamente. Sebbene il tuo lambda acquisisca per riferimento, non esiste concorrenza (il codice viene eseguito come se sequenziale) e le garanzie fornite da std::thread assicurano che non sia necessario alcun framing speciale per proteggere x. L'affermazione non fallirà mai.

Supponendo che lo snippet di codice fosse diverso in modo da avere un accesso simultaneo di qualche tipo, è necessario utilizzare std::atomic o un mutex. volatile non sarebbero più sufficienti (eccetto per coincidenza).