C/C++ linux 无锁化编程

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

// 等同于将 ptr 指向的内存加上 value 值, 并且返回 ptr 原来的值。
type __sync_fetch_and_add (type *ptr, type value, …);
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, …);

// 等同于将 ptr 指向的内存加上 value 值, 并且返回最终加好的值。
type __sync_add_and_fetch (type *ptr, type 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, …);

// 将 ptr 设为 value 并返回 ptr 操作之前的值。
type __sync_lock_test_and_set (type * ptr, type value, …);

// 将 ptr 置 0 。
void __sync_lock_release (type ptr, …)：

// 这两个函数提供原子的比较和交换，如果 ptr == oldval，
// 就将 newval 写入 *ptr，返回原来的值。

// 如果第 2 个和第 3 个参数相同，则可以认为该函数实际上就是返回 ptr 指向的内存的值。

type __sync_val_compare_and_swap (type ptr, type value, …);

// 这两个函数提供原子的比较和交换，如果 ptr == oldval，就将 newval 写入 ptr，返回 true。
// 如果不相等则返回 false。
bool __sync_bool_compare_and_swap (type * ptr, type oldval, type newval, …);

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

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

栗子：

bool A::isRuning()
{
    return __sync_val_compare_and_swap(&m_Running, false, false);
}

void A::setRuning(bool bRun)
{
    __sync_lock_test_and_set(&m_Running, bRun);
or
    __sync_val_compare_and_swap(&m_Running, m_Running, bRun);
}

转载：C/C++ linux无锁化编程 __sync_fetch_and_add,__sync_lock_test_and_set,__sync_bool_compare_and_swap等原子操作函数_「已注销」的博客-CSDN博客___sync_lock_test_and_set

（SAW：Game Over！）