《C++标准库》学习笔记 — STL — 并发 — 线程同步与并发 — 条件变量与原子操作

一、条件变量

1、意图

我们前面介绍的 future 主要用于传递线程的返回值和异常。但是，有时我们需要确保不同线程之间的工作流。我们可以使用一个简单的变量和锁来控制，其带来的结果就是我们需要在线程中轮询该变量的值：

bool ready = false;
mutex readyMutex;

void thread1()
{
   
	unique_lock lg(readyMutex);
	ready = true;
}

void thread2()
{
   
	unique_lock lg(readyMutex);
	while (!ready)
	{
   
		lg.unlock();
		this_thread::yield();
		this_thread::sleep_for(chrono::milliseconds(200));
		lg.lock();
	}
}

这种轮询的处理方式并不是一个好的选择。一方面，等待中的线程需要不断的检验标志位；另一方面，sleep 函数的周期也很难设定。

一个较好的做法是使用条件变量。借由它，一个线程可以唤醒其他等待中的线程。这是一种类似中断的处理方式。

2、条件变量的基本使用

在使用条件变量时，等待条件满足的线程使用 wait 函数等待指定的条件变量被置位。类似锁，该类还提供了 wait_for 和 wait_until 方法用于设置等待的时间。需要注意，等待中的线程被唤醒不保证指定的条件变量已经被置位（假醒）。因此，wait 函数还支持设置一个判定式用以判定是否为假醒（通常为对标志位的判断）。置位条件变量的线程在相应条件满足后，使用 notify_one 和 notify_all 函数激活一个或所有等待此条件变量的线程。如果只激活一个线程，该激活不会被继续传递；也就是说，其余未被激活的线程需要等待这两个函数再次被调用：

#include <iostream>
#include <future>
#include <mutex>
#include <chrono>
#include <condition_variable>
using namespace std;

bool ready = false;
mutex readyMutex;
condition_variable readyCond;

void thread1()
{
   
	cout << "input something" << endl;
	cin.get();

	{
   
		unique_lock ul(readyMutex);
		ready = true;
	}

	readyCond.notify_one();
}

void thread2()
{
   
	{
   
		unique_lock