CAS实现实现无锁机制
无关紧要的话
因为最近要考虑实现一种无锁的hashmap,面对多线程操作并发执行时可能出现的不一致问题,所以特意学习了一下CAS,也算是有所得吧。
正文
1.什么是CAS?
有的时候我们想进行一系列操作,而这不是原子性的,在多线程环境下,就很有可能会出现不一致的情况,举个栗子:
比如我们想进行counter++(假设其初始值为0)操作,如果是单线程,则执行流程大概如下:
- 取得counter的值
- 然后对其进行+1操作
- 将新值返回
如果在进行到第二步的时候又有一个新的线程到来,也是想将当前的counter的值增1,按道理来讲,两个线程执行结束counter的值应该2,但是实际执行过程中会发生什么?
原子性加减通常是用CAS(Compare and Swap)完成的,与平台相关。CAS的基本形式是:CAS(addr,old,new),当addr中存放的值等于old时,用new对其替换),要注意的是其针对的是8B的操作有效,也就是针对一个地址是可行的。 当前值与期望值相等时,修改当前值为设定值,返回true;当前值与期望值不等时,将期望值修改为当前值,返回false。
2.