首页 > 后端开发 > C++ > 正文

c++怎么用std::atomic_flag实现一个自旋锁_C++无锁编程与原子操作实践

冰火之心
发布: 2025-11-15 18:14:02
原创
455人浏览过
自旋锁是一种线程持续循环等待锁释放的同步机制,适用于短临界区;通过std::atomic_flag的test_and_set与clear操作可实现无锁自旋锁,配合memory_order_acquire/release保证内存可见性,使用时需避免重入并考虑yield降低CPU占用。

c++怎么用std::atomic_flag实现一个自旋锁_c++无锁编程与原子操作实践

在C++中,std::atomic_flag 是最轻量级的原子类型,它只支持两个操作:test_and_set() 和 clear()。由于它天生保证无锁(lock-free),非常适合用来实现一个简单的自旋锁(spinlock)。

什么是自旋锁?

自旋锁是一种同步机制,当一个线程尝试获取已被占用的锁时,它不会进入睡眠状态,而是持续循环检查(“自旋”),直到锁被释放。适用于临界区很短、竞争不激烈的场景。

使用 std::atomic_flag 实现自旋锁

std::atomic_flag 初始状态为 clear(false),调用 test_and_set 会原子地将其设为 true 并返回旧值。我们可以利用这个特性构建一个不可重入的自旋锁。

以下是一个基于 std::atomic_flag 的自旋锁实现:

#include <atomic>
#include <thread>
#include <iostream>

class spinlock {
    std::atomic_flag flag = ATOMIC_FLAG_INIT; // 初始化为 false

public:
    void lock() {
        while (flag.test_and_set(std::memory_order_acquire)) {
            // 自旋等待
            // 可加入 std::this_thread::yield() 减少CPU占用
        }
    }

    void unlock() {
        flag.clear(std::memory_order_release);
    }
};
登录后复制

关键点说明

  • ATOMIC_FLAG_INIT:确保 atomic_flag 初始化为清除状态(未加锁)。
  • test_and_set():原子操作,若标志为 false,则设为 true 并返回 false(表示获取成功);否则返回 true(需继续等待)。
  • memory_order_acquire:用于 lock,保证后续内存访问不会被重排到此操作之前。
  • memory_order_release:用于 unlock,保证此前的内存写入对其他获取该锁的线程可见。

使用示例

下面展示如何在多线程环境中使用这个自旋锁保护共享资源:

一键职达
一键职达

AI全自动批量代投简历软件,自动浏览招聘网站从海量职位中用AI匹配职位并完成投递的全自动操作,真正实现'一键职达'的便捷体验。

一键职达 79
查看详情 一键职达

立即学习C++免费学习笔记(深入)”;

spinlock mtx;
int shared_data = 0;

void worker() {
    for (int i = 0; i < 1000; ++i) {
        mtx.lock();
        ++shared_data;  // 临界区
        mtx.unlock();
    }
}

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

    t1.join();
    t2.join();

    std::cout << "shared_data: " << shared_data << '\n';
    return 0;
}
登录后复制

注意事项与优化建议

  • 自旋锁会持续占用CPU,长时间持有或高竞争下性能较差,应避免在临界区做耗时操作。
  • 可考虑在自旋循环中加入 std::this_thread::yield(),提示调度器让出时间片,减少资源浪费:

while (flag.test_and_set(std::memory_order_acquire)) {
    std::this_thread::yield(); // 提高系统响应性
}
登录后复制

  • 该锁不可重入:同一线程重复调用 lock() 会导致死锁。
  • 适用于低竞争、短临界区场景,如无锁数据结构中的小段同步。

基本上就这些。std::atomic_flag 提供了最基础但高效的原子操作支持,是实现自旋锁的理想选择。虽然功能简单,但在正确的场景下非常有用。不复杂但容易忽略细节,比如内存序和 yield 的使用。

以上就是c++++怎么用std::atomic_flag实现一个自旋锁_C++无锁编程与原子操作实践的详细内容,更多请关注php中文网其它相关文章!

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载
来源:php中文网
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
最新问题
开源免费商场系统广告
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新 English
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送
PHP中文网APP
随时随地碎片化学习

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号