java 中的线程之间的栈空间是相互独立,堆空间是共享的
V:内存值就是主内存中i值
A:预估值(期望值)就是子线程拿到主内存的值(读取到高速缓存中的值)
B:更新值是子线程拿到i值后,修改i的值
假设有两个线程同时要修改i的值,此时i为临界资源,若其中一个线程对其修改,另外一个线程就会修改失败。
假设主内存中i值为(V)5。线程数为二。
线程一拿到的值是(A)5,同时线程二拿到的值也是(A)5。此时线程将值(B)6赋值给了主内存中的i,此时i的值为(V)6。线程二在此时也开始对(V)I值进行修改,但线程二预估值是(A)5,目前的内存值是(V)6,预估值不等于内存值,则不满足条件无法修改。
ABA问题:
在CAS算法中,需要取出内存中某时刻的数据(由用户完成),在下一时刻比较并替换(由CPU完成,该操作是原子的)。
这个时间差中,会导致数据的变化。
假设如下事件序列:
线程 1 从内存位置V中取出A。
线程 2 从位置V中取出A。
线程 2 进行了一些操作,将B写入位置V。
线程 2 将A再次写入位置V。
线程 1 进行CAS操作,发现位置V中仍然是A,操作成功。
尽管线程 1 的CAS操作成功,但不代表这个过程没有问题——对于线程 1 ,线程 2 的修改已经丢失。
aba解决方法:加版本号而不是根据值判断