小熊之怒 2022-11-04 16:00 采纳率: 50%
浏览 21
已结题

遇到线程锁问题,unique_lock为什么没有独占。

问题遇到的现象和发生背景

unique_lock 的对象会以独占所有权(没有其他的 unique_lock 对象同时拥有某个 mutex 对象的所有权)
的方式管理 mutex 对象上的上锁和解锁的操作。
这是c++11书上说的一段话,锁是独占,但是在运行代码时,发现,锁竟然被不同的线程,同时获取了,这个就非常纳闷了。希望有懂的朋友,给点指导。

用代码块功能插入代码,请勿粘贴截图
    std::mutex mtx;
    std::queue<int> product_nums;
    std::condition_variable cv;
    bool notify_signed = false;
    system("chcp 65001");

    auto productor = [&]() {
        for (int i = 1;  ; i++) {
            // 睡眠 900 ms
            std::this_thread::sleep_for(std::chrono::milliseconds(800));

            std::unique_lock<std::mutex> lock(mtx);
            std::cout << "------lock---p---  " << std::this_thread::get_id() << std::endl;
            std::cout << "产出 : " << i << "|产出id:" << std::this_thread::get_id() << std::endl;

            product_nums.push(i);
            notify_signed = true;
            cv.notify_one();
        }
    };

    auto consumer = [&]() {
        while (true) {
            std::unique_lock<std::mutex> lock(mtx);
            std::cout << "------lock---c---  " << std::this_thread::get_id() << std::endl;
            while (!notify_signed) {    // 避免虚假唤醒
                cv.wait(lock);
            }
            // 短暂取消锁,使得生产者有机会在消费者消费前 生产信息
            lock.unlock();
            std::cout << "------unlock---c---  " << std::this_thread::get_id() << std::endl;

            std::this_thread::sleep_for(std::chrono::milliseconds(1000));   // 消费者要慢于生产者
            lock.lock();
            // 消费 1 个就推出,避免多次消费
            if (!product_nums.empty()) {
                std::cout << "消费: " << product_nums.front() << "|消费id:" << std::this_thread::get_id() << std::endl;
                product_nums.pop();
            }
            notify_signed = false;
        }
    };
运行结果及报错内容

我是用了一个生产线程,两个消费线程运行。
上面是代码,产出下面的结果。有点不太历届,理论上独占锁在占用锁时,其他的锁将不能获取,只能等待,但是这里为什么,都在同时获取lock。

img

我的解答思路和尝试过的方法

查过一些资料,也没有相关的描述。

我想要达到的结果

希望有懂的朋友,给点指导。

  • 写回答

2条回答 默认 最新

  • 小熊之怒 2022-11-04 16:11
    关注

    查到原因了。是因为std::condition_variable cv;cv.wait 的原因。
    执行wait,wait_for 或 wait_until。该操作能够原子性的释放互斥量mutex上的锁,并阻塞这个线程。

    本回答被题主选为最佳回答 , 对您是否有帮助呢?
    评论
查看更多回答(1条)

报告相同问题?

问题事件

  • 系统已结题 11月12日
  • 已采纳回答 11月4日
  • 创建了问题 11月4日

悬赏问题

  • ¥20 机器学习能否像多层线性模型一样处理嵌套数据
  • ¥20 西门子S7-Graph,S7-300,梯形图
  • ¥50 用易语言http 访问不了网页
  • ¥50 safari浏览器fetch提交数据后数据丢失问题
  • ¥15 matlab不知道怎么改,求解答!!
  • ¥15 永磁直线电机的电流环pi调不出来
  • ¥15 用stata实现聚类的代码
  • ¥15 请问paddlehub能支持移动端开发吗?在Android studio上该如何部署?
  • ¥20 docker里部署springboot项目,访问不到扬声器
  • ¥15 netty整合springboot之后自动重连失效