C ++ Atomics Acquire/Release und RMW - Kann man Lastsynchronisierung mit mehreren Release -RMWs erwerben?
Posted: 10 Apr 2025, 06:35
Threads A, B, C erledigen separate Arbeiten (zwischen ihnen ist keine Synchronisation erforderlich).int a = 0;
int b = 0;
int c = 0;
std::atomic_int D_dependencies{ 3 };
< /code>
Thread a: < /p>
a = 1;
D_dependencies.fetch_sub(1, std::memory_order_release);
< /code>
Thread B: < /p>
b = 1;
D_dependencies.fetch_sub(1, std::memory_order_release);
< /code>
Thread C: < /p>
c = 1;
D_dependencies.fetch_sub(1, std::memory_order_release);
< /code>
Thread D: < /p>
if(D_dependencies.load(std::memory_order_acquire) == 0)
{
assert(a + b + c == 3);
}
< /code>
Mein Verständnis ist, dass RMW -Operationen wie fetch_sub < /code> eine "Release -Sequenz" bilden, und so sollte der Last in Thread D alle Schreibvorgänge beobachten, wenn es 0 aus der Atomvariablen lädt.>
int b = 0;
int c = 0;
std::atomic_int D_dependencies{ 3 };
< /code>
Thread a: < /p>
a = 1;
D_dependencies.fetch_sub(1, std::memory_order_release);
< /code>
Thread B: < /p>
b = 1;
D_dependencies.fetch_sub(1, std::memory_order_release);
< /code>
Thread C: < /p>
c = 1;
D_dependencies.fetch_sub(1, std::memory_order_release);
< /code>
Thread D: < /p>
if(D_dependencies.load(std::memory_order_acquire) == 0)
{
assert(a + b + c == 3);
}
< /code>
Mein Verständnis ist, dass RMW -Operationen wie fetch_sub < /code> eine "Release -Sequenz" bilden, und so sollte der Last in Thread D alle Schreibvorgänge beobachten, wenn es 0 aus der Atomvariablen lädt.>