7

我正在摆弄 c++ 中的一些代码，由于某种原因不想工作，我将其缩小到这种情况：

#include <thread>
#include <atomic>
#include <chrono>
#include <mutex>
#include <iostream>

using namespace std;

void test()
{
  timed_mutex m;
  m.lock();
  std::cout << "Can i have the lock? " << m.try_lock() << std::endl;
  std::cout << "in test(), should block for 10 seconds" << std::endl;
  bool got_lock = m.try_lock_for(std::chrono::seconds(10));
  std::cout << "Now i've blocked, got the lock: " << got_lock << std::endl;
  m.unlock();
}

int main()
{
  thread t = thread(&test);
  t.join();

  return EXIT_SUCCESS;
}

问题是 test() 根本不会阻塞，即使try_lock返回 false。有没有我忽略的东西，或者这是 gcc 中的错误，或者我接下来应该去哪里找出问题所在？感谢您的任何建议和帮助！

我像这样编译了这个小程序：g++ -pthread -std=c++11 threads.cpp -o threads 如果有任何帮助，这是 gcc 和我的操作系统的版本：

g++ --version
g++ (GCC) 4.7.2
Copyright (C) 2012 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

uname -a
Linux *computername* 3.6.11-1-ARCH #1 SMP PREEMPT Tue Dec 18 08:57:15 CET 2012 x86_64 GNU/Linux
4

1 回答 1

6

您的代码行为未定义。std::timed_mutex具有非递归所有权语义。禁止在同一线程上第二次获取锁（包括 try_lock 系列）。

C++11 标准 30.4.1.3.1 [thread.timedmutex.class]/p3/b2：（感谢 Howard Hinnant）

3 如果出现以下情况，程序的行为是未定义的：

  • 拥有timed_mutex对象的线程在该对象上调用lock()、try_lock()、try_lock_for()或try_lock_until()，或

C++11 标准 30.4.1.2 [thread.mutex.requirements.mutex]/p6-7：

编辑：

我将如何“解决这个问题”或让它按照我想要的方式行事？我应该改用递归互斥锁吗？

一般来说，鉴于异常安全，不鼓励获取/释放互斥对象的锁。如果您改用unique_lock对象，则owns_lock()成员函数可能会对您有所帮助。同时，递归互斥锁对您的目的没有用，因为“递归”意味着只有“当我已经拥有锁时，我（一个线程）可以获取两次或更多次锁”。

void test()
{
  std::timed_mutex m;
  std::unique_lock<decltype(m)> lk(m, std::defer_lock);

  // acquire lock
  lk.lock();
  // You can query locked status via unique_lock object
  std::cout << "Do I have own lock? " << lk.owns_lock() << std::endl;
  // release lock
  lk.unlock();
}
于 2013-01-21T02:11:14.697 回答