当前位置:

首页 > 编程开发 > C++无锁编程:std::atomic原子操作实践

C++无锁编程:std::atomic原子操作实践

std::atomic提供原子操作以避免数据竞争,相比互斥锁性能更高,适用于高并发场景。通过memory_order可控制内存顺序,如relaxed用于独立操作,acquire/release用于同步,seq_cst保证顺序一致性。compare_exchange_weak支持无锁数据结构如栈的实现,但需注意ABA问题和内存回收。合理使用可提升并发效率,但需谨慎处理复杂性。

本文目录

    std::atomic 提供原子操作以避免数据竞争,相比互斥锁性能更高,适用于高并发场景。通过 memory_order 可控制内存顺序,如 relaxed 用于独立操作,acquire/release 用于同步,seq_cst 保证顺序一致性。compare_exchange_weak 支持无锁数据结构如栈的实现,但需注意 ABA 问题和内存回收。合理使用可提升并发效率,但需谨慎处理复杂性。

    C++如何使用std::atomic实现无锁编程_C++并发编程与原子操作实践

    在C++并发编程中,std::atomic 是实现无锁(lock-free)操作的核心工具。它保证对共享数据的读写是原子的,避免多个线程同时访问导致的数据竞争和未定义行为。相比互斥锁(mutex),原子操作通常性能更高,尤其适用于高并发、低争用的场景。

    理解 std::atomic 的基本用法

    std::atomic 模板类可以包装一个基础类型(如 int、bool、指针等),使其操作具有原子性。最常见的是 std::atomic 或 std::atomic。

    例如,实现一个线程安全的计数器:

    #include 
    #include 
    #include 
    

    std::atomic counter{0};

    void increment() { for (int i = 0; i < 1000; ++i) { counter.fetch_add(1, std::memory_order_relaxed); } }

    int main() { std::thread t1(increment); std::thread t2(increment);

    t1.join();
    t2.join();
    
    std::cout << "Counter: " << counter.load() << "\n";
    return 0;

    }

    这里使用 fetch_add 原子地增加计数器值,确保不会出现竞态条件。

    内存顺序(Memory Order)的选择

    原子操作的性能和语义受内存顺序影响。C++ 提供了多种 std::memory_order 枚举值:

    • memory_order_relaxed:仅保证原子性,不提供同步或顺序约束,适合计数器等独立操作。
    • memory_order_acquire:用于读操作,保证之后的读写不会被重排到该操作之前。
    • memory_order_release:用于写操作,保证之前的读写不会被重排到该操作之后。
    • memory_order_acq_rel:结合 acquire 和 release,常用于 compare-exchange 操作。
    • memory_order_seq_cst:默认顺序,提供最严格的顺序一致性,但开销最大。

    例如,在实现自旋锁或标志位通知时,使用 acquire/release 可以避免不必要的全局同步开销:

    std::atomic ready{false};
    int data = 0;
    

    // 线程1:生产数据 void producer() { data = 42; ready.store(true, std::memory_order_release); }

    // 线程2:消费数据 void consumer() { while (!ready.load(std::memory_order_acquire)) { // 自旋等待 } std::cout << "Data: " << data << "\n"; }

    这种模式确保了 data 的写入在 ready 变为 true 之前完成,且消费者能看到正确的 data 值。

    使用 compare_exchange_weak 实现无锁结构

    无锁编程的核心是利用 compare_exchange_weak 或 compare_exchange_strong 实现原子更新。这个操作是“比较并交换”(CAS),常用于构建无锁队列、栈等数据结构。

    下面是一个简单的无锁栈实现片段:

    template
    class LockFreeStack {
    private:
        struct Node {
            T data;
            Node* next;
            Node(T const& d) : data(d), next(nullptr) {}
        };
        std::atomic head{nullptr};
    

    public: void push(T const& data) { Node* new_node = new Node(data); new_node->next = head.load(); while (!head.compare_exchange_weak(new_node->next, new_node)) { // 如果 head 被其他线程修改,new_node->next 会被更新为当前 head // 循环继续尝试 } }

    bool pop(T& result) {
        Node* old_head = head.load();
        while (old_head && !head.compare_exchange_weak(old_head, old_head->next)) {
            // 更新 old_head 为当前 head,继续尝试
        }
        if (old_head) {
            result = old_head->data;
            delete old_head;
            return true;
        }
        return false;
    }

    };

    注意:真实项目中需考虑 ABA 问题和内存回收(如使用 hazard pointer 或 RCU)。

    基本上就这些。合理使用 std::atomic 能写出高效、低延迟的并发代码,但要小心内存顺序和复杂逻辑带来的隐患。无锁编程虽强,但也容易出错,建议在关键路径或性能敏感场景下谨慎使用。

    本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系bd@zhengruan.com
    作者最新文章
    编程开发
    相关文章 更多
    如何在Visual Studio2022导入已有代码文件夹创建项目
    如何在Visual Studio2022导入已有代码文件夹创建项目

    详解 Visual Studio 2022 如何从现有代码文件夹创建 C++、C# 或 VB 项目,对比打开文件夹与加载 .sln 文件的区别,避免重复构建结构,确保项目配置正确。

    Visual Studio2019导出导入IDE布局窗口配置文件
    Visual Studio2019导出导入IDE布局窗口配置文件

    详细步骤指南:在 VS2019 中调整并保存工具窗口布局,使用导入导出向导选择 Window Layouts 类别生成 .vssettings 文件,并在另一台机器或实例中恢复布局,同时处理多显示器适配问题。

    VisualStudio2022社区版如何从官网下载安装包
    VisualStudio2022社区版如何从官网下载安装包

    详细讲解 Visual Studio 2022 社区版的官方下载入口、引导程序获取、工作负载配置及安装启动步骤,确保用户正确安装开发环境。

    Visual Studio2017调试附加到进程,附加运行中程序
    Visual Studio2017调试附加到进程,附加运行中程序

    学习在 Visual Studio 2017 中通过“附加到进程”功能调试正在运行的应用程序。了解如何正确选择进程实例、配置调试类型,并解决因符号文件或源码不匹配导致的断点失效问题。

    Visual Studio2019禁用IDE后台自动代码扫描提升速度
    Visual Studio2019禁用IDE后台自动代码扫描提升速度

    针对 Visual Studio 2019 编辑大型项目时的卡顿问题,提供分语言关闭后台代码分析的具体步骤,包括 C#/VB 的分析范围设置、C++ 的后台分析禁用选项以及 .NET Framework 的项目文件配置方法。

    Visual Studio2017解决方案资源管理器窗口不见了找回办法
    Visual Studio2017解决方案资源管理器窗口不见了找回办法

    Visual Studio 2017 解决方案资源管理器不见了怎么办?通过快捷键 Ctrl+Alt+L、视图菜单或重置窗口布局即可快速恢复。本文详解各种场景下的找回技巧及注意事项。

    Visual Studio2022代码注释插件管理与卸载方法
    Visual Studio2022代码注释插件管理与卸载方法

    详细指南:如何在 Visual Studio 2022 中安全卸载代码注释扩展。涵盖打开扩展管理器、区分禁用与卸载、处理待处理更改及确认卸载结果的操作步骤。

    Visual Studio2022重置IDE全部设置恢复默认界面
    Visual Studio2022重置IDE全部设置恢复默认界面

    当 Visual Studio 2022 的界面布局或编辑器设置混乱时,可通过内置向导一键重置所有设置。本文详解操作步骤,涵盖是否备份现有配置的选择逻辑及默认集合的选取方法,确保用户能安全、高效地恢复初始开发环境。

    Visual Studio2019编辑器代码折叠区域自定义设置
    Visual Studio2019编辑器代码折叠区域自定义设置

    掌握 Visual Studio 2019 的代码折叠功能,包括使用 Ctrl+M 快捷键切换视图、通过 #region 配对创建自定义折叠块,以及调整可折叠区域的高亮颜色,帮助开发者更高效地浏览和管理大型代码文件。

    Visual Studio2017C++静态库项目引用配置实操
    Visual Studio2017C++静态库项目引用配置实操

    针对 Visual Studio 2017 C++ 开发,讲解如何正确引用静态库。涵盖同解决方案项目引用添加方法,以及外部 .lib 文件的包含目录、库目录和链接器输入配置步骤,帮助开发者避免头文件缺失或链接失败问题。

    查看更多
    精品专题 更多
    装机必备
    装机必备

    正软商城装机必备专区,精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件,帮助用户快速完成新电脑软件配置。

    Windows
    Windows

    正软商城Windows软件专区,汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件,提供软件介绍、系统要求、正版授权及购买下载服务。

    PDF教程
    PDF教程

    正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法,同时介绍常用PDF软件和工具的使用技巧。

    Mac软件 更多
    讯飞智作 网页版
    讯飞智作 网页版
    Windows/ macOS/ Linux

    讯飞智作是一款基于语音合成技术、虚拟人驱动技术与数字人形象声音构建能力的 AI 数字人音视频创作平台。

    火山引擎 网页版
    火山引擎 网页版
    Windows/ macOS/ Linux

    火山引擎是字节跳动旗下企业级云与AI服务平台。聚焦大模型核心能力,依托字节自研豆包多模态大模型,凭借火山方舟一站式平台,提供模型精调、推理部署、智能应用搭建等全链路服务,结合高性能AI算力,助力各行业快速落地大模型数字化与智能化应用。

    Aperty macOS版
    Aperty macOS版
    macOS

    Aperty 是 Skylum 推出的 AI 人像修图软件,支持自然肤质修饰、瑕疵处理、面部与身体调整、预设及批量同步。

    WINDOWS 更多
    讯飞智作 网页版
    讯飞智作 网页版
    Windows/ macOS/ Linux

    讯飞智作是一款基于语音合成技术、虚拟人驱动技术与数字人形象声音构建能力的 AI 数字人音视频创作平台。

    火山引擎 网页版
    火山引擎 网页版
    Windows/ macOS/ Linux

    火山引擎是字节跳动旗下企业级云与AI服务平台。聚焦大模型核心能力,依托字节自研豆包多模态大模型,凭借火山方舟一站式平台,提供模型精调、推理部署、智能应用搭建等全链路服务,结合高性能AI算力,助力各行业快速落地大模型数字化与智能化应用。

    PixTV 网页版
    PixTV 网页版
    Windows

    PixTV 是一款在浏览器中使用的 AI 视觉内容创作平台,提供图片、视频、音频、文字生成、AI 分镜、局部重绘、提示词反推和无限画布等工具,适合短剧、漫剧、广告及社交媒体内容制作。