atomic_is_lock_free

 

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_is_lock_free( const volatile A* obj );		(seit C11)

Bestimmt, ob die atomaren Operationen auf allen Objekten des Typs A (dem Typ des Objekts, auf das von obj gezeigt wird) sperrfrei sind. In jeder gegebenen Programmausführung ist das Ergebnis des Aufrufs von atomic_is_lock_free für alle Zeiger desselben Typs gleich.

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 E/A) atomaren Objekten zu akzeptieren, und die volatile Semantik bleibt erhalten, wenn diese Operation auf volatile atomare Objekte angewendet wird.

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

Parameter

obj

-

Zeiger auf das zu prüfende atomare Objekt

Rückgabewert

true, wenn die Operationen auf allen Objekten des Typs A sperrfrei sind, andernfalls false.

Beispiel

Führen Sie diesen Code aus

#include <stdio.h>
#include <stdatomic.h>
 
_Atomic struct A { int a[100]; } a;
_Atomic struct B { int x, y; } b;
int main(void)
{
    printf("_Atomic struct A is lock free? %s\n", 
            atomic_is_lock_free(&a) ? "true" : "false");
    printf("_Atomic struct B is lock free? %s\n", 
            atomic_is_lock_free(&b) ? "true" : "false");
}

Mögliche Ausgabe

_Atomic struct A is lock free? false
_Atomic struct B is lock free? true

Fehlerberichte

Die folgenden verhaltensändernden Defect Reports wurden rückwirkend auf zuvor veröffentlichte C-Standards angewendet.

DR	angewendet auf	Verhalten wie veröffentlicht	Korrigiertes Verhalten
DR 465	C11	diese Funktion war pro Objekt	diese Funktion ist pro Typ

Referenzen

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

• 7.17.5.1 Die generische Funktion atomic_is_lock_free (S. 205)

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

• 7.17.5.1 Die generische Funktion atomic_is_lock_free (S. 280)

Siehe auch

ATOMIC_BOOL_LOCK_FREEATOMIC_CHAR_LOCK_FREEATOMIC_CHAR16_T_LOCK_FREEATOMIC_CHAR32_T_LOCK_FREEATOMIC_WCHAR_T_LOCK_FREEATOMIC_SHORT_LOCK_FREEATOMIC_INT_LOCK_FREEATOMIC_LONG_LOCK_FREEATOMIC_LLONG_LOCK_FREEATOMIC_POINTER_LOCK_FREE (C11)	zeigt an, dass der gegebene atomare Typ sperrfrei ist (Makro-Konstante)
C++ Dokumentation für atomic_is_lock_free