c++互斥保证避免竞争条件吗?

Does C++ Mutex guarantee avoiding race conditions?

本文关键字：竞争 条件 c++      更新时间：2023-10-16

我正在编写一个简单的例子来测试c++线程和互斥锁:

#include <iostream>
#include <vector>
#include <thread>
#include <mutex>
const int num_th = 50;
const int num_vals = 20;
const int num_it = 1000;
class MyVector {
 public:
  MyVector(int size): vals_(size, 0), idx_(0), mtx_() {}
  void inc() 
  {
    mtx_.lock();
    for(int i=0; i<num_it; i++)
    {
       vals_[idx_]++;
       idx_= (idx_+1) % num_vals;
    }
    mtx_.unlock();
  }
  int getVal(int idx) {return vals_[idx];}
private:
  std::mutex mtx_;
  int idx_;
  std::vector<int> vals_;
};

int main(int argc, char *argv[])
{
  MyVector m(num_vals);
  std::thread t1[num_th];
  for(int i=0; i<num_th; i++)
     t1[i] = std::thread(&MyVector::inc, &m);
  for(int i=0; i<num_th;i++)
     t1[i].join();
  for(int i=0; i<num_vals; i++)
    std::cout<<" "<<m.getVal(i);
  return 0;
}

执行后，所有的值应该是相同的，但这是输出:

 2053 2063 2054 2038 2029 2038 2036 2043 2048 2049 2048 2055 2055 2050 2050 2051 2051 2055 2042 2066

c++互斥真的保证互斥吗，还是我错过了什么?

5gon12eder是对的。使用-pthread可以解决这个问题，并且输出是正确的:

 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500 2500

我很惊讶你在使用线程时需要使用"-pthread"选项来编译器，并且没有编译或链接错误。

PS:编译器为gcc，操作系统为Linux (g++ (Ubuntu 4.8.4-2ubuntu1~14.04) 4.8.4)

相关文章：