草庐IT

c++ - 可以重新排序的语句

coder 2024-02-09 原文

假设我们有以下三个代码片段:

  1. // both a and b are non-volatile ints
a = 123;
b = 456;

  2. // both a and b are non-volatile ints
a = rand();
b = rand();

  3. cout << "foo" << endl;
cout << "bar" << endl;

据我所知，(1) 中的语句可以由编译器重新排序，而 (2)(3) 中的语句不能，因为这会改变程序的可观察行为。

但是编译器如何知道当事情不是那么“明显”依赖时不能重新排序(像 ++a; b = a * 2; 显然是相关的)，如(2)(3)？例如，也许像非 constexpr 函数调用这样的某些事情会阻止重新排序......？

最佳答案

管理重新排序(和一般优化)的唯一标准规则是“好像”规则，这意味着编译器可以做任何它喜欢的事情，如果它确定最终结果是相同的，并且标准不会'不要挡路。然而，当我们达到那个级别时，编译器可能不再在 C++ 源代码级别上运行:它可能正在处理一种中间形式，并且在语句中思考实际上可能无法最好地反射(reflect)正在发生的事情。

例如，在你的第二个例子中:

// both a and b are non-volatile ints
a = rand();
b = rand();

编译器可以调用 rand 两次并将第二次 rand 调用的结果存储到 b，然后再存储第一次 的结果>rand 调用 a。换句话说，分配已经重新排序，但调用没有。这是可能的，因为编译器优化了比 C++ 更细粒度的程序表示。

各种编译器使用各种技巧来确定两个中间表示指令是否可以重新排序，但大多数情况下，函数调用是无法重新排序的不可逾越的障碍。特别是，对外部库(如 rand)的调用甚至无法分析并且肯定不会重新排序，因为编译器会更喜欢保守但已知正确的方法。

事实上，函数调用只有在编译器确定它们不能相互干扰时才能重新排序。编译器试图通过别名分析来解决这个问题。这个想法是超越值依赖(例如，在 a * b + c 中，+ 操作取决于 a * b 的结果因此 a * b 必须先发生)，排序(几乎)仅在您在某处写入并稍后从那里读回时才重要。这意味着，如果您可以正确识别每个内存操作及其影响，则可以确定两个内存操作是否可以重新排序，甚至完全消除。出于这些目的，一个调用被认为是一个大内存操作，包含它所做的所有较小的加载和存储。

不幸的是，众所周知，别名分析的一般情况是不可计算的。虽然编译器变得越来越聪明，但您可能永远不会拥有一个能够系统地对调用重新排序做出最佳决策的编译器，即使您拥有链接所针对的所有源代码也是如此。

一些编译器具有特定于它们自己的属性，这些属性决定了它们是否应该考虑函数重新排序是安全的，而不管它们自己的分析如何。例如，如果 gcc 认为这会提高性能，它会很高兴地重新排序、缓存甚至消除带有 [[gnu::pure]] 属性的函数调用。

关于c++ - 可以重新排序的语句，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/38064071/

amp43codesection的c++

有关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 - 使用 Vim Rails，您可以创建一个新的迁移文件并一次性打开它吗？ - 2

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

  3. 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

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

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

  5. 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

  6. 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

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

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

  8. ruby - 有人可以帮助解释类创建的 post_initialize 回调吗 (Sandi Metz) - 2

    我正在阅读SandiMetz的POODR，并且遇到了一个我不太了解的编码原则。这是代码:classBicycleattr_reader:size,:chain,:tire_sizedefinitialize(args={})@size=args[:size]||1@chain=args[:chain]||2@tire_size=args[:tire_size]||3post_initialize(args)endendclassMountainBike此代码将为其各自的属性输出1,2,3,4,5。我不明白的是查找方法。当一辆山地自行车被实例化时，因为它没有自己的initialize方法

  9. ruby - 是否可以覆盖 gemfile 进行本地开发？ - 2

    我们的git存储库中目前有一个Gemfile。但是，有一个gem我只在我的环境中本地使用(我的团队不使用它)。为了使用它，我必须将它添加到我们的Gemfile中，但每次我checkout到我们的master/dev主分支时，由于与跟踪的gemfile冲突，我必须删除它。我想要的是类似Gemfile.local的东西，它将继承从Gemfile导入的gems，但也允许在那里导入新的gems以供使用只有我的机器。此文件将在.gitignore中被忽略。这可能吗？ 最佳答案 设置BUNDLE_GEMFILE环境变量:BUNDLE_GEMFI

  10. ruby - 我可以将我的 README.textile 以正确的格式放入我的 RDoc 中吗？ - 2

    我喜欢使用Textile或Markdown为我的项目编写自述文件，但是当我生成RDoc时，自述文件被解释为RDoc并且看起来非常糟糕。有没有办法让RDoc通过RedCloth或BlueCloth而不是它自己的格式化程序运行文件？它可以配置为自动检测文件后缀的格式吗？(例如README.textile通过RedCloth运行，但README.mdown通过BlueCloth运行) 最佳答案 使用YARD直接代替RDoc将允许您包含Textile或Markdown文件，只要它们的文件后缀是合理的。我经常使用类似于以下Rake任务的东西:

随机推荐