C11 stdatomic和calloc

Question

我有一个包含原子场的结构：

#include <stdatomic.h>

struct s {
    ...
    atomic_int a;
};

这个结构分配了calloc ：

struct s *p = calloc(1, sizeof(struct s));

是否可以将p->a初始化为0？ 代码中有足够的障碍，因此初始化很弱，但是初始值是否保证为0？

Answer 1

不，这一般不便携。 calloc仅保证底层对象的字节0值。 对于（可能）具有状态的类型，这不等于初始化。 您肯定必须使用atomic_init将对象置于有效状态。

这样做的原因是除了基础对象之外还包含“锁定”的平台，因为它们没有实现相应的汇编指令。 因此，为了便于移植，您确实需要对所有非静态分配的原子对象使用ATOMIC_VAR_INIT或atomic_init 。

也就是说，我不知道任何现有的平台需要为atomic_int这样的atomic_int 。 如果您的平台将ATOMIC_INT_LOCK_FREE设置为2并且sizeof(atomic_int)==sizeof(int) ，则可以相对确定您的策略是否有效。 你可以在_Static_assert测试它。

Answer 2

我的猜测是这不便携/安全。

calloc()很可能最终在内存区域做一个简单的memset() 。 这个简单的memset()不会发出所需的内存屏障，以确保读取结构的其他线程会将p->a视为0 。

Answer 3

struct s *p = calloc(1, sizeof(struct s));
struct s *q = p;
// some other thread
foo(*q);

在p或其任何组件可以访问存储器之前考虑初始化为零。 它是0 。

另请参见延迟清零。