(java怎么读)(java基础知识点)

欢迎关注我们,不错过每期的原创干货!

文章前记

程序员工作久了便可能整日忙碌于“增删改查”中,迷失方向,毫无进步。

该公众号致力于分享软件开发相关的原创干货,助你完成从程序员到架构师的进阶之路!

努力!做一个NB的Coder!

1 背景

之前的文章中我们已经讲过,Java的AtomicInteger类中能够将读和写封装成为一个原子操作,例如其中的getAndIncrement()方法就可以实现原子化的i++操作。

这一切的实现是通过系统原生的CAS操作实现的。

CAS操作即比较并交换操作,能够在内存真值与预期原值一样时,将新值放入指定的内存中。

(java怎么读)(java基础知识点)

本文我们探讨基于CAS操作实现的读写原子化中引发的问题。

2 CAS存在的问题

CAS实现了高效的原子操作,但是仍然存在一些问题,主要有三个:

  • ABA问题
  • 循环开销问题
  • 无法应用与多个共享变量

2.1 ABA问题

因为CAS需要在操作值的时候检查下值有没有发生变化,如果没有发生变化则更新,但是如果一个值原来是A,变成了B,又变成了A,那么使用CAS进行检查时会发现它的值没有发生变化,认为情况还是乐观的。此时可能引发错误。

例如,时刻t1在队列中CAS操作前获取预期原值A=5,之后队列发生了移动,再次获取的原值仍然为5,此时进行了CAS操作。则会引发错误。

(java怎么读)(java基础知识点)

ABA问题的解决思路就是使用版本号。在变量前面追加上版本号,每次变量更新的时候把版本号加一,那么A-B-A 就会变成1A-2B-3A。

Java1.5开始,atomic包中存在一个AtomicStampedReference类来解决ABA问题。

该类的compareAndSet方法会先检查当前引用是否发生变化,如果没有变化才会使用CAS更新其值。

源代码如下:

(java怎么读)(java基础知识点)

2.2 循环开销问题

因为CAS是基于乐观锁的思想的,需要不断判断乐观情况是否成立,因此是一个循环操作,常被称为CAS自旋。如果并发严重,则CAS自旋会不断尝试,导致CPU开销大。

解决此问题的办法是在多次CAS操作失败时,能够暂停一段时间,在进行CAS操作。防止在其他线程密集修改某变量时对该变量不断进行CAS自旋。当然,这需要JVM的支持。

2.3 无法应用于多个共享变量

对一个共享变量进行CAS操作时可以的,那如果对一组变量展开操作呢?显然是不可以的,因为内存位置V是一个值,而非一组值。这个时候只能使用锁。

其实,还有一个办法,即将这一组变量封装成一个对象,从而将对一组变量的操作转化为对一个对象的操作。

Java1.5之后,便可以使用AtomicReference来封装一个需要原子化更新的对象。

3 总结

虽然,AtomicInteger类中的原子化操作存在一些问题,但是它与加同步锁的方法相比仍然在性能、易用性上具有巨大的优势。

希望大家能够在日常的编码中掌握并使用AtomicInteger类中的相关方法,写出简洁、高效的代码。

—END—

分享让你从程序员进阶架构师的原创干货!

欢迎关注我们,不错过每期的原创干货!

声明:我要去上班所有作品(图文、音视频)均由用户自行上传分享,仅供网友学习交流,版权归原作者架构研究所所有,原文出处。若您的权利被侵害,请联系删除。

本文标题:(java怎么读)(java基础知识点)
本文链接:https://www.51qsb.cn/article/m8sws.html

(0)
打赏微信扫一扫微信扫一扫QQ扫一扫QQ扫一扫
上一篇2023-02-08
下一篇2023-02-08

你可能还想知道

发表回复

登录后才能评论