理解CAS与__sync_bool_compare_and_swap

      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

 

         不多说。