std:: atomic_fetch_or, std:: atomic_fetch_or_explicit
|
Определено в заголовочном файле
<atomic>
|
||
|
template
<
class
T
>
T atomic_fetch_or
(
std::
atomic
<
T
>
*
obj,
|
(1) | (начиная с C++11) |
|
template
<
class
T
>
T atomic_fetch_or
(
volatile
std::
atomic
<
T
>
*
obj,
|
(2) | (начиная с C++11) |
|
template
<
class
T
>
T atomic_fetch_or_explicit
(
std::
atomic
<
T
>
*
obj,
|
(3) | (начиная с C++11) |
|
template
<
class
T
>
T atomic_fetch_or_explicit
(
volatile
std::
atomic
<
T
>
*
obj,
|
(4) | (начиная с C++11) |
Атомарно заменяет значение, на которое указывает obj , результатом побитового ИЛИ между старым значением obj и arg . Возвращает значение obj , которое хранилось ранее.
Операция выполняется так, как если бы было выполнено следующее:
Если
std::atomic<T>
не имеет члена
fetch_or
(этот член предоставляется только для
целочисленных типов
за исключением
bool
), программа является некорректной.
Содержание |
Параметры
| obj | - | указатель на атомарный объект для модификации |
| arg | - | значение для побитового ИЛИ со значением, хранящимся в атомарном объекте |
| order | - | порядок синхронизации памяти |
Возвращаемое значение
Значение, непосредственно предшествующее эффектам этой функции в порядке модификации объекта * obj .
Пример
#include <atomic> #include <chrono> #include <functional> #include <iostream> #include <thread> // Binary semaphore for demonstrative purposes only. // This is a simple yet meaningful example: atomic operations // are unnecessary without threads. class Semaphore { std::atomic_char m_signaled; public: Semaphore(bool initial = false) { m_signaled = initial; } // Block until semaphore is signaled 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(); // signal printing to occur m_count_sem.take(); // wait until printing is complete proceeding } 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(); }
Вывод:
10 20 30 40 50 60 70 80 90 100 print_count() done count_up() done
Отчёты о дефектах
Следующие отчеты об изменениях в поведении, содержащие описания дефектов, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| P0558R1 | C++11 |
требовалось точное соответствие типов, потому что
T
выводился из нескольких аргументов
|
T
выводится только
из obj |
Смотрите также
|
атомически выполняет побитовое ИЛИ между аргументом и значением атомарного объекта и получает значение, хранившееся ранее
(публичная функция-член
std::atomic<T>
)
|
|
|
(C++11)
(C++11)
|
заменяет атомарный объект результатом побитового И с неатомарным аргументом и получает предыдущее значение атомарного объекта
(шаблон функции) |
|
(C++11)
(C++11)
|
заменяет атомарный объект результатом побитового исключающего ИЛИ с неатомарным аргументом и получает предыдущее значение атомарного объекта
(шаблон функции) |
|
Документация C
для
atomic_fetch_or
,
atomic_fetch_or_explicit
|
|