我一直在思考这两个函数的返回值。 __sync_bool_compare_and_swap 函数的返回值似乎有明显的好处，即我可以用它来判断交换操作是否发生。但是，我看不到 __sync_val_compare_and_swap 的返回值的良好用途。
首先，让我们有一个函数签名供引用(来自 GCC 文档减去 var args):
type __sync_val_compare_and_swap (type *ptr, type oldval type newval);
我看到的问题是 __sync_val_compare_and_swap 的返回值是 *ptr 的旧值。准确地说，这是在设置了适当的内存屏障后，此函数的实现所看到的值。我明确声明这一点是为了迎合这样一个事实，即在调用 __sync_val_compare_and_swap 和执行指令以强制执行内存屏障之间，*ptr 的值很容易改变。
现在，当函数返回时，我可以用该返回值做什么？尝试将它与 *ptr 进行比较是没有意义的，因为现在可以在其他线程上更改 *ptr。同样，比较 newval 和 *ptr 对我也没有真正的帮助(除非我锁定 *ptr 这可能首先破坏了我对原子的使用)。
所以真正留给我要做的就是询问返回值是否 == oldval，这实际上是询问交换操作是否发生(请参阅下面的警告)。所以我可以只使用 __sync_bool_compare_and_swap。
我刚才提到的警告是，我在这里看到的唯一细微差别是，这样做并不能告诉我交换是否发生，它只是告诉我在释放内存屏障之前的某个时刻 *ptr与 newval 具有相同的值。我正在考虑 oldval == newval 的可能性(尽管我很难找到一种有效实现该功能的方法，以便它可以首先检查这些值，如果它们相同则不交换，所以这可能是一个有争议的问题)。但是，我看不到知道这种差异会在调用站点对我产生影响的情况。事实上，我无法想象我会将 oldval 和 newval 设置为相等的情况。
我的问题是:
是否存在任何使用 __sync_val_compare_and_swap 和 __sync_bool_compare_and_swap 不等同的用例，即是否存在其中一个提供的信息多于另一个的情况？
放在一边
我考虑这个的原因是我发现了一个 __sync_val_compare_and_swap 的实现，在 sync_bool_compare_and_swap 方面有一个竞争:
inline int32_t __sync_val_compare_and_swap(volatile int32_t* ptr, int32_t oldval, int32_t newval)
{
int32_t ret = *ptr;
(void)__sync_bool_compare_and_swap(ptr, oldval, newval);
return ret;
}
竞争是在 ret 中存储 *ptr，因为 *ptr 可能在调用 __sync_bool_compare_and_swap 之前改变。这让我意识到我似乎没有安全的方法(没有额外的障碍或锁)来根据 sync_bool_compare_and_swap 实现 __sync_val_compare_and_swap。这让我想到前者必须比后者提供更多的“信息”，但根据我的问题，我看不出它确实如此。
最佳答案
__sync_val_compare_and_swap提供的操作总是可以根据__sync_bool_compare_and_swap来实现(当然其他方向显然也是可能的)，所以在power方面 两者是等价的。然而，根据 __sync_bool_compare_and_swap 实现 __sync_val_compare_and_swap 并不是很有效。它看起来像:
for (;;) {
bool success = __sync_bool_compare_and_swap(ptr, oldval, newval);
if (success) return oldval;
type tmp = *ptr;
__sync_synchronize();
if (tmp != oldval) return tmp;
}
额外的工作是必要的，因为你可以观察到 __sync_bool_compare_and_swap 的失败，但随后从 *ptr 中读取一个恰好匹配 oldval 的新值.
至于为什么您可能更喜欢__sync_val_compare_and_swap 行为，导致失败的值可能会为您提供一个更有效地重试操作的起点，或者可能表明有意义的< em="">原因 某些不会“重试”的操作失败。例如，请参阅 musl libc 中的 pthread_spin_trylock 代码(我是其作者):
a_cas 等同于__sync_val_compare_and_swap。在某些方面，这是一个愚蠢的例子，因为它只是通过使用旧值来保存分支或条件移动，但在其他情况下，多个旧值是可能的并且知道导致操作失败的值很重要。
关于c++ - __sync_val_compare_and_swap 与 __sync_bool_compare_and_swap，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/29909819/
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
从给定URL下载文件并立即将其上传到AmazonS3的更直接的方法是什么(+将有关文件的一些信息保存到数据库中，例如名称、大小等)？现在，我既不使用Paperclip，也不使用Carrierwave。谢谢 最佳答案 简单明了:require'open-uri'require's3'amazon=S3::Service.new(access_key_id:'KEY',secret_access_key:'KEY')bucket=amazon.buckets.find('image_storage')url='http://www.ex
如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:
我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我
我有以下代码，它下载一个文件，然后将文件的内容读入一个变量。使用该变量，它执行一个命令。这个配方不会收敛，因为/root/foo在编译阶段不存在。我可以通过多个聚合和一个来解决这个问题ifFile.exist但我想用一个收敛来完成它。关于如何做到这一点有什么想法吗？execute'download_joiner'docommand"awss3cps3://bucket/foo/root/foo"not_if{::File.exist?('/root/foo')}endpassword=::File.read('/root/foo').chompexecute'join_domain'd
我有一个数组数组，想将元素附加到子数组。+=做我想做的，但我想了解为什么push不做。我期望的行为(并与+=一起工作):b=Array.new(3,[])b[0]+=["apple"]b[1]+=["orange"]b[2]+=["frog"]b=>[["苹果"],["橙子"],["Frog"]]通过推送，我将推送的元素附加到每个子数组(为什么？):a=Array.new(3,[])a[0].push("apple")a[1].push("orange")a[2].push("frog")a=>[[“苹果”、“橙子”、“Frog”]、[“苹果”、“橙子”、“Frog”]、[“苹果”、“
为了问这样的问题:MyClass::create().empty?如何在MyClass中设置empty？Empty(true/false)取决于类变量@arr是否为空。 最佳答案 问号实际上是方法名称的一部分，因此您可以这样做:classMyClassdefempty?@arr.empty?#Implicitlyreturned.endend 关于ruby-Ruby中的bool方法？，我们在StackOverflow上找到一个类似的问题： https://st
我有一个(我认为)相对简单的has_many:through与连接表的关系:classUser:user_following_thing_relationshipsendclassThing:user_following_thing_relationships,:source=>:userendclassUserFollowingThingRelationship还有这些rspec测试(我知道这些不一定是好的测试，这些只是为了说明正在发生的事情):describeThingdobefore(:each)do@user=User.create!(:name=>"Fred")@thing=
有没有办法让Ruby能够做这样的事情？classPlane@moved=0@x=0defx+=(v)#thisiserror@x+=v@moved+=1enddefto_s"moved#{@moved}times,currentxis#{@x}"endendplane=Plane.newplane.x+=5plane.x+=10putsplane.to_s#moved2times,currentxis15 最佳答案 您不能在Ruby中覆盖复合赋值运算符。任务在内部处理。您应该覆盖+，而不是+=。plane.a+=b与plane.a=
出于某种原因，heroku尝试要求dm-sqlite-adapter，即使它应该在这里使用Postgres。请注意，这发生在我打开任何URL时-而不是在gitpush本身期间。我构建了一个默认的Facebook应用程序。gem文件:source:gemcuttergem"foreman"gem"sinatra"gem"mogli"gem"json"gem"httparty"gem"thin"gem"data_mapper"gem"heroku"group:productiondogem"pg"gem"dm-postgres-adapter"endgroup:development,:t