Difference between revisions of "cpp/atomic/atomic fetch and"
From cppreference.com
m (Update links.) |
(fmt) |
||
Line 23: | Line 23: | ||
{{dcl end}} | {{dcl end}} | ||
− | 1-2) Atomically replaces the value pointed by {{tt|arg}} with the result of bitwise AND between the old value of {{tt|obj}} and {{tt|arg}}, and returns the value {{tt|obj}} held previously, as if by {{c|obj->fetch_and(arg)}} | + | @1-2@ Atomically replaces the value pointed by {{tt|arg}} with the result of bitwise AND between the old value of {{tt|obj}} and {{tt|arg}}, and returns the value {{tt|obj}} held previously, as if by {{c|obj->fetch_and(arg)}} |
+ | |||
+ | @3-4@ Atomically replaces the value pointed by {{tt|arg}} with the result of bitwise AND between the old value of {{tt|obj}} and {{tt|arg}}, and returns the value {{tt|obj}} held previously, as if by {{c|obj->fetch_and(arg, order)}} | ||
− | |||
===Parameters=== | ===Parameters=== | ||
− | |||
{{par begin}} | {{par begin}} | ||
{{par | obj | pointer to the atomic object to modify. bool is not an Integral type for the purposes of the atomic operations.}} | {{par | obj | pointer to the atomic object to modify. bool is not an Integral type for the purposes of the atomic operations.}} | ||
Line 33: | Line 33: | ||
{{par | order | the memory synchronization ordering for this operation: all values are permitted.}} | {{par | order | the memory synchronization ordering for this operation: all values are permitted.}} | ||
{{par end}} | {{par end}} | ||
− | |||
===Return value=== | ===Return value=== |
Revision as of 20:37, 25 June 2013
Defined in header <atomic>
|
||
template< class Integral > Integral atomic_fetch_and( std::atomic<Integral>* obj, Integral arg ); |
(1) | (since C++11) |
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, Integral arg, |
(3) | (since C++11) |
template< class Integral > Integral atomic_fetch_and_explicit( volatile std::atomic<Integral>* obj, Integral arg, |
(4) | (since C++11) |
1-2) Atomically replaces the value pointed by
arg
with the result of bitwise AND between the old value of obj
and arg
, and returns the value obj
held previously, as if by obj->fetch_and(arg)3-4) Atomically replaces the value pointed by
arg
with the result of bitwise AND between the old value of obj
and arg
, and returns the value obj
held previously, as if by 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 held previously by the atomic object pointed to by obj
Exceptions
noexcept specification:
noexcept
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
|