代码之家 › 专栏 › 技术社区 › pmor

GCC:__atomic_always_lock_free使用-O3编译,但不使用-O0编译

built-in atomic gcc

pmor · 技术社区 · 2 年前

示例代码:

int *s;

int foo(void)
{
  return 4;
}

int bar(void)
{
  return __atomic_always_lock_free(foo(), s);
}

调用:

$ gcc t0.c -O3 -c
<nothing>

$ gcc t0.c -O0 -c
t0.c:10:10: error: non-constant argument 1 to '__atomic_always_lock_free'

有什么想法吗?

1 回复 | 直到 2 年前

Nate Eldredge 2 年前

这似乎并不奇怪。你链接的文件上说“ size 必须解析为“编译时常量”,因此在传递时可能会出现错误 foo() 但是,如果GCC能够在编译时确定表达式的值,那么它会将其视为编译时常量,即使它不符合语言对常量表达式的基本定义。这可能被视为一种扩展,C17标准在6.6p10中明确允许。

优化级别与编译器试图在编译时计算表达式的内容有关。关闭优化后,它只做标准要求的基本常量折叠(例如。 2*4 )。通过优化,您可以获得完整的恒定传播过程以及函数内联的好处。

所以在本质上 -O0 ,编译器没有注意到这一点 foo() 总是返回相同的值,因为您已经禁用了允许它得出该结论的优化。具有 -O3 它确实如此,所以它接受它作为常数。

推荐文章

Rasim AvcÄ± · 如何履行承诺。解析需要原子化的代码

6 年前

Lingxi · 真正测试std::atomic是否无锁

6 年前

Rajeev Mehta · 修改和读取原子变量

6 年前

Cobra_Fast · 如何获取compare exchange以接受我的变量?

6 年前

Patrick Jeeves · 在没有互斥锁的情况下重新计数时,如何避免竞争条件?

7 年前

Chris Jefferson · 在Rust中获得“无序”语义

7 年前

Vincent Van Groot · 访问shared\u ptr持有的类的原子成员

7 年前

Phung D. An · 在meteor mongdb中删除某个用户时更新所有联系人列表

7 年前

Jérôme B · redis自动切换值

7 年前

krimog · 更新where select,保证原子性

7 年前