原子操作是一个不可分割的操作,标准c++中通过原子类型来获得原子操作。
从一个简单的例子来看看使用原子类型的作用:
std::atomic<int> sum = 0;
//int sum = 0;
void fun()
{
for (int i = 0; i<100000; ++i)
sum ++; //使用原子类型对sum的操作是原子的
}
int main()
{
std::cout << "Before joining,sun = " << sum << std::endl;
std::thread t1(fun);
std::thread t2(fun);
t1.join();
t2.join();
std::cout << "After joining,sun = " << sum << std::endl;
system("pause");
return 0;
}
可以看到使用原子类型可以完成无锁的线程间数据共享。
从最简单的标准原子类型std::atomic_flag讲起
//使用std::atomic_flag的自旋锁互斥实现
class spinlock_mutex {
std::atomic_flag flag = ATOMIC_FLAG_INIT;
public:
spinlock_mutex() {}
void lock() {
while (flag.test_and_set(std::memory_order_acquire));
}
void unlock() {
flag.clear(std::memory_order_release);
}
};
eg:c++标准并未提供自旋锁。自旋锁是一种用于保护多线程共享资源的锁,与一般的互斥锁(mutex)不同之处在于当自旋锁尝试获取锁的所有权时会以忙等待(busy waiting)的形式不断的循环检查锁是否可用。在多处理器环境中对持有锁时间较短的程序来说使用自旋锁代替一般的互斥锁往往能提高程序的性能。