切换atomic_bool的有效方法

问题描述

如果我有atomic_bool flag;，如何编写C代码来切换它的原子性，可移植性和高效性？关于“高效”，我希望它可以在x86_64上组装到lock xorb $1,flag(%rip)上。 “显而易见的” flag = !flag;已淘汰，因为它实际上不是原子的。我的下一个猜测是flag ^= true;，它在GCC上陷入了混乱：

        movzbl  flag(%rip),%eax
0:
        movb    %al,-1(%rsp)
        xorl    $1,%eax
        movl    %eax,%edx
        movzbl  -1(%rsp),%eax
        lock cmpxchgb   %dl,flag(%rip)
        jne     0b

这在Clang上一团糟：

        movb    flag(%rip),%al
0:
        andb    $1,%al
        movl    %eax,%ecx
        xorb    $1,%cl
        lock            cmpxchgb        %cl,flag(%rip)
        jne     0b

然后我尝试通过执行atomic_fetch_xor_explicit(&flag,true,memory_order_acq_rel);来指定较弱的存储顺序。这可以满足我对Clang的要求，但是GCC现在完全无法使用error: operand type '_Atomic atomic_bool *' {aka '_Atomic _Bool *'} is incompatible with argument 1 of '__atomic_fetch_xor'进行编译。有趣的是，如果我的类型是atomic_char而不是atomic_bool，那么GCC和Clang都会发出我想要的程序集。有办法用atomic_bool做我想做的事吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）