一、C++11为什么要引入原子操作?
首先为什么会有原子操作呢?这纯粹就是 C++ 这门语言的特性所决定的,C++ 这门语言是为性能而生的,它对性能的追求是没有极限的,它总是想尽一切办法提高性能。互斥锁是可以实现数据的同步,但同时是以牺牲性能为代价的。口说无凭,我们做个实验就知道了。
我们将一个数加一再减一,循环一定的次数,开启 20 个线程来观察,这个正确的结果应该是等于 0 的。
1.1 示例一:不加任何互斥锁同步
#include <iostream>
#include <thread>
#include <atomic>
#include <time.h>
#include <mutex>
#define MAX 100000
#define THREAD_COUNT 20
int total = 0;
void threadTask()
{
for (int i = 0; i < MAX; i++)
{
total += 1;
total -= 1;
}
}
int main()
{
clock_t start = clock();
std::thread t[THREAD_COUNT];
for (int i = 0; i < THREAD_COUNT; ++i)
{
t[i] = std::thread(threadTask);
}
for (int i = 0; i < THREAD_COUNT; ++i)
{
t[i].join();
}
clock_t finish = clock();
std::cout << "result:" << total << std::endl; // 计算结果
std::cout << "duration:" << finish - start << "ms" << std::endl; // 计算耗时
return 0;
}
输出如下:
result:8
duration:13ms
可以看出程序运行耗时很短,只要 13ms,但是结果却是不正确的。
1.2 示例二:线程加上互斥锁mutex
#include <iostream>
#include <thread>
#include <atomic>
#include <time.h>
#include <mutex>
#define MAX 100000
#define THREAD_COUNT 20
int total = 0;
std::mutex g_mutex; // 新实例一个互斥锁
void threadTask()
{
for (int i = 0; i < MAX; i++)
{
g_mutex.lock(); // 加锁
total += 1;
total -= 1;
g_mutex.unlock(); // 解锁
}
}
int main()
{
clock_t start = clock();
std::thread t[THREAD_COUNT];
for (int i = 0; i < THREAD_COUNT; ++i)
{
t[i] = std::thread(threadTask);
}
for (int i = 0; i < THREAD_COUNT; ++i)
{
t[i].join();
}
clock_t finish = clock();
std::cout << "result:" << total << std::endl; // 计算结果
std::cout << "duration:" << finish - start << "ms" << std::endl; // 计算耗时
return 0;
}
输出如下:
result:0
duration:357ms
可以看到运行结果是正确的,但是耗时比原来长多了。虽然很无奈,但这也是没有办法的,因为只有在保证准确的前提才能去追求性能。
1.3 示例三:原子操作
定义原子操作的时候必须引入头文件:#include <atomic>
。
#include <iostream>
#include <thread>
#include <atomic>
#include <time.h>
#include <mutex>
#include <atomic>
#define MAX 100000
#define THREAD_COUNT 20
// 原子操作
std::atomic_int total(0);
void threadTask()
{
for (int i = 0; i < MAX; i++)
{
total += 1;
total -= 1;
}
}
int main()
{
clock_t start = clock();
std::thread t[THREAD_COUNT];
for (int i = 0; i < THREAD_COUNT; ++i)
{
t[i] = std::thread(threadTask);
}
for (int i = 0; i < THREAD_COUNT; ++i)
{
t[i].join();
}
clock_t finish = clock();
std::cout << "result:" << total << std::endl; // 计算结果
std::cout << "duration:" << finish - start << "ms" << std::endl; // 计算耗时
return 0;
}
输出如下:
result:0
duration:170ms
可以看到,我们在这里只需要定义atomic_int total(0)
就可以实现原子操作了,就不需要互斥锁了。而性能的提升也是比较明显的,这就是原子操作的魅力所在。
虽然已经展示了一个原子操作的示例,但还是在后面继续详细说明下原子操作。
二、原子操作
所谓的原子操作,取的就是“原子是最小的、不可分割的最小个体”的意义,它表示在多个线程访问同一个全局资源的时候,能够确保所有其他的线程都不在同一时间内访问相同的资源。也就是他确保了在同一时刻只有唯一的线程对这个资源进行访问。这有点类似互斥对象对共享资源的访问的保护,但是原子操作更加接近底层,因而效率更高。
在以往的 C++ 标准中并没有对原子操作进行规定,我们往往是使用汇编语言,或者是借助第三方的线程库,例如 intel 的 pthread 来实现。C++11 引入了原子操作的概念,并通过这个新的头文件<atomic>
提供了多种原子操作数据类型,如下图所示:
std::atomic<>
对象提供了常见的原子操作(通过调用成员函数实现对数据的原子操作): store 是原子写操作,load 是原子读操作,exchange 是对两个数值进行交换的原子操作。
即使使用了std::atomic<>
,也要注意执行的操作是否支持原子性,也就是说,你不要觉得用的是具有原子性的变量(准确说是对象)就可以为所欲为了,你对它进行的运算不支持原子性的话,也不能实现其原子效果。一般针对 ++,–,+=,-=,&=,|=,^= 是支持的,这些原子操作是通过在std::atomic<>
对象内部进行运算符重载实现的。
原子操作一般用于用户统计。例如统计一共发送了多少数据包,接收了多少个数据包。
参考: