我有点懵了，这么做会被卡住吗？线程玩的熟的帮忙看看。

[weixi2864]

class Threadpool {

std::atomic_bool isPoolRunning_;

std::mutex taskQueMtx_; 

std::condition_variable notEmpty_;

...

}

 

析构函数

Threadpool::~Threadpool() {
isPoolRunning_ = false;
notEmpty_.notify_all();
①std::unique_lock<std::mutex> lock(taskQueMtx_);
②exitCond_.wait(lock, [&]()-> bool { return threads_.size() == 0; });
}

 

线程函数

void Threadpool::threadFunc(int threadid)
{
auto lastTime = std::chrono::high_resolution_clock().now();

while(isPoolRunning_) {
③std::shared_ptr<Task> task;
//获取到任务，顺利释放锁
{
//要操作线程队列，先获取锁
④std::unique_lock<std::mutex> lock(taskQueMtx_);
std::cout << "tid=" << std::this_thread::get_id() << " 尝试获取任务" << std::endl;

......

}

 

有一套多线程的代码

我感觉退出的时候有互锁的可能性

主线程：到析构了①首先抢夺了锁

然后②陷入等待，但是锁没有释放

 

这时候如果子线程正好跑到③的位置

那是不是到④就互锁了？

 

百思不得其解，哪个高手帮着解释一下

关键是这玩意跑的很好，从来就没出过问题

[weixi2864]

@于扶摇 谢谢回复 我理解也是会卡住 关键这段代码一直在生产环境使用 从没有卡过。。。

[于扶摇]

在析构函数中，线程pool在等待所有子线程退出时一直持有taskQueMtx_的锁，这会导致在子线程尝试获取任务时无法获取到锁，从而导致互锁的情况。为了避免这种情况，可以使用线程安全的等待所有子线程退出的方式，例如使用std:🧵:join_all()函数等待所有子线程退出。这样可以避免在等待过程中一直持有锁的情况，从而避免互锁问题。

[weixi2864]

@赵4老师 嗯 你还是认为这段代码是有问题是吧？

[赵4老师]

@weixi2864 判断生产环境跑的到底有没有问题，不应靠观察外部表现，而应靠检查内部足够详细的运行日志。

[weixi2864]

@赵4老师 没有专门的日志 不过这个服务整体都很稳定 感觉在生产环境跑的没问题

[赵4老师]

生产环境难道没有支持多线程的日志？

[shuise]

std::cout << "tid=" << std::this_thread::get_id() << " 尝试获取任务" << std::endl; //这个有可能永远执行不到。不出错，因为是不重要的代码