atomic_fetch_sub, atomic_fetch_sub_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>
C atomic_fetch_sub( volatile A* obj, M arg );	(1)	(seit C11)
C atomic_fetch_sub_explicit( volatile A* obj, M arg, memory_order order );	(2)	(seit C11)

Atomar ersetzt den Wert, auf den obj zeigt, durch das Ergebnis der Subtraktion von arg vom alten Wert von obj und gibt den Wert zurück, den obj zuvor enthielt. Die Operation ist eine Lese-Modifikations-Schreib-Operation. Die erste Version ordnet Speicherzugriffe gemäß memory_order_seq_cst, die zweite Version ordnet Speicherzugriffe gemäß order.

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. speicherprogrammierter I/O) atomaren Objekten zu akzeptieren, und die volatile Semantik wird bei der Anwendung dieser Operation auf volatile atomare Objekte beibehalten. M ist entweder der nicht-atomare Typ, der zu A korrespondiert, wenn A ein atomarer ganzzahliger Typ ist, oder ptrdiff_t, wenn A ein atomarer Zeigertyp ist.

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

Für vorzeichenbehaftete Ganzzahltypen wird die Arithmetik so definiert, dass sie die Zweierkomplementdarstellung verwendet. Es gibt keine undefinierten Ergebnisse. Für Zeigertypen kann das Ergebnis eine undefinierte Adresse sein, aber die Operationen haben ansonsten kein undefiniertes Verhalten.

Parameter

obj	-	Zeiger auf das zu modifizierende atomare Objekt
arg	-	der Wert, der vom Wert des atomaren Objekts subtrahiert werden soll
Reihenfolge	-	Die Speicher-Synchronisierungsordnung für diese Operation: alle Werte sind zulässig

Rückgabewert

Der zuvor vom atomaren Objekt, auf das obj zeigt, gehaltene Wert.

Referenzen

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

• 7.17.7.5 Die generischen Funktionen atomic_fetch und modify (S. 208)

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

• 7.17.7.5 Die generischen Funktionen atomic_fetch und modify (S. 284-285)

Siehe auch

atomic_fetch_addatomic_fetch_add_explicit (C11)	atomare Addition (Funktion)
C++-Dokumentation für atomic_fetch_sub, atomic_fetch_sub_explicit