jjzjj

c++ - 加载或存储可以在有条件之前重新排序吗？

coder 2024-02-22 原文 

std::atomic_uint64_t writing_ {0};
std::atomic_uint64_t reading_ {0};
std::array<type, size> storage_ {};

bool try_enqueue(type t) noexcept
{
    const std::uint64_t writing {
        writing_.load(std::memory_order::memory_order_relaxed)};
    const auto last_read {reading_.load(std::memory_order::memory_order_relaxed)};
    if (writing - last_read < size) {
        storage_.at(writing & (size - 1)) = t;
        writing_.store(writing + 1, std::memory_order::memory_order_release);

        return true;
    }
    else
        return false;
}

在上面的代码中，据我了解，如果条件评估为假，则任何线程都不可能观察到对共享存储的写入。一个操作不能被认为是在它排序之后的条件之前发生的，这是否正确？还是我完全误读了这一点，这样的事情实际上可能会发生(可能通过推测执行？)？

更具体一点，处理器是否可以推测性地执行写入(当条件最终评估为 false 时)，另一个线程观察到写入已经发生，然后然后第一个线程丢弃推测性的写？

(注意:这是单生产者单消费者)

最佳答案

Is it correct that an operation cannot be perceived as having occurred before a conditional it is sequenced after?

C++ 编译器绝对不允许发明写入atomic(或volatile)对象。

编译器甚至不允许发明对非原子对象的写入(例如，将条件写入转换为读取 + cmov + 写入)，因为 C++11 引入了一种内存模型，该模型明确定义了两个线程运行同时编写这样的代码，只要其中最多一个 实际上 写入(然后读取顺序)。但是两个非原子 RMW 可能会相互踩踏，所以不要“好像”C++ 抽象机正在运行源代码一样工作，因此编译器发出执行此操作的 asm 不是一个选项。

但如果编译器知道一个对象总是被写入，它几乎可以做任何它想做的事，因为合法的程序无法观察到差异:这将涉及数据争用 UB。

A little more specifically, could the processor speculatively execute the write (when the condition will eventually evaluate to false), another thread observe the write as having occurred, and then the first thread discarding the speculative write?

不，推测无法逃脱进行推测的核心。否则，当检测到错误推测时，所有核心都必须回滚其状态!

这是存在存储缓冲区的主要原因之一:将存储的 OoO 推测执行从提交解耦到 L1d 缓存(这是存储变得全局可见时到其他核心)。并将执行与缓存未命中存储分离，这甚至在有序的非推测 CPU 上也很有用。

直到存储指令从无序核心退出(即已知是非推测性的)之后，存储才提交给 L1d。尚未提交的退役存储有时被称为“已毕业”，以将它们与其他存储缓冲区条目区分开来，如果核心需要回滚到退役状态，这些条目可能会被丢弃。

这允许硬件推测执行而无需发明写入。

(另请参阅 Can a speculatively executed CPU branch contain opcodes that access RAM? 以获取更多详细信息。有趣的事实:一些 CPU，特别是 PowerPC，可以在同一物理内核上的 SMT 线程之间执行分级存储的存储转发，使存储在某些内核成为 globally 可见。但仅限于分级商店，否则可能的错误猜测可能会泄露。)

在 C++ 中，std::mo_release 存储强制编译器使用足够的屏障或发布存储指令(例如，x86 上的普通 mov 是发布存储，或 AArch64 上的 STLr 是顺序发布存储)。或者任何其他机制来确保 asm 保证运行时排序至少与 C++ 抽象机保证一样强。

