C++ 原子操作与无锁编程

C++ 原子操作与无锁编程

一 原子操作？

     原子(atomic)本意是 不能被进一步分割的最小粒子 ,而原子操作(atomic operation)意为”不可被中断

的一个或一系列操作”

并发系统要保证数据的有序性，需要对数据进行有序访问，保持数据的有序访问有两种方式：锁

和原子操作。锁相对于原子操作更容易理解，不容易错误，缺点是锁会造成线程切换，耗时会比较

多，在一些极端场景，如高频交易，线程切换所产生的耗时是不能忍受的.所以，在高频交易场景都会

优先考虑原子操作。

二 如何做到原子操作

(1) 使用总线锁保证原子性

如果多个处理器同时对共享变量进行读写操作,那么共享变量就会被多个处理器同时进行操作,这样读写操作就不是原子的,操作完之后共享变量的值会和期望的不一致.

所谓总线锁就是使用处理器提供的一个LOCK#信号,当一个处理器在总线上输出次信号时,其他处理器的请求将被阻塞住,那么该处理器可以独占共享内存.

(2) 使用缓存锁保证原子性

通过缓存锁定保证原子性。在同一时刻我们只需保证对某个内存地址的操作是原子性即可，但总线锁定把CPU和内存之间通信锁住了，这使得锁定期间，其他处理器不能操作其他内存地址的数据，所以总线锁定的开销比较大。

所谓“缓存锁定”就是如果缓存在处理器缓存行中内存区域在LOCK操作期间被锁定，当它执行锁操作回写内存时，处理器不在总线上声言LOCK＃信号，而是修改内部的内存地址，并允许它的缓存一致性机制来保证操作的原子性，因为缓存一致性机制会阻止同时修改被两个以上处理器缓存的内存区域数据，当其他处理器回写已被锁定的缓存行的数据时会起缓存行无效。

三 缓存一致性

 

 

一个变量（一个内存位置）其实可以被多个Cache所共享。那么，当我们需要修改这个变量的时候，Cache要如何保持一致呢？

理想情况下，原子地修改多个Cache，但多个CPU之间往往通过总线进行通信，不可能同时修改多个；所以其实要制造一种假象，看起来是原子地修改多个Cache，也就是让Cache看起来是强一致的

四 volatile

volatile在C/C++中的作用：

(1) 告诉编译器不要将定义的变量优化掉；

(2) 告诉编译器总是从缓存取被修饰的变量的值，而不是寄存器取值。

说明：

1. 与平台无关的多线程程序，volatile几乎无用（Java和C#中的volatile除外）；

1. volatile不保证原子性（一般需使用CPU提供的LOCK指令）；

1. volatile不保证执行顺序；

1. volatile不提供内存屏障（Memory Barrier）和内存栅栏（Memory Fence）；

<