一个例子解释 java种CAS 的ABA问题

 

线程I使用CAS修改初始值为A的变量X,那么线程I会首先去获取当前变量X的值(为A〕,然后使用CAS操作尝试修改X的值为B,如果使用CAS操作成功了,那么程序运行一定是正确的吗?其实未必,这是因为有可能在线程I获取变量X的值后,在执行CAS前,线程I I使用CAS修改了变量X的值为B,然后又使用CAS修改了变量X的值为A。所以虽然线程I执行CAS时X的值是A,但是这A己经不是线程I获取时的A了。这就是ABA问题。ABA题的产生是因为变量的状态值产生了环形转换,就是变量的值可以从A到B ,然后再从B到A。如果变量的值只能朝着一个方向转换,比如A到,B到C不构成环形,就不会存在问题。JDK中的A t o m i c S t a m p e d R e f e r e n c e类给每个变量的状态值都配备了一个时间戳,从而避免了ABA问题的产生

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章