使用GCC 4.8.2(在Linux / Debian / Sid 64位上)或GCC 4.9(在C ++ 11中可用)-我有一些互斥锁
std::mutex gmtx;
实际上,它是static某个类的成员,Foo同时包含下面的alpha和beta方法。
static
Foo
alpha
beta
它被锁定alpha像
void alpha(void) { std::lock_guard<std::mutex> g(gmtx); beta(void); // some other work }
我想检查beta一下确实gmtx被锁定了:
gmtx
void beta(void) { assert (gmtx.is_locked()); // some real work }
(is_locked仅在内部调用的通知assert。。。效率可能非常低下,有时甚至不准确)
is_locked
assert
当然,我还有其他函数调用beta,例如
void gamma(void) { std::lock_guard<std::mutex> g(gmtx); beta(); // some other work }
但is_locked不存在。…我应该如何定义它?(实际上,我想确保互斥体已被某些[间接]调用者锁定在同一线程中。)
(我要测试的原因assert是beta可以在其他地方调用)
我不能使用try_lock(除非使用递归互斥锁),因为在通常情况下,它将锁定一个已经锁定的互斥锁…(由调用方锁定在同一线程中),这不仅是未定义的行为,而且是完全阻塞的。
try_lock
除非确实需要,否则我想避免使用递归互斥锁(比普通互斥锁更昂贵)。
注意:真正的程序要复杂一些。实际上,所有方法都在一个类中,该类维护“项目”上的命名双向关系。所以我在该类中有一个从项目到名称的映射,另一个是从名称到项目的映射。beta将内部方法添加一个真正的命名,并alpha和gamma会发现它的名称,或通过其项目的名称- 或加入-一个项目的方法。
gamma
PS:真正的程序尚未发布,但应该成为MELT的一部分- 将来的监视器;您可以从此处(一个临时位置)下载它(Alpha舞台,非常容易出错)
std::unique_lock<L>具有owns_lock成员函数(相当于is_locked您所说的)。
std::unique_lock<L>
owns_lock
std::mutex gmtx; std::unique_lock<std::mutex> glock(gmtx, std::defer_lock); void alpha(void) { std::lock_guard<decltype(glock)> g(glock); beta(void); // some other work } void beta(void) { assert(glock.owns_lock()); // or just assert(glock); // some real work }
编辑: 在此解决方案中,所有锁定操作应通过unique_lock glock而不是“原始”互斥锁执行gmtx。例如,alpha用lock_guard<unique_lock<mutex>>(或简单地lock_guard<decltype(glock)>)重写成员函数。
glock
lock_guard<unique_lock<mutex>>
lock_guard<decltype(glock)>