How do memory_order_seq_cst and memory_order_acq_rel differ?

by

http://en.cppreference.com/w/cpp/atomic/memory_order has a good example at the bottom that only works with memory_order_seq_cst. Essentially memory_order_acq_rel provides read and write orderings relative to the atomic variable, while memory_order_seq_cst provides read and write ordering globally. That is, the sequentially consistent operations are visible in the same order across all threads.

The example boils down to this:

bool x= false;
bool y= false;
int z= 0;

a() { x= true; }
b() { y= true; }
c() { while (!x); if (y) z++; }
d() { while (!y); if (x) z++; }

// kick off a, b, c, d, join all threads
assert(z!=0);

Operations on z are guarded by two atomic variables, not one, so you can’t use acquire-release semantics to enforce that z is always incremented.

More Related Contents:

  1. Will two atomic writes to different locations in different threads always be seen in the same order by other threads?
  2. C++11: the difference between memory_order_relaxed and memory_order_consume
  3. [[carries_dependency]] what it means and how to implement
  4. C++11 introduced a standardized memory model. What does it mean? And how is it going to affect C++ programming?
  5. Why don’t compilers merge redundant std::atomic writes?
  6. Where is the lock for a std::atomic?
  7. Implementing 64 bit atomic counter with 32 bit atomics
  8. What do each memory_order mean?
  9. C++ memory model and race conditions on char arrays
  10. When do I really need to use atomic instead of bool? [duplicate]
  11. C++ How is release-and-acquire achieved on x86 only using MOV?
  12. Acquire/release semantics with 4 threads
  13. c++, std::atomic, what is std::memory_order and how to use them?
  14. Do I have to use atomic for “exit” bool variable?
  15. C++11 memory_order_acquire and memory_order_release semantics?
  16. Acquire/Release versus Sequentially Consistent memory order
  17. reinterpret_cast creating a trivially default-constructible object
  18. How do I pass a unique_ptr argument to a constructor or a function?
  19. Why does C++11’s lambda require “mutable” keyword for capture-by-value, by default?
  20. What are the rules for the “…” token in the context of variadic templates?
  21. Why is this code trying to call the copy constructor?
  22. How to enforce copy elision, why it won’t work with deleted copy constructor?
  23. Why are std::atomic objects not copyable?
  24. The implementation of std::forward
  25. generic member function pointer as a template parameter
  26. How can I use std::imbue to set the locale for std::wcout?
  27. Implementation of Permutation, Combinations and PowerSet in C++ [duplicate]
  28. std::this_thread::sleep_for() and GCC
  29. Why is reinterpret_cast not constexpr?
  30. How to initialize all tuple elements by the same arguments?

Leave a Comment