条件变量(condition_variable):
假设现在有两个线程A和B,当线程A执行到一定程度时才能让线程B执行,这个时候就需要条件变量了,我们设置一个全局变量,初始条件为假,线程B等待条件为真,向下执行,条件由线程A设置为真。
这样的需求,就好像是线程B一直在轮询条件,但是在轮询的过程中会一直消耗CPU,导致资源的浪费,所以就设置了通知机制,当线程A将条件设为真之后通知B。
伪码如下表示:
cond=false;
while(!cond)//条件不满足就一直等着
{
wait(lock);
}
另外就是条件变量一般和unique_lock一起使用,线程B在等待条件的时候是不占用锁的,此时应该是线程A占用锁,当条件满足,线程B向下执行时会获得锁的所有权,此时线程A应该释放锁,因为线程A和线程B是严格按顺序执行的,所以不能同时都访问的临界资源(锁内资源),所以我们要加锁。
#include <cstdio>
#include <thread>
#include <condition_variable>
#include <mutex>
#include <vector>
#include <atomic>
using namespace std;
using namespace this_thread;
using namespace chrono;
mutex mu;
condition_variable cv;
atomic<int> cond = 0;
void func()
{
unique_lock<mutex> locker(mu);
printf("线程A执行某种工作...\n\n");
printf("线程A通知线程B工作\n\n");
cond=3;
cv.notify_one();
cv.wait(locker, [] {return cond == 4; });
printf("线程A继续执行的条件已成立,接着执行工作...\n\n");
}
void func1(int i)
{
unique_lock<mutex> locker(mu);
cv.wait(locker, [&] {return cond == i; });
printf("条件成立,线程B工作...\n\n",i);
cond = 4;
printf("线程B已执行完毕,通知线程A可以接着执行\n");
cv.notify_one();
}
int main()
{
thread t1(func);
thread t(func1, 3);
t.join();
t1.join();
return 0;
}