理解CAS与__sync_bool_compare_and_swap

关注

原创最新推荐文章于 2026-07-13 11:01:02 发布 2w 阅读 AI 写同款· GEO 优化 ›

AI权益加码！Claude Code、Cursor等20+工具免费用！购周边限时加赠Coding Plan Lite，畅享主流AI工具！学习进阶更高效！阅读详情

CAS是compare and swap, 简单来说就是，在写入新值之前，读出旧值，当且仅当旧值与存储中的当前值一致时，才把新值写入存储。__sync_bool_compare_and_swap是可供程序员调用的接口，为什么需要CAS呢？一起来看下：

让10个线程执行加法操作，看看最简单的版本：

#include <stdio.h>
#include <pthread.h>
#include <unistd.h>

int sum = 0;

void* adder(void *p)
{
    for(int i = 0; i < 1000000; i++)  // 百万次
    {
        sum++;
    }

    return NULL;
}

int main()
{
    pthread_t threads[10];

    for(int i = 0; i < 10; i++)
    {
        pthread_create(&threads[i], NULL, adder, NULL);
    }
	
    for(int i = 0; i < 10; i++)
    {
        pthread_join(threads[i],NULL);
    }

	printf("sum is %d\n", sum);
}

运行了一下，发现每次结果不一样，并不是10000000，原因很简单，多线程没有同步。结果也说明，++不是原子操作。

怎么办？加锁，这是无疑的，如下：

#include <stdio.h>
#include <pthread.h>
#include <unistd.h>

int sum = 0;
pthread_mutex_t mutex;

void* adder(void *p)
{
    for(int i = 0; i < 1000000; i++)  // 百万次
    {
    	pthread_mutex_lock(&mutex);
        sum++;
		pthread_mutex_unlock(&mutex);
    }

    return NULL;
}

int main()
{
    pthread_t threads[10];
    pthread_mutex_init(&mutex, NULL);

    for(int i = 0; i < 10; i++)
    {
        pthread_create(&threads[i], NULL, adder, NULL);
    }
	
    for(int i = 0; i < 10; i++)
    {
        pthread_join(threads[i],NULL);
    }

	printf("sum is %d\n", sum);
}

多次运行发现，结果总是10000000，加锁了，安全。

但是，问题来了，加锁效率如何，多进程，多机器修改怎么办？比如典型的银行卡扣款场景。且看CAS机制：

#include <stdio.h>
#include <pthread.h>
#include <unistd.h>

int sum = 0;

void* adder(void *p)
{
    int old = sum;
    for(int i = 0; i < 1000000; i++)  // 百万次
    {
        while(!__sync_bool_compare_and_swap(&sum, old, old + 1))  // 如果old等于sum, 就把old+1写入sum
        {
           old = sum; // 更新old
        }
    }

    return NULL;
}

int main()
{
    pthread_t threads[10];
    for(int i = 0;i < 10; i++)
    {
        pthread_create(&threads[i], NULL, adder, NULL);
    }
	
    for(int i = 0; i < 10; i++)
    {
        pthread_join(threads[i], NULL);
    }

    printf("sum is %d\n",sum);
}

结果是10000000，可以好好理解下。有兴趣的同学，可以测测上述程序的效率。

对了，最后一个程序的编译方法为：g++ test.cpp -lpthread -march=nocona -mtune=generic

不多说。