CAS原子操作实现无锁及性能分析
Author：Echo Chen（陈斌）
Email：chenb19870707@gmail.com
Date：Nov 13th, 2014
近期在研究nginx的自旋锁的时候，又见到了GCC CAS原子操作，于是决定动手分析下CAS实现的无锁究竟性能怎样，网上关于CAS实现无锁的文章非常多。但少有研究这样的无锁的性能提升的文章，这里就以实验结果和我自己的理解逐步展开。
1.什么是CAS原子操作
在研究无锁之前。我们须要首先了解一下CAS原子操作——Compare & Set，或是 Compare & Swap，如今差点儿所
有的CPU指令都支持CAS的原子操作，X86下相应的是 CMPXCHG 汇编指令。
大家应该还记得操作系统里面关于“原子操作”的概念，一个操作是原子的(atomic)，假设这个操作所处的层(layer)的更高层不能发现其内部实现与结构。原子操作能够是一个步骤，也能够是多个操作步骤。可是其顺序是不能够被打乱，或者分割掉仅仅运行部分。有了这个原子操作这个保证我们就能够实现无锁了。
CAS原子操作在维基百科中的代码描写叙述例如以下:
int newval)2: {3: ATOMIC();int old_reg_val = *reg;if (old_reg_val == oldval)6: *reg = newval;7: END_ATOMIC();return old_reg_val;9: }
也就是检查内存*reg里的值是不是oldval，假设是的话。则对其赋值newval。上面的代码总是返回old_reg_value，调用者假设须要知道是否更新成功还须要做进一步推断，为了方便，它能够变种为直接返回是否更新成功，例如以下：
int newval)2: {if ( *accum == *dest ) {4: *dest = newval;return true;6: }return false;8: }
除了CAS还有下面原子操作：
- Fetch And Add，一般用来对变量做 +1 的原子操作。
1: << atomic >>int inc) {int value := *location4: *location := value + increturn value6: }Test-and-set，写值到某个内存位置并传回其旧值。汇编指令BST。1: #define LOCKED 12:int* lockPtr) {int oldValue;5:// Start of atomic segment// The following statements should be interpreted as pseudocode for// illustrative purposes only.// Traditional compilation of this code will not guarantee atomicity, the// use of shared memory (i.e. not-cached values), protection from compiler// optimization, or other required properties.12: oldValue = *lockPtr;13: *lockPtr = LOCKED;// End of atomic segment15:return oldValue;17: }- Test and Test-and-set，用来实现多核环境下相互排斥锁。
// shared lock variable2: procedure EnterCritical() {do {// spin until lock seems free// actual atomic locking6: }
2.CAS 在各个平台下的实现
2.1 Linux GCC 支持的 CAS
GCC4.1+版本号中支持CAS的原子操作（完整的原子操作可參看 GCC Atomic Builtins）
bool __sync_bool_compare_and_swap (type *ptr, type oldval type newval, ...)2: type __sync_val_compare_and_swap (type *ptr, type oldval type newval, ...)
2.2 Windows支持的CAS
在Windows下。你能够使用以下的Windows API来完毕CAS：（完整的Windows原子操作可參看MSDN的InterLocked Functions）
volatile *Target,2: __in LONG Exchange,3: __in LONG Comperand);
2.3 C++ 11支持的CAS
C++11中的STL中的atomic类的函数能够让你跨平台。（完整的C++11的原子操作可參看 Atomic Operation Library）
class T >bool atomic_compare_exchange_weak( std::atomic<T>* obj,3: T* expected, T desired );class T >volatile std::atomic<T>* obj,6: T* expected, T desired );
3.CAS原子操作实现无锁的性能分析
-
3.1測试方法描写叙述
这里因为仅仅是比較性能，所以採用非常easy的方式。创建10个线程并发运行，每一个线程中循环对全局变量count进行++操作（i++)。循环加2000000次。这必定会涉及到并发相互排斥操作，在同一台机器上分析 加普通相互排斥锁、CAS实现的无锁、Fetch And Add实现的无锁消耗的时间，然后进行分析。
3.2 加普通相互排斥锁代码
1: #include <stdio.h>
2: #include <stdlib.h>
3: #include <pthread.h>
4: #include <time.h>
6:
7: pthread_mutex_t mutex_lock;
int count = 0;
void *arg)
10: {
int i = 0;
for(i = 0; i < 2000000; i++)
13: {
14: pthread_mutex_lock(&mutex_lock);
15: count++;
16: pthread_mutex_unlock(&mutex_lock);
17: }
return NULL;
19: }
20:
char *argv[])
22: {
// 为了计时，暂时封装的一个类Timer。
// 计时開始
25: pthread_mutex_init(&mutex_lock, NULL);
26: pthread_t thread_ids[10];
int i = 0;
sizeof(pthread_t); i++)
29: {
30: pthread_create(&thread_ids[i], NULL, test_func, NULL);
31: }
32:
sizeof(pthread_t); i++)
34: {
35: pthread_join(thread_ids[i], NULL);
36: }
37:
// 计时结束
// 打印花费时间
,count);
41:
return 0;
43: }
注：Timer类仅作统计时间用，事实上如今文章最后给出。
3.2 CAS实现的无锁
1: #include <stdio.h>
2: #include <stdlib.h>
3: #include <pthread.h>
4: #include <unistd.h>
5: #include <time.h>
7:
int mutex = 0;
int lock = 0;
int unlock = 1;
11:
int count = 0;
void *arg)
14: {
int i = 0;
for(i = 0; i < 2000000; i++)
17: {
while (!(__sync_bool_compare_and_swap (&mutex,lock, 1) ))usleep(100000);
19: count++;
20: __sync_bool_compare_and_swap (&mutex, unlock, 0);
21: }
return NULL;
23: }
24:
char *argv[])
26: {
27: Timer timer;
28: timer.Start();
29: pthread_t thread_ids[10];
int i = 0;
31:
sizeof(pthread_t); i++)
33: {
34: pthread_create(&thread_ids[i], NULL, test_func, NULL);
35: }
36:
sizeof(pthread_t); i++)
38: {
39: pthread_join(thread_ids[i], NULL);
40: }
41:
42: timer.Stop();
43: timer.Cost_time();
,count);
45:
return 0;
47: }
48:
3.4 Fetch And Add 原子操作
1: #include <stdio.h>
2: #include <stdlib.h>
3: #include <pthread.h>
4: #include <unistd.h>
5: #include <time.h>
7:
int count = 0;
void *arg)
10: {
int i = 0;
for(i = 0; i < 2000000; i++)
13: {
14: __sync_fetch_and_add(&count, 1);
15: }
return NULL;
17: }
18:
char *argv[])
20: {
21: Timer timer;
22: timer.Start();
23: pthread_t thread_ids[10];
int i = 0;
25:
sizeof(pthread_t); i++){
27: pthread_create(&thread_ids[i], NULL, test_func, NULL);
28: }
29:
sizeof(pthread_t); i++){
31: pthread_join(thread_ids[i], NULL);
32: }
33:
34: timer.Stop();
35: timer.Cost_time();
,count);
return 0;
38: }
39:
4 实验结果和分析
在同一台机器上，各执行以上3份代码10次，并统计平均值。其结果例如以下：（单位微秒）
由此可见。无锁操作在性能上远远优于加锁操作，消耗时间仅为加锁操作的1/3左右，无锁编程方式确实能够比传统加锁方式效率高，经上面測试能够发现，能够快到3倍左右。所以在极力推荐在高并发程序中採用无锁编程的方式能够进一步提高程序效率。
5.时间统计类Timer
timer.h
1: #ifndef TIMER_H2: #define TIMER_H3:4: #include <sys/time.h>class Timer6: {public:8: Timer();// 開始计时时间void Start();// 终止计时时间void Stop();// 又一次设定void Reset();// 耗时时间void Cost_time();private:struct timeval t1;struct timeval t2;bool b1,b2;21: };#endiftimer.cpp
2: #include <stdio.h>3:4: Timer::Timer()5: {6: b1 = false;7: b2 = false;8: }void Timer::Start()10: {11: gettimeofday(&t1,NULL);12: b1 = true;13: b2 = false;14: }15:void Timer::Stop()17: {if (b1 == true)19: {20: gettimeofday(&t2,NULL);21: b2 = true;22: }23: }24:void Timer::Reset()26: {27: b1 = false;28: b2 = false;29: }30:void Timer::Cost_time()32: {if (b1 == false)34: {);return ;37: }if (b2 == false)39: {);return ;42: }else44: {int usec,sec;bool borrow = false;if (t2.tv_usec > t1.tv_usec)48: {49: usec = t2.tv_usec - t1.tv_usec;50: }else52: {53: borrow = true;54: usec = t2.tv_usec+1000000 - t1.tv_usec;55: }56:if (borrow)58: {59: sec = t2.tv_sec-1 - t1.tv_sec;60: }else62: {63: sec = t2.tv_sec - t1.tv_sec;64: },sec,usec);66: }67: }68:
6.參考
-
Echo Chen：Blog.csdn.net/chen19870707
-