L'assegnazione puntatore è atomica in C++?

Question

In realtà ho sentito affermazioni in entrambi i modi. Sospetto che non lo siano, ma volevo sistemare l'argomento.

Answer 1

C++ 03 non sa dell'esistenza di thread, quindi il concetto di atomicità non ha molto senso per C++ 03, nel senso che non dice nulla a riguardo.

C++ 11 conosce i thread, ma ancora una volta non dice nulla sull'atomicità dell'assegnazione dei puntatori. Tuttavia C++ 11 contiene std::atomic<T*>, che è garantito per essere atomico.

Si noti che anche se la scrittura su un puntatore non elaborato è atomica sulla piattaforma, il compilatore è ancora libero di spostare tale asserzione, in modo tale da non comprare davvero nulla.

Se avete bisogno di scrivere a un puntatore che è condiviso tra i thread utilizzare uno std::atomic<T*> (o il non ancora ufficiale boost::atomic<T*>, GCCS intrinseche o finestre atomiche interbloccate *) o avvolgere tutti gli accessi a tale puntatore in mutex.

Answer 2

La norma C++ non definisce un comportamento di threading specifico. A seconda del compilatore e della piattaforma, l'assegnazione del puntatore potrebbe essere o meno atomica.