Итак, я читал http://gcc.gnu.org/onlinedocs/gcc-4.1.0/gcc/Atomic-Builtins.html, и наткнулся на это:
type __sync_and_and_fetch (type *ptr, type value, ...)
type __sync_xor_and_fetch (type *ptr, type value, ...)
type __sync_nand_and_fetch (type *ptr, type value, ...)
These builtins perform the operation suggested by the name, and return the new value. That is,
{ *ptr op= value; return *ptr; }
{ *ptr = ~*ptr & value; return *ptr; } // nand
Является ли этот код буквальным? или это просто, чтобы объяснить, что gcc делает атомарно, используя c-подобный синтаксис? И если это прямой перевод, может кто-нибудь объяснить, как он атомарный?