[英]Why does compare_exchange_strong fail with std::atomic<double>, std::atomic<float> in C++?
[英]Why does std atomic insert 5 to the stack
我想看看std::atomic
是如何转换为汇编的。 为此,我编写了以下代码,但有些东西我不明白。
以下代码:
int main(void)
{
std::atomic<int> a;
a.fetch_add(0);
return 0;
}
由GCC汇编为:
1 | push rbp
2 | mov rbp, rsp
3 | mov DWORD PTR [rbp-4], 0
4 | mov DWORD PTR [rbp-8], 5
5 | mov edx, DWORD PTR [rbp-4]
6 | lea rax, [rbp-12]
7 | lock xadd DWORD PTR [rax], edx
8 | mov eax, 0
9 | pop rbp
10| ret
为什么GCC将“5”(第4行)推入堆栈?
如果你采用godbolt链接Richard Critten非常有帮助地在评论中发布,并将GCC命令行更改为使用-O0
,则文字5重新出现。 引人注目的是,它也出现了
std::__atomic_base<int>::operator int() const:
push rbp
mov rbp, rsp
sub rsp, 32
...
mov DWORD PTR [rbp-12], 5
mov eax, DWORD PTR [rbp-12]
mov esi, 65535
mov edi, eax
call std::operator&(std::memory_order, std::__memory_order_modifier)
所以文字5
最终作为参数传递给%edi
。
由于参数是std::memory_order
,我们可以查看文档并查看
typedef enum memory_order {
memory_order_relaxed,
memory_order_consume,
memory_order_acquire,
memory_order_release,
memory_order_acq_rel,
memory_order_seq_cst
} memory_order;
字面上实现的将给出memory_order_seq_cst = 5
。
请注意, memory_order_seq_cst
是fetch_add
的排序参数的默认值,因此您希望将其视为参数传递。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.