在释放互斥锁之前或之后通知使用者线程？ 是清单4.5中的“C++”并发操作，它定义了使用条件变量的线程安全队列。 #include <mutex> #include <condition_variable> #include <queue> #include <memory> template<typename T> class threadsafe_queue { private: mutable std::mutex mut; std::queue<T> data_queue; std::condition_variable data_cond; public: threadsafe_queue() {} threadsafe_queue(threadsafe_queue const& other) { std::lock_guard<std::mutex> lk(other.mut); data_queue=other.data_queue; } void push(T new_value) { std::lock_guard<std::mutex> lk(mut); data_queue.push(new_value); data_cond.notify_one(); } void wait_and_pop(T& value) { std::unique_lock<std::mutex> lk(mut); data_cond.wait(lk,[this]{return !data_queue.empty();}); value=data_queue.front(); data_queue.pop(); } std::shared_ptr<T> wait_and_pop() { std::unique_lock<std::mutex> lk(mut); data_cond.wait(lk,[this]{return !data_queue.empty();}); std::shared_ptr<T> res(std::make_shared<T>(data_queue.front())); data_queue.pop(); return res; } bool try_pop(T& value) { std::lock_guard<std::mutex> lk(mut); if(data_queue.empty) return false; value=data_queue.front(); data_queue.pop(); } std::shared_ptr<T> try_pop() { std::lock_guard<std::mutex> lk(mut); if(data_queue.empty()) return std::shared_ptr<T>(); std::shared_ptr<T> res(std::make_shared<T>(data_queue.front())); data_queue.pop(); return res; } bool empty() const { std::lock_guard<std::mutex> lk(mut); return data_queue.empty(); } }; int main() {} #包括 #包括 #包括 #包括 模板 类线程安全队列 { 私人： 可变std：：互斥mut； std：：队列数据\队列； std：：条件变量数据条件； 公众： 线程安全队列（） {} 线程安全队列（线程安全队列常量和其他） { std：：锁紧装置lk（其他。mut）； 数据队列=其他。数据队列； } 无效推送（T新值） { 标准：锁紧装置lk（mut）； 数据队列推送（新值）； 数据条件通知单（）； } 无效等待和弹出（T和值） { std：：唯一锁lk（mut）； data_cond.wait（lk，[this]{return！data_queue.empty（）；}）； value=data_queue.front（）； data_queue.pop（）； } std:：shared_ptr wait_和_pop（） { std：：唯一锁lk（mut）； data_cond.wait（lk，[this]{return！data_queue.empty（）；}）； std:：shared_ptr res（std:：make_shared（data_queue.front（））； data_queue.pop（）； 返回res； } bool try_pop（T&value） { 标准：锁紧装置lk（mut）； if（数据队列为空） 返回false； value=data_queue.front（）； data_queue.pop（）； } std:：shared_ptr try_pop（） { 标准：锁紧装置lk（mut）； if（data_queue.empty（）） 返回std:：shared_ptr（）； std:：shared_ptr res（std:：make_shared（data_queue.front（））； data_queue.pop（）； 返回res； } bool empty（）常量 { 标准：锁紧装置lk（mut）； 返回数据_queue.empty（）； } }; int main（） {}

在push函数中，另一个线程在互斥锁仍处于锁定状态时收到通知。在释放互斥锁后立即通知popper线程不是更好吗。例如，像这样：

void push(T new_value)
{
    {
        std::lock_guard<std::mutex> lk(mut)
        data_queue.push(new_value);
    }
    data_cond.notify_one();
}

void push（T新值）
{
{
标准：锁紧装置lk（mut）
数据队列推送（新值）；
}
数据条件通知单（）；
}

---

我知道他们在功能上做着同样的事情。我认为在最初的情况下，消费者线程将收到一个错误的通知，最终使其多次尝试锁定互斥锁。但是，在第二种情况下，我们避免提前唤醒使用者线程，因此，尝试锁定互斥锁可以在第一次成功。

这没关系，最终结果是一样的。如果首先通知并解锁互斥体，则侦听线程将收到通知，但仍将锁定互斥体，一旦解锁互斥体，线程将继续

如果您首先解锁互斥锁，线程在收到通知之前将不知道条件已就绪，并将等待条件变量（禁止虚假唤醒）

---

最后，侦听线程只会在两个条件都满足时继续执行—互斥锁被解锁，变量被通知。

前面的答案是错误的，您的初始断言是正确的。最好先解锁，然后通知。 虽然有些实现可以避免匆忙等待问题，特别是一些pthreads实现，但大多数都不能

---

如果您考虑的是延迟，而不是吞吐量，这会对实际性能产生重大影响。

这里的“更好”有点含糊不清。通过虚假的唤醒来检查条件，以及线程无论如何都会试图抓住锁这一事实，我认为它们或多或少是一样的。我认为第二种情况会更快，也会降低能耗。对操作系统调度器有点信心。：）谢谢我对这个问题作了进一步的阐述。