atomic 内存序_线程安全之std::atomic探索

最新推荐文章于 2024-09-23 22:07:01 发布

weixin_39734987

最新推荐文章于 2024-09-23 22:07:01 发布

阅读量576

点赞数

文章标签： atomic 内存序

本文链接：https://blog.csdn.net/weixin_39734987/article/details/111655715

版权

本文介绍了C++11的std::atomic在多线程编程中的应用，通过实例展示了如何避免数据竞争。文章讨论了原子数据类型的原理，提供了不使用原子类型导致错误的示例，以及使用std::atomic修复问题的代码。同时，文章涵盖了不同内存序的使用，原子操作的常用成员函数，并提到了lock-free特性和read-modify-write操作。总结强调了std::atomic在多线程通信中的重要性。

摘要由CSDN通过智能技术生成

多线程的数据访问一直很让程序员们头大，有什么简便方法来实现多线程间的通呢？试试C++11封装的原子数据类型(std::atomic)吧。

什么是原子数据类型

简单地说，原子数据类型能保证线程之间不会发生数据竞争(data race)，因此能保证线程安全(thread safe)。

对于我们用户来说，就不需要对需要多线程访问的数据添加互斥锁。从不同线程访问某个原子对象是良性(well-defined) 行为，而通常对于非原子类型而言，并发访问某个对象(如果不做任何同步操作)会导致未定义(undefined) 行为发生。因此，从实现的原理上来，可以理解为原子类型在自己内部添加了互斥锁。

我们先创建一个CMake工程，并创建两个线程来操作同一个全局变量，然后来编译运行，查看它的结果。接下来，我们会针对这个结果进行改造，使之达到我们想要的“线程安全”的要求。2

测试环境

系统：Ubuntu 16.04/18.04/20.04
编程语言：C++
测试代码：https://github.com/one-third-robot/article-003-atomic

工程1：不使用原子数据类型

第一个工程，演示的是如果不使用原子数据类型，程序会产生一定的错误。工程代码可在以上GitHub链接中找到，工程文件名为no-atomic.cpp，内容如下：

#include 
#include 
#include 
#include 
#include 
int data( 0 );
void threadFunc() {
    
    for ( int i = 0; i < 2000; i++ ) {
    
        usleep( 1 );
        data++;
    }
}
int main( int argc, char* argv[] ) {
    
    std::thread th1( threadFunc );
    std::thread th2( threadFunc );
    th1.join();
    th2.join();
    usleep( 20000 );
    std::cout << "data = " << data << std::endl;
    return 0;
}