As threads A, B e C realizam trabalhos separados (não é necessária sincronização entre elas). Assim que as três forem concluídas, a thread D combinará seus resultados. Portanto, D depende da conclusão de A, B e C.
int a = 0;
int b = 0;
int c = 0;
std::atomic_int D_dependencies{ 3 };
linha A:
a = 1;
D_dependencies.fetch_sub(1, std::memory_order_release);
linha B:
b = 1;
D_dependencies.fetch_sub(1, std::memory_order_release);
linha C:
c = 1;
D_dependencies.fetch_sub(1, std::memory_order_release);
linha D:
if(D_dependencies.load(std::memory_order_acquire) == 0)
{
assert(a + b + c == 3);
}
Meu entendimento é que as operações RMW fetch_subformam uma "sequência de liberação" e, portanto, o carregamento na thread D deve observar todas as gravações se carregar 0 da variável atômica.
Estou correto?