GNU C中x++是原子操作吗？

什么是原子操作？

所谓原子操作,就是"不可中断的一个或一系列操作" 。在确认一个操作是原子的情况下，多线程环境里面，我们可以避免仅仅为保护这个操作在外围加上性能开销昂贵的锁，甚至借助于原子操作，我们可以实现互斥锁。 

那么，GNU C中x++是原子操作吗？请看下面一段代码：

#include <stdlib.h>#include <pthread.h>static int x;void inc(){ x++;}void foo(void){ int i; for (i = 0; i < 5; i++) { inc(); }}int main(int argc, char *argv[]){ pthread_t p1, p2; pthread_create(&p1, NULL, (void *)foo, NULL); pthread_create(&p2, NULL, (void *)foo, NULL); pthread_join(p1, NULL); pthread_join(p2, NULL); printf("%d/n", x);} 

代码输出的x值是多少呢？ 

在多线程编程环境中，对全局变量的访问是需要进行同步保护的，当然也可以借用原子操作，这样程序运行结果才是确定的。所以现在的问题是x++是原子操作吗？如果是，则上述代码运行结果x=10。如果不是，则运行结果是不确定的，x值为 [5, 10]范围中的某个值。x++应该是非原子操作，但我又不是很确定，所以只好看汇编代码了。

inc:
        pushl   %ebp
        movl    %esp, %ebp
        movl    x, %eax
        addl    $1, %eax
        movl    %eax, x
        popl    %ebp
        ret

 

从上面的汇编代码片段，显然可以确定x++是非原子的，它由３条汇编指令组成。因此上面的x的值也就是不确定的了，它的最大值可能为１０，最小值可能为５。这两种情况分别发生在完全没有同步（即串行）和完全竞争（即每次均同时读取同样的x值）的情况下，两个极端情形，要得到这样的结果，估计要看ＲＰ（开个玩笑，呵呵）。 

结论，GNU C中x++不是原子操作，所以特别提供了原子值类型atomic_t。