防止死锁共享boost互斥锁

Question

我想使用共享互斥锁，因此只有在写入而不是读取向量/映射/任何内容时，线程才会被锁定。但我认为 func2() 永远不会获得唯一锁，因为 func1() 永远不会解锁。尝试获取唯一锁时，有什么方法可以不计算 shared_mutex 上的同线程锁？或者即使那样问题仍然存在？

我猜我需要找到一种方法在所有线程都达到 func2() 或释放锁后强制获取锁（一次一个线程）。

func2()
{
    boost::unique_lock<boost::shared_mutex> lock_access3(shared_mutex);
    /*stuff*/
    lock_access3.unlock(); 
}

func1()
{
    boost::shared_lock<boost::shared_mutex> lock_access1(shared_mutex);
    func2();
    lock_access1.unlock();
}

Answer 1

我相信您需要使用递归互斥锁。请参阅关于这个问题的精彩讨论：

• Recursive Lock (Mutex) vs Non-Recursive Lock (Mutex)

Boost 在 boost:recursive_mutex 类中提供此功能。

Answer 2

你需要做的两件事：

1）由于func1实现了写操作，所以需要获取排他锁，而不是共享锁。

2) 由于调用func2 时已持有锁，因此不应尝试获取锁。