C++ future and promise and async():
本文详细介绍C++的future, promise以及async()功能。
使用这几个功能需要在source code里面加上#include<future>
一个简单的例子:
新建一个线程,计算N的阶乘,并存储到x中。一个简单的实现是这个样子的:
void factorial(int N, int& x){
int res = 1;
for(int i = N; i > 1; i--){
res *= i;
}
x = res;
}
int main(){
int x;
std::thread t(factorial, 4, std::ref(x));
t1.join();
std::cout << "factorial of " << N << " is " << x << std::endl;
return 0;
}
但是这个一段code有两个问题:
- x被主线程和子线程共享,假如主线程也想要修改x的话,可能会有data race
- 主线程并不知道应该什么时候获取x,有可能在主线程获取x的时候,子线程并没有完成阶乘计算
第一个问题可以使用std::mutex解决:开始计算前,子线程先获取一个mutex,防止别的线程修改x。
第二个问题需要使用std::condition_variable:当子线程完成计算,通过设置condition variable来通知主线程,阶乘计算已经完成。主线程得到消息之后才去获取x。
修改过后的代码应该是这样的:
using namespace std;
bool completed = false;
std::mutex mtx;
std::condition_variable cond;
void factorial(int N, int& x){
int res = 1;
for(int i = N; i > 1; i--){
res *= i;
}
mtx.lock();
x = res;
co