CAS全称是Compare And Swap,比较并交换。
原理: CAS机制当中使用了3个基本操作数:内存地址V,预期值A,要修改的新值B。
在更新一个变量的时候,只有当内存地址当中的值等于预期值才会去修改为新值B。否则就会不断地重试,再次拿到预期值,然后再去与内存地址之中的数据进行判断,以此往复,会占用很大的CPU资源。
CAS有一个经典的问题:ABA问题
比如现在有三个线程:1,2,3 有一个数据数值为A
线程1要将A修改为B。
线程2要将A修改为B。
线程3要修改为A。
此时线程1先一步启动成功,将A修改为B。此时线程2被阻塞了。线程3在线程1更新完之后获得了此时的B,线程3顺利的将B又改为A。此时线程2被唤醒了,发现内存地址当中的值与预期值相同,然后也就顺利的将A改为B。
这么看起来似乎是没有什么问题。
来看这个例子:
现在有个取款机,它有点小程序问题,我在取钱的时候正常应该是一个线程来处理,但是现在取款机直接出两个线程来处理,他们分别为A,B。我现在银行卡里边有10000块钱,这两个线程都拿到初始值10000了,我要取出来5000。
理想状态下肯定是线程A更新成功,线程B执行失败。
线程A此时拿到了CPU的执行权,线程B被阻塞了,然后线程A经过CAS之后正常将扣款了,此时银行卡剩余5000元。
这个时候我对象又给我打过来5000块钱,然后此时的余额是10000。
在这个时候线程B苏醒了,然后发现内存地址当中的值跟预期值一样,那么操作,扣款5000元,此时银行卡还剩下5000。
一来二去,俩人凭空少了5000块钱。
这都是ABA问题害的呀。。。可见它的后果很严重。
解决方法:ABA问题,给数值加上一个标识,数据更新一次就进行自增,判断内存地址中的值同时在将标识判断一下,都一致那么更新操作。