Lojas são operações de liberação e cargas são adquiridas para ambos. Eu sei dissomemory_order_seq_cst destina-se a impor uma ordenação total adicional para todas as operações, mas eu não estou conseguindo construir um exemplo onde não é o caso se todos osmemory_order_seq_cst são substituídos pormemory_order_acq_rel.

Sinto falta de algo, ou a diferença é apenas um efeito de documentação, ou seja, deve-se usarmemory_order_seq_cst se não pretender jogar com um modelo mais relaxado e usarmemory_order_acq_rel ao restringir o modelo relaxado?