V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
牛客网
amiwrong123
V2EX  ›  C++

C++的 std atomic 有捎带同步的效果吗?

  •  
  •   amiwrong123 · 52 天前 · 836 次点击
    这是一个创建于 52 天前的主题,其中的信息可能已经有所发展或是发生改变。

    https://www.cnblogs.com/zhao-zongsheng/p/9092520.html

    atomic 可以保证对 atomic 变量的可见性。但想知道,一个线程先修改了 一个普通变量,再修改了 一个 atomic 变量,是否也可以保证 别的线程可见这个普通变量的修改?

    6 条回复    2020-09-03 15:24:02 +08:00
    teawithlife
        1
    teawithlife   52 天前
    atomic 没有保证“可见性”这一说法,保证的是操作的原子性
    另外文章中已经多次提到,在保证输入输出一致的情况下,C++编译器可以自行优化语句的执行顺序,因此你说的 atomic 变量和普通变量,哪个先改变是无法保证的,所以无法实现你说的“同步”效果
    sryanyuan
        2
    sryanyuan   52 天前
    需要依赖对应原子变量。

    需要在线程 1 中使用 memory_order_release 来写原子变量,线程 2 中对于对应的原子变量使用 acquire,假设发现变更了,则即可对线程 1 中修改的普通变量可见
    Akiyu
        3
    Akiyu   52 天前
    看起来你说的是 memory order.
    https://en.cppreference.com/w/cpp/atomic/memory_order
    https://gcc.gnu.org/wiki/Atomic/GCCMM/AtomicSync

    你不指定任何参数, 默认类型为 Sequentially Consistent . 无论是普通变量, 还是 atomic 类型都是同步的. 这无需担心.
    fakeshadow
        4
    fakeshadow   52 天前
    原子操作的顺序可以控制内存顺序 /屏障。如果一致性要求高并且不熟悉原子操作请尽量使用 seqcst 。
    Akiyu
        5
    Akiyu   52 天前
    dangyuluo
        6
    dangyuluo   52 天前
    这不就是我前段时间纠结过的 Memory order 么😂
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   4720 人在线   最高记录 5168   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 19ms · UTC 03:19 · PVG 11:19 · LAX 20:19 · JFK 23:19
    ♥ Do have faith in what you're doing.