C/C++ linux无锁化编程 __sync_fetch_and_add,__sync_lock_test_and_set,__sync_bool_compare_and_swap等原子操作函数

gcc从4.1.2开始提供了__sync_*系列的build-in函数，用于提供加减和逻辑运算的原子操作，其声明如下：

• type __sync_fetch_and_add (type *ptr, type value, …)：等同于将 ptr指向的内存加上 value值, 并且返回ptr原来的值。
• type __sync_fetch_and_sub (type *ptr, type value, …);
• type __sync_fetch_and_or (type *ptr, type value, …);
• type __sync_fetch_and_and (type *ptr, type value, …);
• type __sync_fetch_and_xor (type *ptr, type value, …);
• type __sync_fetch_and_nand (type *ptr, type value, …);
• type __sync_add_and_fetch (type *ptr, type value, …)：等同于将 ptr指向的内存加上 value值, 并且返回最终加好的值。
• type __sync_sub_and_fetch (type *ptr, type value, …);
• type __sync_or_and_fetch (type *ptr, type value, …);
• type __sync_and_and_fetch (type *ptr, type value, …);
• type __sync_xor_and_fetch (type *ptr, type value, …);
• type __sync_nand_and_fetch (type *ptr, type value, …);
• type __sync_lock_test_and_set (type * ptr, type value, …)：将ptr设为value并返回ptr操作之前的值。
• void __sync_lock_release (type ptr, …)：将ptr置0。
• type __sync_val_compare_and_swap (type ptr, type value, …)：这两个函数提供原子的比较和交换，如果ptr == oldval,就将newval写入*ptr，返回原来的值。
• bool __sync_bool_compare_and_swap (type * ptr, type oldval, type newval, …)：这两个函数提供原子的比较和交换，如果ptr == oldval,就将newval写入ptr，返回true。如果不相等则返回false。

这个type不能乱用(type只能是int, long, long long以及对应的unsigned类型)，同时在用gcc编译的时候要加上选项 -march=i686。

后面的可扩展参数(…)用来指出哪些变量需要memory barrier，因为目前gcc实现的是full barrier(类似Linux kernel中的mb()，表示这个操作之前的所有内存操作不会被重排到这个操作之后)，所以可以忽略掉这个参数。