C++ 根据前序/后序而非障碍来定义其标准，但在任何给定的平台实现上/ABI 对从 std::atomic 操作到 asm 序列的某些映射进行了标准化。 (例如 https://www.cl.cam.ac.uk/~pes20/cpp/cpp0xmappings.html)

关于c++ - 加载或存储可以在有条件之前重新排序吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/57937532/

amp43推测codesectionc++concurrencylanguage-lawyercpu-architecturelock-free

有关c++ - 加载或存储可以在有条件之前重新排序吗？的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  3. ruby - 使用 Vim Rails，您可以创建一个新的迁移文件并一次性打开它吗？ - 2

    使用带有Rails插件的vim，您可以创建一个迁移文件，然后一次性打开该文件吗？textmate也可以这样吗？ 最佳答案 你可以使用rails.vim然后做类似的事情::Rgeneratemigratonadd_foo_to_bar插件将打开迁移生成的文件，这正是您想要的。我不能代表textmate。 关于ruby-使用VimRails，您可以创建一个新的迁移文件并一次性打开它吗？，我们在StackOverflow上找到一个类似的问题： https://sta

  4. ruby - 我可以使用 Ruby 从 CSV 中删除列吗？ - 2

    查看Ruby的CSV库的文档，我非常确定这是可能且简单的。我只需要使用Ruby删除CSV文件的前三列，但我没有成功运行它。 最佳答案 csv_table=CSV.read(file_path_in,:headers=>true)csv_table.delete("header_name")csv_table.to_csv#=>ThenewCSVinstringformat检查CSV::Table文档:http://ruby-doc.org/stdlib-1.9.2/libdoc/csv/rdoc/CSV/Table.html

  5. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  6. ruby - 如何在续集中重新加载表模式？ - 2

    鉴于我有以下迁移:Sequel.migrationdoupdoalter_table:usersdoadd_column:is_admin,:default=>falseend#SequelrunsaDESCRIBEtablestatement,whenthemodelisloaded.#Atthispoint,itdoesnotknowthatusershaveais_adminflag.#Soitfails.@user=User.find(:email=>"admin@fancy-startup.example")@user.is_admin=true@user.save!ende

  7. ruby-on-rails - active_admin 目录中的常量警告重新声明 - 2

    我正在使用active_admin，我在Rails3应用程序的应用程序中有一个目录管理，其中包含模型和页面的声明。时不时地我也有一个类，当那个类有一个常量时，就像这样:classFooBAR="bar"end然后，我在每个必须在我的Rails应用程序中重新加载一些代码的请求中收到此警告:/Users/pupeno/helloworld/app/admin/billing.rb:12:warning:alreadyinitializedconstantBAR知道发生了什么以及如何避免这些警告吗？ 最佳答案 在纯Ruby中:classA

  8. ruby - 我可以使用 aws-sdk-ruby 在 AWS S3 上使用事务性文件删除/上传吗？ - 2

    我发现ActiveRecord::Base.transaction在复杂方法中非常有效。我想知道是否可以在如下事务中从AWSS3上传/删除文件:S3Object.transactiondo#writeintofiles#raiseanexceptionend引发异常后，每个操作都应在S3上回滚。S3Object这可能吗？？ 最佳答案 虽然S3API具有批量删除功能，但它不支持事务，因为每个删除操作都可以独立于其他操作成功/失败。该API不提供任何批量上传功能(通过PUT或POST)，因此每个上传操作都是通过一个独立的API调用完成的

  9. ruby - RuntimeError(自动加载常量 Apps 多线程时检测到循环依赖 - 2

    我收到这个错误:RuntimeError(自动加载常量Apps时检测到循环依赖当我使用多线程时。下面是我的代码。为什么会这样？我尝试多线程的原因是因为我正在编写一个HTML抓取应用程序。对Nokogiri::HTML(open())的调用是一个同步阻塞调用，需要1秒才能返回，我有100,000多个页面要访问，所以我试图运行多个线程来解决这个问题。有更好的方法吗？classToolsController0)app.website=array.join(',')putsapp.websiteelseapp.website="NONE"endapp.saveapps=Apps.order("

  10. ruby - 如何在 Rails 4 中使用表单对象之前的验证回调？ - 2

    我有一个服务模型/表及其注册表。在表单中，我几乎拥有服务的所有字段，但我想在验证服务对象之前自动设置其中一些值。示例:--服务Controller#创建Action:defcreate@service=Service.new@service_form=ServiceFormObject.new(@service)@service_form.validate(params[:service_form_object])and@service_form.saverespond_with(@service_form,location:admin_services_path)end在验证@ser

随机推荐