一:原子操作std::atomic续谈
一般atomic原子操作,针对++、–、+=、&=、|=、*= 是支持的。
std::atomic<int> g_mycout = 0; //这是个原子整型类型变量,可以像使用整型变量一样使用
void mythread()
{
for (int i = 0; i < 1000000; i++)
{
//g_mycout++; //对应的操作就是原子操作,不会被打断。
//g_mycout += 1; //支持
g_mycout = g_mycout + 1; //结果不对
}
return;
}
int main()
{
thread myobj1(mythread);
thread myobj2(mythread);
myobj1.join();
myobj2.join();
cout << "两个线程都执行完毕,最终的g_mycout的结果是: " << g_mycout << endl;
cout << "main主函数执行结束" << endl; //最后执行这句,整个进程退出
return 0;
}
二:std::async深入谈
<1>std::async参数详述,async用来创建一个异步任务
int mythread1() {
std::chrono::milliseconds dura(5000);
std::this_thread::sleep_for(dura);
cout << "mythread start " << "threadId = " << std::this_thread::get_id() << endl;
return 1;
}
int main()
{
cout << "main start " << "threadId = " << std::this_thread::get_id() << endl;
std::future<int> result = std::async(mythread1);
cout << result.get() << endl;
cout << "main主函数执行结束" << endl; //最后执行这句,整个进程退出
return 0;
}
延迟调用参数std::launch::deferred,以及std::launch::async强制创建一个线程。
std::thread()如果系统资源紧张,那么可能创建线程就会失败,执行std::thread()时整个程序可能奔溃。
std::async()一般不叫创建线程(解释async能够创建线程),一般叫它创建一个异步任务。
std::thread()和std::async()最明显的不同,就是async有时候并不创建新线程。
(1)如果用std::launch::deferred来调用async会怎么样?
deferred延迟调用,并且不创建新线程,延迟到future对象调用。get()或者wait()的时候才执行mythread(),如果没有调用get或者wait,就不会执行。
(2) std::launch::async:强制这个异步任务在新线程上执行,这意味着系统必须创建出新线程来运行mythread()。
(3) std::launch::async | std::launch::deferred
这里这个 | 意味着async的行为可能是创建新线程并立即执行或者是没有创建新线程并且延迟到调用result.get()才开始执行任务入口函数。
(4)不带额外参数,带给async函数一个入口函数名;其实,默认值应该是std::launch:async | std::launch::deferred,和(3)效果完全一样。
换句话说:系统会自行决定是异步(创建新线程)还是同步(不创建新线程)方式运行。
int mythread1() {
std::chrono::milliseconds dura(5000);
std::this_thread::sleep_for(dura);
cout << "mythread start " << "threadId = " << std::this_thread::get_id() << endl;
return 1;
}
int main()
{
cout << "main start " << "threadId = " << std::this_thread::get_id() << endl;
std::future<int> result1 = std::async(mythread1);
std::future<int> result2 = std::async(std::launch::deferred, mythread1);
std::future<int> result3 = std::async(std::launch::deferred | launch::async, mythread1);
cout << result1.get() << endl;
cout << "main主函数执行结束" << endl; //最后执行这句,整个进程退出
return 0;
}
自行决定是啥意思?系统如何决定是异步(创建新线程) 还是同步(不创建新线程)方式运行。
<2>std::async和std::thread的区别
std::thread创建线程,如果系统资源紧张,创建线程失败,那么整个程序就会报异常崩溃。
int mythread() { return 1;}
std::thread mytobj(mythread);
mytobj.join();
std::thread创建线程的方式,如果线程有返回值,想拿到这个值也不容易。
std::async创建异步任务,可能创建线程也可能不创建线程,并且async调用方法很容易拿到线程入口函数的返回值。
由于系统资源限制:
(1)如果std::thread创建线程太多,则可能创建失败,系统报告异常,奔溃。
(2)如果std::async,一般就不会奔溃,如果系统资源紧张导致无法创建新线程的时候,std::async这种不加额外参数的调用就不会创建新线程。而是后续谁调用了result.get()来请求结果,那么这个异步任务mythread就运行在执行这条result.get()语句所在的线程上。
(3)一个程序里线程数量不宜超过100-200,时间片。
<3>std::async不确定性问题的解决
不加额外参数的std::async调用,让系统自行决定是否创建新线程。
问题焦点在于 std::future result = std::async(mythread); 写法。
这个异步任务到底有没有被推迟执行,(std::launch::async 还是 std::launch::deferred)?
std::future对象的wait_for函数
int mythread1()
{
std::chrono::milliseconds dura(5000);
std::this_thread::sleep_for(dura);
cout << "mythread start " << "threadId = " << std::this_thread::get_id() << endl;
return 1;
}
int main()
{
cout << "main start " << "threadId = " << std::this_thread::get_id() << endl;
std::future<int> result = std::async(mythread1);
//std::future_status status = result.wait_for(std::chrono::seconds(0));
std::future_status status = result.wait_for(6s);
if (status == std::future_status::deferred)
{
//线程被延迟执行了(系统资源紧张了,系统采用std::launch::deferred策略)
cout << result.get() << endl; //这个时候才会取调用了mythread()
}
else
{
//任务没有被推迟,已经开始运行了,线程被创建了;
if (status == std::future_status::ready) {
//线程成功返回
cout << "线程成功执行完毕并返回!" << endl;
cout << result.get() << endl;
}
else if (status == std::future_status::timeout) {
//超时线程还没有执行完
cout << "超时线程没执行完!" << endl;
cout << result.get() << endl;
}
}
cout << "main主函数执行结束" << endl; //最后执行这句,整个进程退出
return 0;
}