Atomicity of the simple assignment operator

Question

C11 Standard says that for atomic types (_Atomic), prefix and postfix ++ and -- operations are atomic (6.5.2.4.,p2), as are compound assignments: <

Answer 1

Following the example in this Dr Dobbs article, simple assignment of atomic variables in C11 is atomic.

The C11 standard (ISO/IEC 9899:2011), section 6.2.6.1/9 reads:

Loads and stores of objects with atomic types are done with memory_order_seq_cst semantics.

In addition to being atomic, operations performed with memory_order_seq_cst semantics have a single ordering observed by all threads (aka sequentially-consistent ordering).

Without the _Atomic type qualifier, it is possible for an assignment to be non-atomic. Assigning a 64 bit value (e.g. a long long) on a 32 bit machine requires two CPU cycles. If another thread reads the value between those two cycles they'll get 4 bytes of the old value and 4 bytes of the new value.