El estándar C17, sección 7.17.2.2, establece lo siguiente con respecto a void atomic_init(volatile A *obj, C value) definido en <stdatomic.h> :
Aunque esta función inicializa un objeto atómico, no evita carreras de datos; el acceso simultáneo a la variable que se está inicializando, incluso a través de una operación atómica, constituye una carrera de datos.
Dado que el objetivo de tener objetos atómicos y operaciones atómicas es evitar carreras de datos, ¿por qué existe la función atomic_init ? Por ejemplo, ¿por qué no hacer lo siguiente?
_Atomic int x = 7;En vez de:
_Atomic int x; atomic_init(&x, 7); Además, ¿por qué se llama atomic_init cuando en realidad es una asignación?
Los valores Atomic pueden tener campos ocultos que se usan para lograr la semántica deseada, y esos deben inicializarse de alguna manera. Esto se puede lograr usando un inicializador de variable C o usando atomic_init .
Para una variable estática o automática, eso proporciona dos opciones:
_Atomic int x = 7; _Atomic int x; atomic_init( &x, 7 );Pero eso solo deja una opción para las variables asignadas dinámicamente.
_Atomic int *p = malloc( sizeof( _Atomic int ) ); atomic_init( p, 7 );