草庐IT

c++ - 如何通过源代码中的执行策略检测C++ 17扩展内存管理算法的可用性？

coder 2024-02-04 原文

P0040R3(adopted 2016-06，另请参见N4603)在草案中引入了一些扩展的内存管理算法，例如std::uninitialized_move_n，最终成为ISO C++ 17的一部分。其中一些具有ExecutionPolicy参数的额外重载，以潜在地支持并行性。

但是，截至目前(2018年8月)，我还没有找到这些重载实现附带的任何标准库实现。我检查过的实现文档并没有很好地阐明它。具体来说，(当前)它们是:

  • libstdc++显示它不支持中继中的P0040R3，但实际上至少在GCC 8.2中，std::destroy_at和不含std::uninitialized_move_n的ExecutionPolicy。
    • 从4.0开始，
  • libc++对P0040R3具有“完全”支持，但是ExecutionPolicy的重载实际上是缺失的。
    • 自VS 2017 15.3起，
  • Microsoft VC++支持带有/std:c++17或/std:c++latest的P0040R3，但实际上缺少ExecutionPolicy的重载。

    • 我知道的唯一带有ExecutionPolicy重载的实现是在HPX中，但这不是标准库的完整实现。如果要便携式使用这些功能，则必须同样适应自定义实现，而不是直接使用std名称。但是我仍然希望将来使用std实现作为首选项(除非它们有已知的错误)。 (原因是，实现定义的执行策略与具体的实现紧密结合，因此，外部实现及其客户代码一般来说，利用各种执行策略的机会会更少；尽管对于客户代码而言，这不一定是正确的。因此，我希望可以在我的适用的适应性自适应层中有条件地包含一些内容，以用于实现-在标准库提供它们时用using std::...获得指定的功能，并用我的功能对其进行补充仅在必要时才将实现作为标准库实现中缺少的部分的后备。

    如我所知，SD-6 feature testing macros和P0941R2显示__cpp_lib_raw_memory_algorithms足以满足P0040R3中的功能。另一方面，__cpp_lib_parallel_algorithm似乎与<memory>根本无关。因此，无法像当前的libc++和MSVC实现那样表达状态-使用P0040R3中的std名称，但缺少ExecutionPolicy重载。而且我不确定__has_include<execution>是否能正常工作。现实可能更怪异，例如P0336R1甚至是not supported by libc++。

    因此，当功能(希望)在某些较新版本的标准库实现中可用时，如何使这些功能完美地移植到我的代码中，而不是检查每个版本的源代码，或者彻底重塑整个P0040R3的外观？

    编辑:

    我知道功能测试宏的预期用途，并且我认为libstdc++做对了。但是，仍有改进的空间。更具体地说，我的可移植层代码将扮演实现的角色(如HPX)，但在标准库实现已提供轮子的情况下，它们的意义就更轻巧，而不是重新发明轮子:
    namespace my
{
#if ???
//#if __cpp_lib_raw_memory_algorithms
using std::uninitialized_move_n;
// XXX: Is this sufficient???
#else
// ... wheels here ... not expected to be more efficient to std counterparts in general
#endif
}

    所以我的客户代码可以是:
    my::uninitialized_move_n(???::par, iter, size, d_iter);

    而不是(摘自Barry的回答):
    #if __cpp_lib_raw_memory_algorithms
std::uninitialized_move_n(std::execution::par, iter, size, d_iter);
#else
// ???
#endif

    这两段代码都可以工作，但是显然直接在客户端代码中的任何地方检查__cpp_lib_raw_memory_algorithms的成本更高。

    理想情况下，我应该拥有一些完整的最新标准库实现，但是并非总是可以保证的(特别是在将标准库作为系统库的一部分安装的环境中使用)。无论如何，我需要进行调整以减轻客户的工作负担。

    回退很明显:完全避免using std::uninitialized_move_n;路径。恐怕这将是一个悲观的实现，因此我想在可能的情况下避免这种方法。

    第二次更新:

    由于“完全可移植”的听起来还不清楚，因此我在上面的编辑中举例说明了一些代码。尽管问题没有改变，但标题仍然涵盖，但在此我将使其更加具体。

    我想在问题中使用的“完全可移植”的方式受到限制，因为在给定类似上面的代码的情况下，它填充了???中标记的任何部分，而不依赖于任何特定版本的语言实现(例如，像宏名称之类的东西都不依赖于实现应该用于此目的)。

    有关代码示例不符合条件的信息，请参见here和here。 (好吧，这些版本是通过检查提交日志来找出的……肯定是不完美的，在某些情况下还是有漏洞的。)请注意，这与ExecutionPolicy的重载无关，因为在提到的标准库实现中缺少它们，而我的下一个 Action 取决于此问题的解决方案。 (但是std中名称的 future 应该很清楚。)

    完美(足够)的解决方案可以是，例如，添加一个新的功能测试宏以使重载独立于__cpp_lib_raw_memory_algorithms，因此将来，当独立的new不能检测到重载时，我可以使用ExecutionPolicy添加我的重载实现功能测试宏，而无需再次弄乱#if的条件。但是我当然不能保证这种方式是可行的。这最终取决于委员会和供应商的决定。

    我不确定是否可以有其他指示。

    最佳答案

    P0941的初始版本包含一个表格，该表格清楚地表明P0040R3具有相应的功能测试宏__cpp_lib_raw_memory_algorithms。这意味着编写代码以有条件地使用此功能的正确，可移植的方式是:

    #if __cpp_lib_raw_memory_algorithms
std::uninitialized_move_n(std::execution::par, iter, size, d_iter);
#else
// ???
#endif

    所强加的要求是，如果定义了该宏，则该功能将存在并执行标准所规定的功能。但是，没有定义的宏实际上并没有说什么。如您所指出的那样，P0040R3的某些部分是在libstdc++中实现的-部分但不是全部，这就是为什么未定义功能测试宏的原因。

    当前，人们正在齐心协力在libstdc++中实现并行算法。

    至于在#else分支中该做什么，那么……您有点自己。

    关于c++ - 如何通过源代码中的执行策略检测C++ 17扩展内存管理算法的可用性？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/51866309/

    amp43codenoreferrernoopenerc++c++17

    有关c++ - 如何通过源代码中的执行策略检测C++ 17扩展内存管理算法的可用性？的更多相关文章

    1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

      我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

    2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

      总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

    3. ruby - 其他文件中的 Rake 任务 - 2

      我试图在一个项目中使用rake，如果我把所有东西都放到Rakefile中，它会很大并且很难读取/找到东西，所以我试着将每个命名空间放在lib/rake中它自己的文件中，我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题，但没有任务。我现在只有一个.rake文件作为测试，名为“servers.rake”，它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时

    4. ruby-on-rails - Ruby net/ldap 模块中的内存泄漏 - 2

      作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代

    5. ruby - i18n Assets 管理/翻译 UI - 2

      我正在使用i18n从头开始​​构建一个多语言网络应用程序，虽然我自己可以处理一大堆yml文件，但我说的语言(非常)有限，最终我想寻求外部帮助帮助。我想知道这里是否有人在使用UI插件/gem(与django上的django-rosetta不同)来处理多个翻译器，其中一些翻译器不愿意或无法处理存储库中的100多个文件，处理语言数据。谢谢&问候，安德拉斯(如果您已经在ruby​​onrails-talk上遇到了这个问题，我们深表歉意) 最佳答案 有一个rails3branchofthetolkgem在github上。您可以通过在Gemfi

    6. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声？ - 2

      关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。

    7. ruby-on-rails - Rails 3 中的多个路由文件 - 2

      Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情？ 最佳答案 在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中，使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件，我们在StackOverflow上找到一个类似的问题

    8. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

      给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

    9. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

      我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t

    10. ruby - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2

      我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

    随机推荐