¿Cómo se diferencian memory_order_seq_cst y memory_order_acq_rel?

Question

Las tiendas son operaciones de liberación y las cargas son operaciones de adquisición para ambas. Sé que memory_order_seq_cst está destinado a imponer un pedido total adicional para todas las operaciones, pero no puedo construir un ejemplo donde no sea el caso si todos los memory_order_seq_cst se reemplazan por memory_order_acq_rel.

¿Echo de menos algo, o la diferencia es solo un efecto de documentación, es decir, uno debe usar memory_order_seq_cst si uno intenta no jugar con un modelo más relajado y usar memory_order_acq_rel al restringir el modelo relajado?

Answer 1

http://en.cppreference.com/w/cpp/atomic/memory_order tiene un buen ejemplo en la parte inferior que solo funciona con memory_order_seq_cst. Básicamente, memory_order_acq_rel proporciona ordenamientos de lectura y escritura en relación con la variable atómica, mientras que memory_order_seq_cst proporciona pedidos de lectura y escritura de forma global. Es decir, las operaciones secuenciales consistentes son visibles en el mismo orden en todos los hilos.

El ejemplo se reduce a esto:

bool x= false; 
bool y= false; 
int z= 0; 

a() { x= true; } 
b() { y= true; } 
c() { while (!x); if (y) z++; } 
d() { while (!y); if (x) z++; } 

// kick off a, b, c, d, join all threads 
assert(z!=0); 

Operaciones en z son vigilados por dos variables atómicas, no uno, por lo que no puede utilizar la semántica de liberación adquirir para hacer cumplir esa z siempre se incrementa.