c++多线程thread操作(六)条件变量的使用

c++多线程系列

c++多线程thread操作(一)环境部署

c++多线程thread操作(二)线程管理

c++多线程thread操作(三)数据竞争互斥访问

c++多线程thread操作(四)死锁的问题和解决

c++多线程thread操作(五)unique_lock加锁

c++多线程thread操作(六)条件变量的使用

c++多线程thread操作(七)父进程获取子进程变量的结果

c++多线程thread操作(八)父线程传递数据给子线程

c++多线程thread操作(九)可调用方式

(终)c++多线程thread操作(十)多线程并行实现数据相加的和

1. 说到条件变量,我们先来看一个操作系统的PV操作,解决经典的生产者与消费者问题;

题目:一个生产者生产若干产品放到缓冲区上,一个消费者从缓冲区中取产品。二者共用一个缓冲区,里面的同步关系:

1. 生产者在缓冲区不满的情况下可以放入;设定一个同步信号量empty(n)-------代表空闲缓冲区可以放入n和产品,初始为n

2.消费者在缓冲区不空的情况下可以放入;设定一个同步信号量full(0)------代表缓冲区已有的产品数量,初始为0

3. 缓冲区是共享资源,需要加锁访问;

除了同步互斥关系,还需要注意,

如果生产者顺利放入缓冲区产品,则消费者一定可以执行,生产者告诉消费者可以执行;

如果消费者顺利取出缓冲区产品,则生产者一定可以执行,消费者告诉生产者可以执行。

semaphore empty=n
semaphore full=0
semaphore mutex=1
void Producer(){//生产者
    while(true){
         生产一个产品;
         P(empty);
         P(mutex);
         产品送往Buffer;
         V(mutex);
         V(full);

    }
}
void Consumer(){//消费者
    while(true){
       P(full);
       P(mutex);
       从Buffer取出一个产品;
       V(mutex);
       V(empty);
       消费该产品;
}

2. c++ thread中条件变量是用来实现p(full),v(full),p(empty),v(empty)中的同步关系;上述PV操作的c++代码如下:

deque<int>q;
mutex mu;
void Producer() {
	int count = 10;
	while (count > 0) {
		unique_lock<mutex>locker(mu);
		q.push_front(count);
		locker.unlock();
		this_thread::sleep_for(chrono::seconds(1));
		count--;
	}
}
void Consumer() {
	int data = 0;
	while (data != 1) {
        unique_lock<mutex>locker(mu);
		if (!q.empty()) {
			data = q.back();
			q.pop_back();
			locker.unlock();
			cout << "t2 got a value from t1: " << data << endl;
		}
		else {
			locker.unlock(); // 放在这边 可能会无限循环
			// 可以添加sleep时间,但是时间不好确定
			//this_thread::sleep_for(chrono::milliseconds(10));
		}
	}
}

问题:Consumer中locker.unlock()可能会造成无限循环,如果队列q是空的,则会一直做else操作,然后locker锁释放,再次循环。。

解放方案:

  1. 释放锁的时候,让当前线程sleep一段时间(阻塞),但是阻塞时间不好确定;
  2. 考虑使用条件变量完成

3. 条件变量方式实现

condition_variable cond;
deque<int>q;
mutex mu;
void Producer() {
	int count = 10;
	while (count > 0) {
		unique_lock<mutex>locker(mu);
		q.push_front(count);
		locker.unlock();
		cond.notify_one();//激活一个等待线程
		this_thread::sleep_for(chrono::seconds(1));
		count--;
	}
}
void Consumer() {
	int data = 0;
	while (data != 1) {
		unique_lock<mutex>locker(mu);
		cond.wait(locker);//将线程2休眠,除非线程1调用notify,但是可能会存在伪激活
		data = q.back();
		q.pop_back();
		locker.unlock();
		cout << "t2 got a value from t1: " << data << endl;
	}
}

问题:已成功解决不需要设定时间让当前线程阻塞,但是可能存在伪激活。当刚开始q是空的时候,如果先执行Consumer,如果unique_lock定义时没有锁住mu(detach方式),则默认cond.wait()可以执行;则存在伪激活;

解决方案:q不为空时才允许激活

void Consumer() {
	int data = 0;
	while (data != 1) {
		unique_lock<mutex>locker(mu);
		cond.wait(locker, []() {return !q.empty(); });// q 不为空时线程2才会被激活
        ...
	}
}

4. 完整代码

#include <iostream>
#include <thread>
#include <string>
#include <mutex>
#include <deque>
#include <condition_variable>
using namespace std;
condition_variable cond;
deque<int>q;
mutex mu;
void Producer() {
	int count = 10;
	while (count > 0) {
		unique_lock<mutex>locker(mu);
		q.push_front(count);
		locker.unlock();
		cond.notify_one();//激活一个等待线程
		// cond.notify_all();//激活所有等待线程
		this_thread::sleep_for(chrono::seconds(1));
		count--;
	}
}
void Consumer() {
	int data = 0;
	while (data != 1) {
		unique_lock<mutex>locker(mu);
		cond.wait(locker, []() {return !q.empty(); });
		data = q.back();
		q.pop_back();
		locker.unlock();
		cout << "t2 got a value from t1: " << data << endl;
	}
}
int main() {
	thread t1(func_1);
	thread t2(func_2);
	t1.join();
	t2.join();
	return 0;
}

 

  • 3
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
好的,你想了解关于 C++ 条件变量在多线程中的使用。 在多线程中,条件变量通常用于线程间的同步,它可以让一个线程等待另一个线程的特定事件发生。当这个特定事件发生时,另一个线程可以通过条件变量来通知等待的线程,让它继续执行。 C++ 中的条件变量一般需要和互斥锁一起使用,以保证线程安全。当一个线程等待条件变量时,它会释放互斥锁,让其他线程可以继续执行,等到条件变量被唤醒后,线程会重新获得互斥锁并继续执行。 下面是一个简单的示例代码: ```cpp #include <iostream> #include <thread> #include <mutex> #include <condition_variable> std::mutex mtx; std::condition_variable cv; bool ready = false; void worker_thread() { // do some work { std::lock_guard<std::mutex> lk(mtx); ready = true; } cv.notify_one(); // 通知等待的线程 } int main() { std::thread worker(worker_thread); // 等待条件变量 { std::unique_lock<std::mutex> lk(mtx); cv.wait(lk, []{ return ready; }); // 等待条件变量被唤醒 } std::cout << "Worker thread finished\n"; worker.join(); return 0; } ``` 在这个示例中,我们新开了一个线程 `worker_thread`,它会在一段时间后设置条件变量 `ready` 为 `true`,然后通知等待的线程。在 `main` 函数中,我们首先获得了互斥锁 `mtx`,然后调用 `cv.wait` 等待条件变量被唤醒。在等待期间,线程会释放互斥锁,让 `worker_thread` 可以继续执行。等到 `worker_thread` 设置了条件变量并通知后,`main` 函数会重新获得互斥锁并继续执行。最后,我们等待 `worker_thread` 结束并回收资源。 希望这个示例可以帮助你理解条件变量在多线程中的使用

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值