多线程原子性:CAS以及ABA问题

CAS(Compare And Swap (Compare And Exchange)比较并交换):没有锁的状态下可以保证多个线程对某个值的更新

       通常情况下为了保证安全,在一个线程对一个数值访问时要上锁,但是为了保证效率,CAS中是不上锁的。

       列如:

       现在有一个值为0,读取这个值,并且将其存在E中,则:E=0。然后对E进行递增运算,有计算结果设为V。E++后,设一个新的值为N(即:N=E++),这时去查看E,如果E还是为0,则表明没有其他的线程修改E,这时就将E更新为新值V。如果E!=0,则表明有其他线程修改了E。这时让E等于被其他线程修改之后的值,再按照先前的步骤进行一遍,即:当前E=E'=2(假设E被其他线程修改为了2),E进行递增,E++,有计算结果值V,V=3,再看E是否还是2,如果E=2则说明没有其他线程修改E,这时修改E为新值V,E=3;

这时就会有小伙伴产生疑惑了,如果在E运算得到新值N后,查看E的值发现E没有变化(原先E=0,现在E也=0),然后在你准备将V赋给E的这段时间内,有线程对E的值进行了更改,然后又有线程将E的值修改回了原来的值(E=0,线程1将E修改为3,线程2将E又修改回了0),这时候我们看到的那个E其实已经不是原来的E了。(就好比你的女朋友和你分手了,在你们分手期间她找了别的男朋友,然后他们分手了,你们又和好,这时候你的女朋友已经不是原来的那个女朋友了!!!!)

所以这里就引出了ABA问题:

ABA问题:其他线程对某个值修改多次,最后值和原来的值相同

猜你喜欢

转载自blog.csdn.net/qq_44624536/article/details/114598203