Java
并发编程对于开发者来说是难点也是重点,想要掌握学会并发编程,并不是一件很容易的事情,从本篇文章跟我一起攻克 Java
并发编程JUC
系列教程吧。
JUC
是 java.util.concurrent
的缩写,其实现参考了 EDU.oswego.cs.dl.util.concurrent
,是 JSR 166
标准规范的一个实现;JSR 166
是一个关于 Java
并发编程的规范提案,在 JDK
中,该规范由java.util.concurrent
包实现。即JUC
是 Java
提供的并发包,其中包含了一些并发编程用到的基础组件。
JUC
这个包下的类基本上包含了我们在并发编程时用到的一些工具。大致可以分为以下几类:
- 原子更新
Java
从JDK1.5
开始提供了java.util.concurrent.atomic
包,方便程序员在多线程环 境下,无锁的进行原子操作。在Atomic
包里一共有 12 个类,四种原子更新方式,分别是原子更新基本类型,原子更新 数组,原子更新引用和原子更新字段。 - 锁和条件变量
java.util.concurrent.locks
包下包含了同步器的框架AbstractQueuedSynchronizer
,基于AQS
构建的Lock
以及与Lock
配合可以实现等待/通知模式的Condition
。JUC
下的大多数工具类用到了Lock
和Condition
来实现并发。 - 线程池
涉及到的类比如:Executor
、Executors
、ThreadPoolExector
、AbstractExecutorService
、Future
、Callable
、ScheduledThreadPoolExecutor
等等。 - 阻塞队列
涉及到的类比如:ArrayBlockingQueue
、LinkedBlockingQueue
、PriorityBlockingQueue
、LinkedBlockingDeque
等等。 - 并发容器
涉及到的类比如:ConcurrentHashMap
、CopyOnWriteArrayList
、ConcurrentLinkedQueue
、CopyOnWriteArraySet
等等。 - 同步器
剩下的是一些在并发编程中时常会用到的工具类,主要用来协助线程同步。比如:CountDownLatch
、CyclicBarrier
、Exchanger
、Semaphore
、FutureTask
等等。
在学习JUC
之前我们需要了解CAS
,AQS
和Unsafe
,对于大部分初学并发编程的同学这几个概念容易在脑中混淆,所以先分别说说这几个概念。
Unsafe
Unsafe
是位于sun.misc
包下的一个类,也是一个不安全的类,为什么会这样说呢? Java
是一个非常安全的语言, 无法直接访问操作系统底层,而是通过本地方法进行访问,但却给 Unsafe
类开了“后门”, Unsafe类提供了硬件级别的原子操作,直接访问操作系统底层,操作内存。开发人员如果不正确的使用,极容易造成程序出错,程序崩溃等问题。,在日常使用 Unsafe
时一定要慎重。在不理解背后原理其不要使用。在Java 9
中官方提出移除 Sun.misc.Unsafe
, 对于 Java 语言生态应用太广并未能轻易移除,在 JAVA 9
新增加了 jdk.internal.misc.Unsafe
类来替代前者的功能。后者 不会直接暴露给应用程序。
此图来源美团技术团队:https://tech.meituan.com/2019/02/14/talk-about-java-magic-class-unsafe.html
CAS
Java
提供了非阻塞的volatile
关键字来解决共享变量的可见性问题,这在一定程度上弥补了锁带来的开销问题,但是volatile
只能保证共享变量的可见性,不能解决读—改—写等的原子性问题。CAS(Compare And Swap
)指比较并交换,是原子操作的一种,可用于在多线程编程中实现不被打断的数据交换操作,从而避免多线程同时改写某一数据时由于执行顺序不确定性以及中断的不可预知性产生的数据不一致问题。 该操作通过将内存中的值与指定数据进行比较,当数值一样时将内存中的数据替换为新的值。JDK里面的Unsafe类提供了一系列的 compareAndSwap* 方法。CAS
算法CAS(V, E, N)
包含3
个参数,V
表示要更新的变量,E
表示预期的值,N
表示新值。在且仅在V
值等于E
值时,才会将V
值设为 N
,如果V
值和 E
值不同,则说明已经有其他线程做了更新,当前线程什么都不做。最后,CAS
返回当前V的真实值。Concurrent
包下所有类底层都是依靠CAS
操作来实现,而sun.misc.Unsafe
为我们提供了一系列的CAS
操作。CAS
会遇到两个常见的问题?
ABA
问题- 自旋问题
此问题放在后面相应的章节讲解
AQS
AbstractQueuedSynchronizer
抽象同步队列简称AQS
,它是实现同步器的基础组件,并发包中锁的底层就是使用AQS
实现的。AQS
定义了一套多线程访问共享资源的同步框架,许多同步类的实现都依赖于它,例如常用的Synchronized
、ReentrantLock
、ReentrantReadWriteLock
、Semaphore
、CountDownLatch
等。该框架下的锁会先尝试以CAS
乐观锁去获取锁,如果获取不到,则会转为悲观锁(如RetreenLock
)。
总结
本章是并发编程JUC
的开篇,简单讲述了JUC
理论、unsafe
、CAS
、AQS
,后续通过理论+案例
会并发包下进行进一步讲解,万事开头难,并发编程难学易精。开启攻克并发编程系列JUC
之路。
欢迎关注 山间木匠 , 我是小春哥,从事 Java 后端开发,会一点前端、通过持续输出系列技术文章与文会友,如果本文能为您提供帮助,欢迎大家关注、在看、 点赞、分享支持,我们下期再见!