考虑下面的 C++ 11 代码段。对于 GCC 和 clang，这编译为两个(顺序一致的)foo 负载。 (编者注:编译器不优化原子，请参阅 this Q&A 了解更多详细信息，尤其是 http://wg21.link/n4455 标准讨论关于这可能产生的问题，该标准没有为程序员提供解决工具。这个语言律师问答是关于当前标准，而不是编译器所做的。)
C++ 内存模型是否允许编译器将这两个加载合并为一个加载并为 x 和 y 使用相同的值？
(编者注:这是标准组正在研究的内容:http://wg21.link/n4455 和 http://wg21.link/p0062。当前纸上标准允许不受欢迎的行为。)
我认为它无法合并这些负载，因为这意味着轮询原子不再起作用，但我在内存模型文档中找不到相关部分。
#include <atomic>
#include <cstdio>
std::atomic<int> foo;
int main(int argc, char **argv)
{
int x = foo;
int y = foo;
printf("%d %d\n", x, y);
return 0;
}
最佳答案
允许实现将您的代码段转换为以下代码(伪实现)。
int __loaded_foo = foo;
int x = __loaded_foo;
int y = __loaded_foo;
原因是您无法观察到上述差异，并且在保证顺序一致性的情况下，两个单独的 foo 加载。
Note: It is not just the compiler that can make such an optimization, the processor can simply reason that there is no way in which you can observe the difference and load the value of
fooonce — even though the compiler might have asked it to do it twice.
给定一个以增量方式不断更新 foo 的线程，您可以保证 y与 x 的内容相比，将具有相同的或稍后写入的值.
// thread 1 - The Writer
while (true) {
foo += 1;
}
// thread 2 - The Reader
while (true) {
int x = foo;
int y = foo;
assert (y >= x); // will never fire, unless UB (foo has reached max value)
}
想象编写线程由于某种原因在每次迭代时暂停其执行(因为 context-switch 或其他实现定义的原因)；您无法证明这是导致这两个 x 的原因。和 y具有相同的值，或者是因为“合并优化”。
换句话说，我们必须给定本节中的代码的潜在结果:
x == y) 之间没有向 foo 写入新值。x < y) 之间将新值写入 foo。由于这两种情况中的任何一种都可能发生，因此实现可以自由地缩小范围以始终简单地执行其中一种；我们无法观察到差异。
只要我们无法观察到我们表达的行为与执行期间的行为之间的任何差异，实现就可以进行任何它想要的更改。
这在 [intro.execution]p1 中有介绍:
The semantic descriptions in this International Standard define a parameterized nondeterministic abstract machine. This International Standard places no requirement on the structure of conforming implementations. In particular, they need not copy or emulate the structure of the abstract machine. Rather, conforming implementations are required to emulate (only) the observable behavior of the abstract machine as explained below.
另一个更清楚的部分 [intro.execution]p5 :
A conforming implementation executing a well-formed program shall produce the same observable behavior as one of the possible executions of the corresponding instance of the abstract machine with the same program and the same input.
进一步阅读:
// initial state
std::atomic<int> foo = 0;
// thread 1
while (true) {
if (foo)
break;
}
// thread 2
foo = 1
Question: Given the reasoning in the previous sections, could an implementation simply read
fooonce in thread 1, and then never break out of the loop even if thread 2 writes tofoo?
答案；没有。
在顺序一致的环境中，我们保证在 thread 2 中写入 foo 将在 thread 1 中可见；这意味着当写入发生时，线程 1 必须观察这种状态变化。
注意:一个实现可以将两个读取转换为一个，因为我们无法观察到差异(一个 fence 与两个一样有效)，但它不能完全忽略一个读取它本身存在。
注意:本节内容由[atomics.order]p3-4保证.
如果我真的想阻止这种形式的“优化”怎么办？
如果您想强制实现在您编写它的每个点实际读取某个变量的值，您应该查看 volatile 的用法(请注意，这绝不会增强线程安全性)。
但实际上编译器不会优化原子，标准组已建议不要使用 volatile atomic出于这种原因，直到尘埃落定在这个问题上。见
关于c++ - 可以在 C++ 内存模型中合并原子负载吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/33127973/
类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
作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代
我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co
使用带有Rails插件的vim，您可以创建一个迁移文件，然后一次性打开该文件吗？textmate也可以这样吗？ 最佳答案 你可以使用rails.vim然后做类似的事情::Rgeneratemigratonadd_foo_to_bar插件将打开迁移生成的文件，这正是您想要的。我不能代表textmate。 关于ruby-使用VimRails，您可以创建一个新的迁移文件并一次性打开它吗？，我们在StackOverflow上找到一个类似的问题： https://sta
我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何
查看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
我有一个包含模块的模型。我想在模块中覆盖模型的访问器方法。例如:classBlah这显然行不通。有什么想法可以实现吗？ 最佳答案 您的代码看起来是正确的。我们正在毫无困难地使用这个确切的模式。如果我没记错的话，Rails使用#method_missing作为属性setter，因此您的模块将优先，阻止ActiveRecord的setter。如果您正在使用ActiveSupport::Concern(参见thisblogpost)，那么您的实例方法需要进入一个特殊的模块:classBlah
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
我有一个表单，其中有很多字段取自数组(而不是模型或对象)。我如何验证这些字段的存在？solve_problem_pathdo|f|%>... 最佳答案 创建一个简单的类来包装请求参数并使用ActiveModel::Validations。#definedsomewhere,atthesimplest:require'ostruct'classSolvetrue#youcouldevencheckthesolutionwithavalidatorvalidatedoerrors.add(:base,"WRONG!!!")unlesss
我想向我的Controller传递一个参数，它是一个简单的复选框，但我不知道如何在模型的form_for中引入它，这是我的观点:{:id=>'go_finance'}do|f|%>Transferirde:para:Entrada:"input",:placeholder=>"Quantofoiganho?"%>Saída:"output",:placeholder=>"Quantofoigasto?"%>Nota:我想做一个额外的复选框，但我该怎么做，模型中没有一个对象，而是一个要检查的对象，以便在Controller中创建一个ifelse，如果没有检查，请帮助我，非常感谢,谢谢