std::atomic_wait, std::atomic_wait_explicit

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Bibliothek für nebenläufige Programmierung

Threads thread (C++11) jthread (C++20) hardware_destructive_interference_sizehardware_constructive_interference_size (C++17)(C++17) this_thread Namespace get_id (C++11) yield (C++11) sleep_for (C++11) sleep_until (C++11) Kooperatives Beenden stop_token (C++20) inplace_stop_token (C++26) never_stop_token (C++26) stop_source (C++20) inplace_stop_source (C++26)   stop_callback (C++20) inplace_stop_callback (C++26) stop_callback_for_t (C++26) stoppable_token (C++26) unstoppable_token (C++26) stoppable-source (C++26) stoppable-callback-for (C++26)   Gegenseitiger Ausschluss mutex (C++11) recursive_mutex (C++11) shared_mutex (C++17) timed_mutex (C++11) recursive_timed_mutex (C++11) shared_timed_mutex (C++14) Allgemeines Sperrungsmanagement lock (C++11) lock_guard (C++11) scoped_lock (C++17) unique_lock (C++11) shared_lock (C++14) once_flag (C++11) call_once (C++11) try_lock (C++11) defer_locktry_to_lockadopt_lockdefer_lock_ttry_to_lock_tadopt_lock_t (C++11)(C++11)(C++11)(C++11)(C++11)(C++11) Bedingungsvariablen condition_variable (C++11) condition_variable_any (C++11) notify_all_at_thread_exit (C++11) cv_status (C++11) Semaphoren counting_semaphorebinary_semaphore (C++20)(C++20) Latches und Barriers latch (C++20) barrier (C++20) Futures promise (C++11) future (C++11) shared_future (C++11) packaged_task (C++11) async (C++11) launch (C++11) future_status (C++11) future_error (C++11) future_category (C++11) future_errc (C++11) Sichere Wiederherstellung rcu_obj_base (C++26) rcu_domain (C++26) rcu_default_domain (C++26) rcu_synchronize (C++26) rcu_barrier (C++26) rcu_retire (C++26) Hazard Pointer hazard_pointer_obj_base (C++26) hazard_pointer (C++26) make_hazard_pointer (C++26)

Atomare Typen atomic (C++11) atomic_ref (C++20) atomic_flag (C++11) Initialisierung von atomaren Typen atomic_init (C++11)(veraltet in C++20) ATOMIC_VAR_INIT (C++11)(veraltet in C++20) ATOMIC_FLAG_INIT (C++11) Speicherordnung memory_order (C++11) kill_dependency (C++11)(deprecated in C++26) atomic_thread_fence (C++11) atomic_signal_fence (C++11) Freie Funktionen für atomare Operationen atomic_storeatomic_store_explicit (C++11)(C++11) atomic_loadatomic_load_explicit (C++11)(C++11) atomic_exchangeatomic_exchange_explicit (C++11)(C++11) atomic_compare_exchange_weakatomic_compare_exchange_weak_explicitatomic_compare_exchange_strongatomic_compare_exchange_strong_explicit (C++11)(C++11)(C++11)(C++11) atomic_fetch_addatomic_fetch_add_explicit (C++11)(C++11) atomic_fetch_subatomic_fetch_sub_explicit (C++11)(C++11) atomic_fetch_andatomic_fetch_and_explicit (C++11)(C++11) atomic_fetch_oratomic_fetch_or_explicit (C++11)(C++11) atomic_fetch_xoratomic_fetch_xor_explicit (C++11)(C++11) atomic_fetch_maxatomic_fetch_max_explicit (C++26)(C++26) atomic_fetch_minatomic_fetch_min_explicit (C++26)(C++26) atomic_is_lock_free (C++11) atomic_waitatomic_wait_explicit (C++20)(C++20) atomic_notify_one (C++20) atomic_notify_all (C++20) Freie Funktionen für atomare Flags atomic_flag_test_and_setatomic_flag_test_and_set_explicit (C++11)(C++11) atomic_flag_clearatomic_flag_clear_explicit (C++11)(C++11) atomic_flag_testatomic_flag_test_explicit (C++20)(C++20) atomic_flag_waitatomic_flag_wait_explicit (C++20)(C++20) atomic_flag_notify_one (C++20) atomic_flag_notify_all (C++20)

 

Definiert in Header <atomic>
template< class T > void atomic_wait( const std::atomic<T>* object,                   typename std::atomic<T>::value_type old );	(1)	(seit C++20)
template< class T > void atomic_wait( const volatile std::atomic<T>* object,                   typename std::atomic<T>::value_type old );	(2)	(seit C++20)
template< class T > void atomic_wait_explicit( const std::atomic<T>* object,                            typename std::atomic<T>::value_type old,                            std::memory_order order );	(3)	(seit C++20)
template< class T > void atomic_wait_explicit( const volatile std::atomic<T>* object,                            typename std::atomic<T>::value_type old,                            std::memory_order order );	(4)	(seit C++20)

Führt atomare Wartevorgänge durch. Verhält sich so, als würde es wiederholt die folgenden Schritte ausführen:

• Vergleicht die Wertrepräsentation von object->load() (für Überladungen (1,2)) oder object->load(order) (für Überladungen (3,4)) mit der von old.
  • Wenn diese bitweise gleich sind, blockiert es, bis *object durch std::atomic::notify_one() oder std::atomic::notify_all() benachrichtigt wird, oder der Thread fälschlicherweise aufgeweckt wird.
  • Andernfalls wird zurückgekehrt.

Diese Funktionen geben nur dann garantiert zurück, wenn sich der Wert geändert hat, auch wenn die zugrundeliegende Implementierung fälschlicherweise aufgeweckt wird.

1,2) Äquivalent zu object->wait(old).

3,4) Äquivalent zu object->wait(old, order).

Wenn order einer der Werte std::memory_order::release und std::memory_order::acq_rel ist, ist das Verhalten undefiniert.

Parameter

Objekt	-	Zeiger auf das atomare Objekt, das überprüft und auf das gewartet werden soll
old	-	Der Wert, auf den das atomare Objekt nicht mehr gesetzt sein soll
Reihenfolge	-	die Speicher-Synchronisationsreihenfolge

Rückgabewert

(keine)

Hinweise

Diese Form der Änderungsdetektion ist oft effizienter als einfaches Polling oder reine Spinlocks.

Aufgrund des ABA-Problems können transiente Änderungen von old zu einem anderen Wert und zurück zu old möglicherweise übersehen werden und nicht zu einer Entsperrung führen.

Der Vergleich ist bitweise (ähnlich wie bei std::memcmp); es wird kein Vergleichsoperator verwendet. Auffüllbits, die nie an der Wertrepräsentation eines Objekts teilnehmen, werden ignoriert.

Siehe auch

wait (C++20)	blockiert den Thread, bis er benachrichtigt wird und der atomare Wert sich ändert (öffentliche Memberfunktion von std::atomic<T>)
notify_one (C++20)	benachrichtigt mindestens einen Thread, der auf das atomare Objekt wartet (öffentliche Memberfunktion von std::atomic<T>)
notify_all (C++20)	benachrichtigt alle Threads, die auf das atomare Objekt warten (öffentliche Memberfunktion von std::atomic<T>)
atomic_notify_one (C++20)	benachrichtigt einen Thread, der in atomic_wait blockiert ist (Funktions-Template)
atomic_notify_all (C++20)	benachrichtigt alle Threads, die in atomic_wait blockiert sind (Funktions-Template)