为何须要原子性操做?html
咱们考虑一个例子:
(1)x++这个常见的运算符在内存中是怎样操做的?
从内存中读x的值到寄存器中,对寄存器加1,再把新值写回x所处的内存地址shell
如果有两个线程同时对同一个变量++,就会出现问题,以下:服务器
time Thread 1 Thread 2
0 load eax, x
1 load eax, x
2 add eax, 1
3 add eax, 1
4 store x, eax
5 store x, eax函数
咱们但愿的结果是x+2,但结果应该是x+1,缘由就是否是原子操做,解决方法有两个:性能
一 加锁,但锁竞争是高性能服务器的杀手,因此这里不能用。fetch
二 gcc原子性操做:优化
// 原子自增操做
//*ptr+value type __sync_fetch_and_add (type *ptr, type value) // 原子比较和交换(设置)操做
// if(*ptr==oldval) *ptr=newval,函数返回true,返回失败,不设置。 type __sync_val_compare_and_swap (type *ptr, type oldval type newval) bool __sync_bool_compare_and_swap (type *ptr, type oldval type newval) // 原子赋值操做 type __sync_lock_test_and_set (type *ptr, type value) 使用这些原子性操做,编译的时候须要加-march=cpu-type
无锁队列实现
http://coolshell.cn/articles/8239.html线程
服务器开发中,volatile常常用到:htm
volatile的做用: 做为指令关键字,确保本条指令不会因编译器的优化而省略,且要求每次直接读值。简单地说就是防止编译器对代码进行优化blog
当要求使用volatile 声明的变量的值的时候,系统老是从新从它所在的内存读取数据,而不是使用保存在寄存器中的备份。即便它前面的指令刚刚从该处读取过数据。并且读取的数据马上被保存