基于CAS操作的atomic原子类型
在上一节的卖票程序中,我们讲解了如何在多线程中保证临界资源的正确访问——使用互斥锁,即
lock_guard<mutex> lock(mtx);
count++;lock_guard<mutex> lock(mtx);
count--;
从汇编角度解释线程间互斥-mutex互斥锁与lock_guard的使用-CSDN博客
但是互斥锁是比较重的,临界区代码做的事情比较多,它涉及到系统调用和上下文的切换,在高并发的情况下可能会带来一定的性能影响。而原子操作通常在硬件层面实现,其执行速度更快,且不需要上下文的切换
因此,当临界区仅仅只是一个变量而不是一段代码时,使用原子类型的效率比互斥锁要高
以下示例:
#include<iostream>
#include<thread>
#include<list>
#include<atomic>
using namespace std;volatile atomic_bool isReady(false);
volatile atomic_int mycount(0);void task()
{while(!isReady){std::this_thread::yield();//线程让出cpu时间,等待调度}for(int i=0;i<100;i++){mycount++;}
}int main()
{list<std::thread> tlist;for(int i=0;i<9;i++){tlist.push_back(thread(task));}isReady=true;for(auto& td:tlist){td.join();}cout<<mycount<<endl;return 0;
}
上述volatile关键字的作用是防止优化编译器把变量从内存装入 CPU 寄存器中。如果变量被装入寄存器,那么两个线程有可能一个使用内存中的变量,一个使用寄存器中的变量,这会造成程序的错误执行。
volatile 的意思是让编译器每次操作该变量时一定要从内存中真正取出,而不是使用已经存在寄存器中的值