Write concurrently vector

by

Concurrent writes to vector<bool> are never ok, because the underlying implementation relies on a proxy object of type vector<bool>::reference which acts as if it was a reference to bool, but in reality will fetch and update the bitfield bytes as needed.

When using multiple threads without synchronization, the following might happen: Thread 1 is supposed to update a bit, and reads the byte containing it. Then thread 2 reads the same byte, then thread 1 updates a bit and writes the byte back, and then thread 2 updates another bit and writes the byte back, overwriting the edit of thread 1.

This is just one possible scenario, there are others that would lead to the same kind of data corruption.

In the vector<int> situation, if you are absolutely sure that all threads write the same value into the vector, then this operation will generally not lead to data corruption. However, the standard is of course always extra careful and defines all concurrent accesses to a memory location, of which at least one is a write access, to be undefined behavior:

Two expression evaluations conflict if one of them modifies a memory location and the other one reads or modifies the same memory location. –
intro.races/2

Therefore, as soon as you do any modification operation on the same element from two different threads, you will have a race condition and need proper synchronization, e.g. by using std::atomic<int>.

More Related Contents:

  1. How can I use something like std::vector?
  2. How to Systematically use each item in a Vector [closed]
  3. Start thread with member function
  4. C++0x has no semaphores? How to synchronize threads?
  5. How do I terminate a thread in C++11?
  6. Thread pooling in C++11
  7. Why don’t compilers merge redundant std::atomic writes?
  8. std::thread pass by reference calls copy constructor
  9. What does the thread_local mean in C++11?
  10. How to check if a std::thread is still running?
  11. What exactly is std::atomic?
  12. How would you implement your own reader/writer lock in C++11?
  13. Mixing C++11 atomics and OpenMP
  14. C++ unordered_set of vectors
  15. std::unique_lock or std::lock_guard?
  16. How to set the stacksize with C++11 std::thread
  17. How to give priority to privileged thread in mutex locking?
  18. What causes runtime error message: std::system_error – operation not permitted, including mult-threading? [duplicate]
  19. STL vector and thread-safety
  20. std::thread is not a member of namespace std using Eclipse Kepler MinGW
  21. What is std::promise?
  22. Passing arguments to std::async by reference fails
  23. Waiting for multiple futures?
  24. std::thread error (thread not member of std)
  25. How can I resize a 2D vector of objects given the width and height?
  26. MinGW error: ‘thread’ is not a member of ‘std’
  27. C++11 std::threads vs posix threads
  28. Understanding std::atomic::compare_exchange_weak() in C++11
  29. std::thread calling method of class [duplicate]
  30. About thread-safety of weak_ptr

Leave a Comment