InterlockedCompareExchange64 vs Std :: atomic compare_exchange

Question

Wie ist std::atomic<>compare_exchange() verwandt und übersetzt in/von MS InterlockedCompareExchange64 auf einem nicht atomaren Wert? Gibt es Leistungs- oder Semantik-Unterschiede?

Zum Beispiel, sind diese Codes gleichwertig?

bearbeiten: David Haim wies darauf hin, dass es int64_t atomic_inc_ms(volatile int64_t& val, int64_t less_than)

gewesen sein sollte

int64_t atomic_inc_ms(int64_t& val, int64_t less_than) { 
int64_t new_val; 
int64_t old_val = val; 
while(true) 
{ 
    if (old_val > less_than) return old_val; 
    new_val = old_val + 1; 
    int64_t got_val = InterlockedCompareExchange64(&val,new_val,old_val); 
    if(got_val == old_val) break; 
    old_val = got; 
} 

return new_val; 
} 

und

int64_t atomic_inc(std::atomic<int64_t>& val, int64_t less_than) { 
int64_t new_val; 
int64_t old_val = val.load(); 
do 
{ 
    if (old_val > less_than) return old_val; 
    new_val = old_val + 1; 
} while (!val.compare_exchange_weak(old_val, new_val)); 

return new_val; 
} 

Ein Anliegen ist die Linie int64_t old_val = val; ohne explizite Atom Last.

Das Beispiel ist das von Is there atomic increment with the check preconditions, that the atomic value was less than the specified value? und ist in der Nähe des Lehrbuchbeispiels zur Verwendung von compare_exchange_weak.

Sind compare_exchange_weak und compare_exchange, semantisch äquivalent zu InterlockedCompareExchangeAcquire64 und InterlockedCompareExchange64?

Answer 1

Diese Codes sind semantisch gleichwertig. Keine atomare Last für int64_t ist hier von Bedeutung, da Interlocked* Familie Funktionen Hinweis X86, wo alle Lasten atomar sind.

Es besteht die Möglichkeit, dass sich C++ - Atome etwas schneller als Interlocked*-Funktionen verhalten, da der Compiler direkten ASM-Aufruf erzeugt, anstatt eine Funktion aufzurufen. Der Compiler könnte jedoch auch die Funktion Interlocked* erkennen.

Answer 2

Std :: Atom ist C++ Standard. Es handelt sich um portablen Code, der mit jedem kompatiblen Compiler kompiliert wird

Interlocked * sind Windows-spezifische Funktionen von Windows SDK. Daher wird dieser Code nicht tragbar sein.