C ++ Atomics Acquire/Release und RMW - Kann man Lastsynchronisierung mit mehreren Release -RMWs erwerben?

Post a reply

Smilies
:) :( :oops: :chelo: :roll: :wink: :muza: :sorry: :angel: :read: *x) :clever:
View more smilies

BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON

Topic review
   

Expand view Topic review: C ++ Atomics Acquire/Release und RMW - Kann man Lastsynchronisierung mit mehreren Release -RMWs erwerben?

by Anonymous » 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.>

Top