std::atomic_fetch_and, std::atomic_fetch_and_explicit
From cppreference.com
| Defined in header <atomic>
|
||
| (1) | (since C++11) | |
| template< class Integral > Integral atomic_fetch_and( std::atomic<Integral>* obj, Integral arg ); |
||
| template< class Integral > Integral atomic_fetch_and( volatile std::atomic<Integral>* obj, Integral arg ); |
||
| (2) | (since C++11) | |
| template< class Integral > Integral atomic_fetch_and_explicit( std::atomic<Integral>* obj, |
||
| template< class Integral > Integral atomic_fetch_and_explicit( volatile std::atomic<Integral>* obj, |
||
Atomically replaces the value pointed by arg with the result of bitwise AND between the old value of obj and arg. Returns the value obj held previously.
The operation is performed as if the following is executed:
1) obj->fetch_and(arg)
2) obj->fetch_and(arg, order)
Contents |
[edit] Parameters
| obj | - | pointer to the atomic object to modify. bool is not an Integral type for the purposes of the atomic operations. |
| arg | - | the value to bitwise AND to the value stored in the atomic object |
| order | - | the memory synchronization ordering for this operation: all values are permitted. |
[edit] Return value
The value held previously by the atomic object pointed to by obj
[edit] Exceptions
noexcept specification:
noexcept
[edit] Possible implementation
template< class T > typename std::enable_if<std::is_integral<T>::value && !std::is_same<T, bool>::value, T>::type atomic_fetch_and(std::atomic<T>* obj, T arg); { return obj->fetch_and(arg); } |
[edit] Example
Run this code
#include <iostream> #include <atomic> #include <thread> #include <chrono> #include <functional> // 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(); }
Output:
10 20 30 40 50 60 70 80 90 100 print_count() done count_up() done
[edit] See also
| (C++11) |
atomically performs bitwise AND between the argument and the value of the atomic object and obtains the value held previously (public member function of std::atomic)
|
| (C++11)(C++11) |
replaces the atomic object with the result of logical OR with a non-atomic argument and obtains the previous value of the atomic (function template) |
| (C++11)(C++11) |
replaces the atomic object with the result of logical XOR with a non-atomic argument and obtains the previous value of the atomic (function template) |
| C documentation for atomic_fetch_and, atomic_fetch_and_explicit
| |