互斥锁/解锁顺序

Question

我很感兴趣互斥体（不取决于特定语言）是否必须保持锁定/解锁的顺序？
这是示例 C++ 代码：

std::mutex testVecMtx;
std::vector<int> testVec;

void testPush(int v){
  std::lock_guard<std::mutex> lk(testVecMtx);

  if (testVec.empty()){
    // wait some time to get more threads waiting on testVecMtx
    std::this_thread::sleep_for(std::chrono::milliseconds(3000));
  }

  testVec.push_back(v);
}

void Main_TEST(){
  std::list<std::thread> thList;

  for (int i = 0; i < 1000; i++){
    thList.push_front(std::thread(testPush, i));
  }

  for (auto &i : thList){
    if (i.joinable()){
        i.join();
    }
  }

  bool ok = true;

  for (int i = 0; i < (testVec.size() - 1) && ok; i++){
    ok = testVec[i + 1] - testVec[i] == 1;
  }

  if (ok){
    int stop = 243; // 1st breaking point here...
  }
  else{
    int stop = 432; // ...and 2nd here
  }
}

在 VS2013 中多次在调试和发布（有一些更改以使代码未优化）模式下运行此代码后，我总是只在第一个断点处被击中。

Answer 1

不，我们无法保证订单。它恰好在您的机器上以这种方式工作（例如，在我的计算机ok上并不总是如此）。