atomic_compare_exchange_weak, atomic_compare_exchange_strong, atomic_compare_exchange_weak_explicit, atomic_compare_exchange_strong_explicit

 

C

Compiler-Unterstützung

Sprache

Header

Typunterstützung

Programm-Dienstprogramme

Unterstützung für variable Funktionsargumente

Fehlerbehandlung

Dynamische Speicherverwaltung

Bibliothek für Zeichenketten

Algorithmen

Numerik

Datums- und Zeitdienstprogramme

Ein-/Ausgabeunterstützung

Lokalisierungsunterstützung

Unterstützung für Nebenläufigkeit (C11)

Technische Spezifikationen

Symbolindex

 

Bibliothek für nebenläufige Programmierung

Threads thrd_create thrd_equal thrd_current    thrd_sleep thrd_yield thrd_exit thrd_detach thrd_join thrd_successthrd_timedoutthrd_busythrd_nomemthrd_error    Atomare Operationen atomic_init ATOMIC_VAR_INIT (bis C23) ATOMIC_***_LOCK_FREE atomic_is_lock_free atomic_store atomic_load atomic_exchange atomic_compare_exchange atomic_fetch_add atomic_fetch_sub atomic_fetch_or atomic_fetch_xor atomic_fetch_and

Atomare Flags atomic_flag ATOMIC_FLAG_INIT atomic_flag_test_and_set atomic_flag_clear Speicherordnung memory_order kill_dependency atomic_thread_fence atomic_signal_fence Gegenseitiger Ausschluss mtx_init mtx_lock mtx_timedlock mtx_trylock call_once mtx_unlock mtx_destroy mtx_plainmtx_recursivemtx_timed Bedingungsvariablen cnd_init cnd_signal cnd_broadcast cnd_wait cnd_timedwait cnd_destroy Thread-lokaler Speicher thread_local TSS_DTOR_ITERATIONS    tss_create tss_get tss_set tss_delete

 

Definiert im Header <stdatomic.h>
_Bool atomic_compare_exchange_strong( volatile A* obj,                                       C* expected, C desired );	(1)	(seit C11)
_Bool atomic_compare_exchange_weak( volatile A *obj,                                     C* expected, C desired );	(2)	(seit C11)
_Bool atomic_compare_exchange_strong_explicit( volatile A* obj,                                                C* expected, C desired,                                                memory_order succ,                                                memory_order fail );	(3)	(seit C11)
_Bool atomic_compare_exchange_weak_explicit( volatile A *obj,                                              C* expected, C desired,                                              memory_order succ,                                              memory_order fail );	(4)	(seit C11)

Atomar vergleicht den Inhalt des Speichers, auf den von obj gezeigt wird, mit dem Inhalt des Speichers, auf den von expected gezeigt wird, und wenn diese bitweise gleich sind, ersetzt er den ersteren durch desired (führt eine Lese-Änderungs-Schreib-Operation durch). Andernfalls lädt er den tatsächlichen Inhalt des Speichers, auf den von obj gezeigt wird, in *expected (führt eine Ladeoperation durch).

Die Speichermodelle für die Lese-Änderungs-Schreib- und die Ladeoperationen sind succ bzw. fail. Die Versionen (1-2) verwenden standardmäßig memory_order_seq_cst.

Die schwachen Formen ((2) und (4)) der Funktionen dürfen fehlschlagen (spuriously), d. h. so wirken, als ob *obj != *expected wäre, auch wenn sie gleich sind. Wenn ein Vergleiche und Austauschen in einer Schleife stattfindet, wird die schwache Version auf einigen Plattformen eine bessere Leistung erzielen. Wenn ein schwacher Vergleiche und Austauschen eine Schleife erfordern würde und ein starker nicht, ist der starke vorzuziehen.

Dies ist eine generische Funktion, die für alle atomaren Objekttypen A definiert ist. Das Argument ist ein Zeiger auf einen volatilen atomaren Typ, um Adressen von sowohl nicht-volatilen als auch volatilen (z. B. speicherprogrammierten I/O) atomaren Objekten zu akzeptieren, und die volatile Semantik wird bei Anwendung dieser Operation auf volatile atomare Objekte beibehalten. C ist der nicht-atomare Typ, der A entspricht.

Es ist nicht spezifiziert, ob der Name einer generischen Funktion ein Makro oder ein mit externem Linkage deklariertes Bezeichner ist. Wenn eine Makrodefinition unterdrückt wird, um auf eine tatsächliche Funktion zuzugreifen (z. B. in Klammern wie (atomic_compare_exchange)(...)) oder ein Programm einen externen Bezeichner mit dem Namen einer generischen Funktion definiert, ist das Verhalten undefiniert.

Parameter

obj	-	Zeiger auf das atomare Objekt, das getestet und geändert werden soll
expected	-	Zeiger auf den Wert, der im atomaren Objekt erwartet wird
desired	-	der Wert, der in das atomare Objekt geschrieben werden soll, wenn er wie erwartet ist
succ	-	die Speichergalaxysynchronisationsordnung für die Lese-Änderungs-Schreib-Operation, wenn der Vergleich erfolgreich ist. Alle Werte sind zulässig.
fail	-	die Speichergalaxysynchronisationsordnung für die Ladeoperation, wenn der Vergleich fehlschlägt. Kann nicht memory_order_release oder memory_order_acq_rel sein und kann keine stärkere Ordnung als succ angeben

Rückgabewert

Das Ergebnis des Vergleichs: true, wenn *obj gleich *exp war, false andernfalls.

Hinweise

Das Verhalten der Familie atomic_compare_exchange_* ist so, als wäre Folgendes atomar ausgeführt worden

if (memcmp(obj, expected, sizeof *obj) == 0) {
    memcpy(obj, &desired, sizeof *obj);
    return true;
} else {
    memcpy(expected, obj, sizeof *obj);
    return false;
}

Referenzen

• C17-Standard (ISO/IEC 9899:2018)

• 7.17.7.4 Die generischen Funktionen atomic_compare_exchange (S. 207)

• C11-Standard (ISO/IEC 9899:2011)

• 7.17.7.4 Die generischen Funktionen atomic_compare_exchange (S. 283-284)

Siehe auch

atomic_exchangeatomic_exchange_explicit (C11)	tauscht einen Wert mit dem Wert eines atomaren Objekts aus (Funktion)
C++ Dokumentation für atomic_compare_exchange_weak, atomic_compare_exchange_strong, atomic_compare_exchange_weak_explicit, atomic_compare_exchange_strong_explicit