- CAS(Compare and Swap),其实就是 JDK提供的非阻塞原子性操作,它通过硬件保证了比较--》更新操作的原子性。JDK 里面的
Unsafe
类提供了compareAdnSwap
方法。
boolean compareAndSwapLong(Object obj,longvalueOffset,long expect,long update);
compareAndSwap:比较并交换。
参数:对象内存位置,对象中的变量的偏移量,变量预期值,新值。
其操作含义:如果对象 obj中内存偏移量为 valueOffset的变量值为 expect,则使用新的值 update替换旧值 expect。这是处理器提供的一个原子性操作。 - CAS经典 ABA 问题。
- 假如线程1使用 CAS修改初始值为 A的变量 X,那么线程1会首先去获取当前变量 X的值(为A),然后使用 CAS操作尝试修改 X的值为 B,如果使用 CAS操作成功了,那么程序运行一定是正确吗?其实未必,这是因为有可能在线程1获取变量 X的值为 A后,在执行 CAS前,线程2使用 CAS修改了变量 X的值为 B,然后又使用 CAS修改了变量 X的值为 A。虽然线程1执行 CAS时 X的值为 A,但是这个 A已经不是线程1获取的 A了。这就是 ABA问题。
- ABA 问题的产生是因为变量的状态值产生了环形转换,就是变量的值可以从 A到 B,然后再从 B到 A。如果变量的值只能朝着一个方向转换,比如 A到 B,B到 C,不构成环形,就不会存在问题。JDK中的 AtomicStampedReference类给每个变量的状态值都配了一个时间戳,从而避免了 ABA问题的产生。
Java并发编程之美
标签:ABA,Java,变量,JDK,CAS,线程,操作 来源: https://www.cnblogs.com/zk2020/p/16425675.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。