Difference between revisions of "cpp/atomic/atomic fetch and"
From cppreference.com
m (Text replace - "\)( volatile)?;(space:*)}}" to ")$1 noexcept;$2}}") |
|||
Line 47: | Line 47: | ||
The value immediately preceding the effects of this function in the [[cpp/atomic/memory_order#Modification_order|modification order]] of {{tt|*obj}}. | The value immediately preceding the effects of this function in the [[cpp/atomic/memory_order#Modification_order|modification order]] of {{tt|*obj}}. | ||
− | + | ||
− | + | ||
===Possible implementation=== | ===Possible implementation=== |
Revision as of 16:53, 10 May 2017
Defined in header <atomic>
|
||
(1) | (since C++11) | |
template< class Integral > Integral atomic_fetch_and( std::atomic<Integral>* obj, Integral arg ) noexcept; |
||
template< class Integral > Integral atomic_fetch_and( volatile std::atomic<Integral>* obj, Integral arg ) noexcept; |
||
(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 obj
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 |
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. |
Return value
The value immediately preceding the effects of this function in the modification order of *obj
.
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); } |
Example
Run this code
#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(); }
Output:
10 20 30 40 50 60 70 80 90 100 print_count() done count_up() done
See also
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<T> )
| |
(C++11)(C++11) |
replaces the atomic object with the result of bitwise 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 bitwise 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
|