RError.com

RError.com Logo RError.com Logo

RError.com Navigation

  • 主页

Mobile menu

Close
  • 主页
  • 系统&网络
    • 热门问题
    • 最新问题
    • 标签
  • Ubuntu
    • 热门问题
    • 最新问题
    • 标签
  • 帮助
主页 / 问题 / 1441411
Accepted
Denver Toha
Denver Toha
Asked:2022-08-22 01:21:27 +0000 UTC2022-08-22 01:21:27 +0000 UTC 2022-08-22 01:21:27 +0000 UTC

原子写入和读取操作与加载/存储操作有何不同?

  • 772

原子写入和读取操作与加载/存储操作有何不同?我一直认为这是同一件事,但现在我有点困惑。

在查看了在标准原子上实现自旋锁的示例后,我感到困惑

struct tas_lock {
  std::atomic<bool> lock_ = {false};

  void lock() { while(lock_.exchange(true, std::memory_order_acquire)); }

  void unlock() { lock_.store(false, std::memory_order_release); }
};

文件说,这就是混乱所在

memory_order_acquire 具有此内存顺序的加载操作对受影响的内存位置执行获取操作:在此加载之前,当前线程中的任何读取或写入都不能重新排序。释放相同原子变量的其他线程中的所有写入在当前线程中可见(请参阅下面的 Release-Acquire 顺序)

我的意思是,获取是一个加载操作(在我对阅读的理解中),它保证了原子性并且任何读写操作都不会在它之前重新排序。

memory_order_release 具有此内存顺序的存储操作执行释放操作:当前线程中的任何读取或写入都不能在此存储之后重新排序。当前线程中的所有写入在获取相同原子变量的其他线程中可见(请参阅下面的 Release-Acquire 排序),并且将依赖项携带到原子变量中的写入在消耗相同原子的其他线程中变得可见(请参阅 Release-Consume下面订购)。

一个解除分配操作,以确保没有读/写操作可以在它之后重新排序。

但是在上面的例子中,写操作是用asquire保证的(在我的理解中,交换是读+写)

while(lock_.exchange(true, std::memory_order_acquire));

鉴于上述情况,加载/释放和读/写的概念不是一回事,它们有何不同?

PS:描述 std::atomic_flag 的文档中的措辞也具有误导性

std::atomic_flag 是一个原子布尔类型。与 std::atomic 的所有特化不同,它保证是无锁的。与 std::atomic 不同,std::atomic_flag 不提供加载或存储操作。

这里写到 atomic_flag 不提供加载/存储操作,当使用 asq / release 保证的相同文档的示例中描述类似的自旋锁时,这不是很清楚这意味着什么

c++ многопоточность
  • 1 1 个回答
  • 68 Views

1 个回答

  • Voted
  1. Best Answer
    HolyBlackCat
    2022-08-22T03:02:53Z2022-08-22T03:02:53Z

    原子写入和读取操作与加载/存储操作有何不同?

    没什么,都是一样的。

    但是上面的例子使用了带有 asquire 保证的写操作

    .exchange()不仅仅是写,它既是读又是写(“读-修改-写操作”)。

    他们可以使用任何顺序:至少,release至少acquire,至少同时acq_rel。

    它在这里说 atomic_flag 不提供加载/存储操作

    它实际上没有任何方法.load(),并且.store()取而代之的是更模糊的东西。

    C++20 添加了.test(),它本质上替换了.load(),但.store()不仅仅是.clear()(类似于.store(false))和.test_and_set()(类似于.exchange(true))。

    • 7

相关问题

Sidebar

Stats

  • 问题 10021
  • Answers 30001
  • 最佳答案 8000
  • 用户 6900
  • 常问
  • 回答
  • Marko Smith

    我看不懂措辞

    • 1 个回答
  • Marko Smith

    请求的模块“del”不提供名为“default”的导出

    • 3 个回答
  • Marko Smith

    "!+tab" 在 HTML 的 vs 代码中不起作用

    • 5 个回答
  • Marko Smith

    我正在尝试解决“猜词”的问题。Python

    • 2 个回答
  • Marko Smith

    可以使用哪些命令将当前指针移动到指定的提交而不更改工作目录中的文件?

    • 1 个回答
  • Marko Smith

    Python解析野莓

    • 1 个回答
  • Marko Smith

    问题:“警告:检查最新版本的 pip 时出错。”

    • 2 个回答
  • Marko Smith

    帮助编写一个用值填充变量的循环。解决这个问题

    • 2 个回答
  • Marko Smith

    尽管依赖数组为空,但在渲染上调用了 2 次 useEffect

    • 2 个回答
  • Marko Smith

    数据不通过 Telegram.WebApp.sendData 发送

    • 1 个回答
  • Martin Hope
    Alexandr_TT 2020年新年大赛! 2020-12-20 18:20:21 +0000 UTC
  • Martin Hope
    Alexandr_TT 圣诞树动画 2020-12-23 00:38:08 +0000 UTC
  • Martin Hope
    Air 究竟是什么标识了网站访问者? 2020-11-03 15:49:20 +0000 UTC
  • Martin Hope
    Qwertiy 号码显示 9223372036854775807 2020-07-11 18:16:49 +0000 UTC
  • Martin Hope
    user216109 如何为黑客设下陷阱,或充分击退攻击? 2020-05-10 02:22:52 +0000 UTC
  • Martin Hope
    Qwertiy 并变成3个无穷大 2020-11-06 07:15:57 +0000 UTC
  • Martin Hope
    koks_rs 什么是样板代码? 2020-10-27 15:43:19 +0000 UTC
  • Martin Hope
    Sirop4ik 向 git 提交发布的正确方法是什么? 2020-10-05 00:02:00 +0000 UTC
  • Martin Hope
    faoxis 为什么在这么多示例中函数都称为 foo? 2020-08-15 04:42:49 +0000 UTC
  • Martin Hope
    Pavel Mayorov 如何从事件或回调函数中返回值?或者至少等他们完成。 2020-08-11 16:49:28 +0000 UTC

热门标签

javascript python java php c# c++ html android jquery mysql

Explore

  • 主页
  • 问题
    • 热门问题
    • 最新问题
  • 标签
  • 帮助

Footer

RError.com

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

帮助

© 2023 RError.com All Rights Reserve   沪ICP备12040472号-5