C++11并发与多线程笔记（11） std::atomic续谈、std::async深入谈

第十一节 std::atomic续谈、std::async深入谈

一、原子操作std::atomic续谈

#include <iostream>
#include <thread>
#include <atomic>
using namespace std;
std::atomic<int> g_count = 0; //封装了一个类型为int的 对象（值）

void mythread1() {
	for (int i = 0; i < 1000000; i++) {
		//g_count++;//对应的操作是原子操作，不会被打断
		//g_count += 1;//对应的操作也是原子操作，不会被打断
		g_count = g_count + 1;//这个结果不对，不是原子操作。虽然g_count使用了原子操作模板，但是这种写法既读又写，会导致计数错误。
	}
}

int main() {
	std::thread t1(mythread1);
	std::thread t2(mythread1);
	t1.join();
	t2.join();
	cout << "正常情况下结果应该是2000000次，实际是" << g_count << endl;
	return 0;
}

• 一般atomic原子操作，针对++，–，+=，-=，&=，|=，^=是支持的，其他操作不一定支持。

二、std::async深入理解

2.1 std::async参数详述，async 用来创建一个异步任务

• 延迟调用参数 std::launch::deferred【延迟调用】
• std::launch::async【强制创建一个线程】
• std::thread()如果系统资源紧张，那么可能创建线程就会失败，那么执行std::thread()时整个程序可能崩溃。
• std::async()我们一般不叫创建线程（即使它能够创建线程），我们一般叫它创建一个异步任务。
• std::async和std::thread最明显的不同，就是 async 有时候并不创建新线程。

①如果用std::launch::deferred 来调用async？

• 延迟到future对象调用.get() 或者.wait() 时执行，且不创建线程，而是直接调用线程入口函数mythread()，如果不调用get()或wait()就不会执行mythread()。

②如果用std::launch::async来调用async？

• 强制这个异步任务在新线程上执行，这意味着，系统必须要创建出新线程来运行入口函数。

③如果同时用 std::launch::async | std::launch::deferred

• 这里这个或者关系“|”意味着async的行为可能是 std::launch::async 创建新线程立即执行， 也可能是 std::launch::deferred 没有创建新线程并且延迟到调用get()执行，由系统根据实际情况来决定采取哪种方案（同步deferred 或者异步async 运行）。

④不带额外参数 std::async(mythread)，只给async 一个入口函数名

• 此时的系统给的默认值是 std::launch::async | std::launch::deferred ，和 ③ 一样，有系统自行决定异步还是同步运行。
• 自行决定是啥意思，系统是如何决定同步（创建新线程）还是异步（不创建新线程而直接调用）呢？

2.2 std::async和std::thread()区别

• std::thread()如果系统资源紧张可能出现创建线程失败的情况，如果创建线程失败那么程序就可能异常崩溃（有脾气），而且不容易拿到函数返回值（不是绝对拿不到）。
• std::async()创建异步任务。可能创建线程也可能不创建线程，并且容易拿到线程入口函数的返回值。

由于系统资源限制：

• ① 如果用std::thread创建的线程太多，则可能创建失败，系统报告异常，崩溃。
• ② 如果用std::async，一般就不会报异常，因为如果系统资源紧张，无法创建新线程的时候，async不加额外参数（std::launch::async）的调用方式就不会创建新线程。而是在后续谁调用get()来请求结果，这个异步任务就运行在这个调用get()的线程上(std::launch::deferred的作用)。
• 如果你强制async一定要创建新线程就要使用 std::launch::async 标记。承受的代价是，系统资源紧张时可能崩溃。
• ③ 根据经验，一个程序中线程数量不宜超过100~200。

2.3 async不确定性问题的解决

• 不加额外参数的async调用时让系统自行决定，是否创建新线程。
• std::future result = std::async(mythread);
  问题焦点在于这个写法，任务到底有没有被推迟执行。
• 通过wait_for返回状态来判断：

std::future_status status = result.wait_for(std::chrono::seconds(0));//等待0秒
//std::future_status status = result.wait_for(0s);//这个写法也可以，还有1min，1ms，1us，F12进去可以看
	if (status == std::future_status::timeout) {
		//超时：表示线程还没有执行完
		cout << "超时了，线程还没有执行完" << endl;
		cout << result.get() << endl;//超时了，调用get来等
	}
	else if (status == std::future_status::ready) {//任务没被推迟，已经开始运行了，线程被创建了
		//表示线程成功返回
		cout << "线程执行成功，返回" << endl;
		cout << result.get() << endl;
	}
	else if (status == std::future_status::deferred) {
		cout << "线程延迟执行（系统资源紧张了），自动采取std::launch::deferred策略了" << endl;
		cout << result.get() << endl;
	}