CAS是什么?
CAS算法,Compare And Swap,比较并交换。其实现方式是基于硬件平台的汇编指令,在intel的CPU中,使用的是cmpxchg指令。也就是说这个硬件指令是一个满足原子性的最小动作,程序语言中就可以合理利用这个满足原子性的最小动作来做一些事情。
CAS硬件指令的具体逻辑就是:传入三个值:V,E,N,返回布尔值。简而言之,V是真实值,E是预期值(快照值),N是新值,如果预期值等于真实值,那么就将真实值替换为新值,返回true,否则返回false。而且这段逻辑是封装在了一个原子性的硬件命令里面!
好像很简单,但是真实值并不是那么简单就可以获取的,只要把这个值获取到我们程序中,这个真实值就很有可能已经过期了,它仅仅是获取的那一瞬间的真实值的快照而已。那怎么办?既然在程序中不能获取到真实值,那就把真实值的引用地址传进入吧。所以在实际程序中调用的CAS函数传入的还是三个值:v,e,n。其中v是真实值的引用地址ÿ