在锁定时释放持有互斥锁的对象答案

【问题标题】：Deallocating object that holds mutex while locking在锁定时释放持有互斥锁的对象
【发布时间】：2017-02-23 02:23:02
【问题描述】：

我遇到了存储在实例中的互斥锁的问题。举个例子，我是这样写的：

#include <iostream>
#include <mutex>
#include <shared_mutex>
#include <thread>
#include "Sleep.h"

struct Test
{
    std::shared_mutex mutex;
};

Test* test = new Test();

void t1()
{
    std::unique_lock<std::shared_mutex> lock(test->mutex);
    SLEEP(200);
    delete test;
    std::cout << "thread 1" << std::endl;
}

void t2()
{
    SLEEP(100);
    std::cout << "hold" << std::endl;
    std::shared_lock<std::shared_mutex> lock(test->mutex);
    std::cout << "thread 2" << std::endl;
}

int main()
{
    std::thread trd1 = std::thread(&t1);
    std::thread trd2 = std::thread(&t2);
    trd1.join();
    trd2.join();

    std::cin.get();
    return 0;
}

我想要的是，一旦test 被删除，互斥锁reference(?) shared_lock 就会随之解锁。目标是使多线程使用的对象的删除成为线程安全的。至于 shared_lock 之后发生的事情并不重要（我知道我不能再在那里使用test）。

输出是：

hold
thread 1
(here should be 'thread 2')

但不幸的是，t2 似乎陷入了僵局。

问题

有没有办法让shared_lock 在unique_lock 超出范围后继续？（使用实例的互斥锁很重要）
在测试时，我还尝试将shared_mutex 替换为shared_timed_mutex。令我惊讶的是，它在t1() 的末尾导致了崩溃。这是为什么呢？

【问题讨论】：

锯掉你站立的肢体绝不是一个好主意。

标签： c++ multithreading mutex deadlock

【解决方案1】：

当锁仍在使用互斥锁时，您通过删除 unique_lock 持有的互斥锁来调用未定义行为。

根据语言标准，unique_lock 类的描述（第 30.4.2.2 节）：

如果 [锁持有的互斥体] 在 unique_lock 对象的整个剩余生命周期内不存在，则程序的行为是未定义的。

您必须在销毁互斥锁（或包含互斥锁的类）之前销毁或释放锁。

【讨论】：