C中非易失性变量的限制

Question

int x;
...
void update_x() {
  lock();
  x = x*5+3;
  unlock();
} 

谢谢，伊利亚

Answer 1

在C11之前，答案是否定的，因为规范没有定义多个线程做什么，所以任何使用多个线程的程序，其中一个线程写入对象，另一个线程读取对象，都是未定义的行为。

在C11中，实际上有一个内存模型讨论了多线程和数据竞争，因此答案是肯定的，只要锁/解锁例程执行某些同步操作（包括执行同步的库函数或对特殊_atomic对象的操作）。

由于C11规范试图对现有实现的行为进行代码化（大部分），因此即使在C11之前的实现上，任何执行其要求的代码（即，使用实现提供的库进行锁定，或者使用实现提供的扩展进行原子操作）也很可能会正确工作。