一、线程/进程的同步与异步机制
1、同步机制
发出一个功能调用时,在没得到被调用对象的结果前,该调用永不返回。也就是必须一件一件事做,等前一件做完了才能做下一件事。看似忠诚却易出问题。
遥想白蛇苦等千年后许仙降世而结为连理,终成佳话。然而千年的等待岂是凡人所能完成的。再遥想大师金岳霖,因恋慕林徽因而至死未娶,终成悲歌式的存在。
2、异步机制
发起请求后,不等待这个发起的请求返回任何响应就去先干别的事,当然最后是等待到这个返回呢还是不等呢?关键就是要看,是否真的返回,如果返回了,则接受,不返回,也不会一直等待,遇到main函数结束时,操作系统会结束并清理这个进程的所有资源和痕迹。实际处理这个调用的部件在完成后,通过状态、通知和回调来通知调用者。
这个嘛!你品,仔细的品!
二、future与promise简述
参考future和promise,写的简单易懂
future和promise的作用是在不同线程之间传递数据。使用指针也可以完成数据的传递,但是指针非常危险,因为互斥量不能阻止指针的访问;而且指针的方式传递的数据是固定的,如果更改数据类型,那么还需要更改有关的接口,比较麻烦;promise支持泛型的操作,更加方便编程处理。
假设线程1需要线程2的数据,那么组合使用方式如下:
1、线程1初始化一个promise对象和一个future对象,promise传递给线程2,相当于线程2对线程1的一个承诺;future相当于一个接受一个承诺,用来获取未来线程2传递的值
2、线程2获取到promise后,需要对这个promise传递有关的数据,之后线程1的future就可以获取数据了。
3、 如果线程1想要获取数据,而线程2未给出数据,则线程1阻塞,直到线程2的数据到达
简单流程图如下:
三、相关类与函数
1、future头文件包含类与函数
#include <future>
Provider类:std::promise, std::package_task
Future类 : std::future,shared_future
Provider函数:std::async()
其他
2、类future对象获取状态
future对象可以从其他一些提供者对象或者函数获取一个值。
合法(valid)的futures是一些关联了共享状态的future对象,可以通过如下函数来获取。
async
promise::get_future
packaged_task::get_future
3、std::promise
promise是一个模板类,下面是它的三个声明
template <class T> promise;
template <class R&> promise<R&>; //T是引用类型
template <> promise<void> // T 是一个void类型
promise这个对象保存了一个类型为T的值,这个值可以通过future对象来获取(这个获取的过程可能在另一个线程中发生),这个类提供了一种同步机制。
std::promise<int> prom;
std::future<int> fut = prom.get_future(); // 返回的future对象和promise对象共享状态相关联
简单示例:
#include <iostream>
#include <functional> //std::ref
#include <thread>
#include <future>
void print_int(std::future<int>& fut)
{
int x = fut.get(); // 如果共享状态没有ready,线程会阻塞在这里,知道监测到状态ready了
std::cout << "value: " << x << std::endl;
}
int main()
{
std::promise<int> prom;
std::future<int> fut = prom.get_future(); // 返回的future对象和promise对象共享状态相关联
std::thread th1 (print_int, std::ref(fut)); // 通过引用的方式传递future对象给新创建的线程
prom.set_value(10); // set_value设置共享状态,并且promise的共享状态标志变成ready
th1.join();
system("pause");
return 0;
}
#include<iostream>
#include<future>
#include<thread>
using namespace std;
void thread_set_promise(std::promise<int>& promiseObj)
{
cout << "In a thread, making data..." << endl;
std::this_thread::sleep_for(chrono::milliseconds(1000));
promiseObj.set_value(35);
}
int main()
{
promise<int> promiseObj;
future<int> futureObj=promiseObj.get_future();
thread t(&thread_set_promise, std::ref(promiseObj));
cout << futureObj.get() << endl;
t.join();
cout << "Finished!!!\n" << endl;
system("pause");
return 0;
}