std:: atomic_fetch_or, std:: atomic_fetch_or_explicit
|
Definiert im Header
<atomic>
|
||
|
template
<
class
T
>
T atomic_fetch_or
(
std::
atomic
<
T
>
*
obj,
|
(1) | (seit C++11) |
|
template
<
class
T
>
T atomic_fetch_or
(
volatile
std::
atomic
<
T
>
*
obj,
|
(2) | (seit C++11) |
|
template
<
class
T
>
T atomic_fetch_or_explicit
(
std::
atomic
<
T
>
*
obj,
|
(3) | (seit C++11) |
|
template
<
class
T
>
T atomic_fetch_or_explicit
(
volatile
std::
atomic
<
T
>
*
obj,
|
(4) | (seit C++11) |
Ersetzt atomar den Wert, auf den obj zeigt, durch das Ergebnis der bitweisen ODER-Operation zwischen dem alten Wert von obj und arg . Gibt den Wert zurück, der zuvor in obj gespeichert war.
Die Operation wird so ausgeführt, als ob Folgendes ausgeführt würde:
Wenn
std::atomic<T>
kein
fetch_or
Mitglied hat (dieses Mitglied wird nur für
Ganzzahltypen
außer
bool
bereitgestellt), ist das Programm fehlerhaft.
Inhaltsverzeichnis |
Parameter
| obj | - | Zeiger auf das atomare Objekt, das modifiziert werden soll |
| arg | - | der Wert, der bitweise ODER mit dem im atomaren Objekt gespeicherten Wert verknüpft wird |
| order | - | die Speichersynchronisierungsreihenfolge |
Rückgabewert
Der Wert unmittelbar vor den Auswirkungen dieser Funktion in der modification order von * obj .
Beispiel
#include <atomic> #include <chrono> #include <functional> #include <iostream> #include <thread> // Binäres Semaphor nur zu Demonstrationszwecken. // Dies ist ein einfaches aber bedeutungsvolles Beispiel: atomare Operationen // sind ohne Threads unnötig. class Semaphore { std::atomic_char m_signaled; public: Semaphore(bool initial = false) { m_signaled = initial; } // Blockiert bis Semaphor signalisiert wird void take() { while (!std::atomic_fetch_and(&m_signaled, false)) { std::this_thread::sleep_for(std::chrono::milliseconds(10)); } } void put() { std::atomic_fetch_or(&m_signaled, true); } }; class ThreadedCounter { static const int N = 100; static const int REPORT_INTERVAL = 10; int m_count; bool m_done; Semaphore m_count_sem; Semaphore m_print_sem; void count_up() { for (m_count = 1; m_count <= N; ++m_count) if (m_count % REPORT_INTERVAL == 0) { if (m_count == N) m_done = true; m_print_sem.put(); // signalisiert dass Drucken erfolgen soll m_count_sem.take(); // wartet bis Drucken abgeschlossen ist bevor fortgefahren wird } std::cout << "count_up() done\n"; m_done = true; m_print_sem.put(); } void print_count() { do { m_print_sem.take(); std::cout << m_count << '\n'; m_count_sem.put(); } while (!m_done); std::cout << "print_count() done\n"; } public: ThreadedCounter() : m_done(false) {} void run() { auto print_thread = std::thread(&ThreadedCounter::print_count, this); auto count_thread = std::thread(&ThreadedCounter::count_up, this); print_thread.join(); count_thread.join(); } }; int main() { ThreadedCounter m_counter; m_counter.run(); }
Ausgabe:
10 20 30 40 50 60 70 80 90 100 print_count() done count_up() done
Fehlerberichte
Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.
| DR | Angewendet auf | Verhalten wie veröffentlicht | Korrektes Verhalten |
|---|---|---|---|
| P0558R1 | C++11 |
exakte Typübereinstimmung war erforderlich, weil
T
von mehreren Argumenten abgeleitet wurde
|
T
wird nur
von obj abgeleitet |
Siehe auch
|
führt atomar eine bitweise ODER-Operation zwischen dem Argument und dem Wert des atomaren Objekts durch und erhält den zuvor gehaltenen Wert
(öffentliche Elementfunktion von
std::atomic<T>
)
|
|
|
(C++11)
(C++11)
|
ersetzt das atomare Objekt durch das Ergebnis der bitweisen UND-Operation mit einem nicht-atomaren Argument und erhält den vorherigen Wert des atomaren Objekts
(Funktions-Template) |
|
(C++11)
(C++11)
|
ersetzt das atomare Objekt durch das Ergebnis der bitweisen XOR-Operation mit einem nicht-atomaren Argument und erhält den vorherigen Wert des atomaren Objekts
(Funktions-Template) |
|
C-Dokumentation
für
atomic_fetch_or
,
atomic_fetch_or_explicit
|
|