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
这个包下的类基本上包含了咱们在并发编程时用到的一些工具。大体能够分为如下几类:html
- 原子更新
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
,对于大部分初学并发编程的同窗这几个概念容易在脑中混淆,因此先分别说说这几个概念。 <a name="2Ivdn"></a>
Unsafe
Unsafe
是位于sun.misc
包下的一个类,也是一个不安全的类,为何会这样说呢? Java
是一个很是安全的语言, 没法直接访问操做系统底层,而是经过本地方法进行访问,但却给 Unsafe
类开了“后门”, Unsafe类提供了硬件级别的原子操做,直接访问操做系统底层,操做内存。开发人员若是不正确的使用,极容易形成程序出错,程序崩溃等问题。,在平常使用 Unsafe
时必定要慎重。在不理解背后原理其不要使用。在Java 9
中官方提出移除 Sun.misc.Unsafe
, 对于 Java 语言生态应用太广并未能轻易移除,在 JAVA 9
新增长了 jdk.internal.misc.Unsafe
类来替代前者的功能。后者 不会直接暴露给应用程序。java
此图来源美团技术团队: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
之路。安全