并发编程终章:Java并发编程系列总纲

并发编程目录

磕磕绊绊近半年时间,在工作之余,前后一共写了十余篇深入Java并发编程系列的文章,由于内容颇多,所以在这里列一个目录方便诸位翻阅。

在学习并发编程时,大家都会接触一个关键字:volatile,使用它修饰的成员可以保证多线程之间可见,而想要理解它的实现之前,首先需要先掌握的就是Java的内存模型:JMM。所以volatile与JMM作为了并发系列的开篇:

  • (一)《玩命死磕Java内存模型(JMM)与Volatile关键字底层原理》

多线程编程中,注定是会牵扯并发安全问题的,而在Java中提供了原生的synchronized关键字作为隐式锁,保证多线程之间的线程安全。其内部覆盖的知识面较多,需要理解的地方也并不少。第二/三篇文章则是围绕着synchronized关键字从基本的应用到JVM源码,全面的对它进行原理剖析:

  • (二)《彻底理解Java并发编程之Synchronized关键字实现原理剖析》
  • (三)《死磕并发之深入Hotspot源码剖析Synchronized关键字实现》

再谈到Java的JUC并发包,其内部大量的应用了CAS机制作为基础实现并发组件,同时大名鼎鼎的无锁策略,也是采用CAS技术来保证线程执行的安全性,CAS机制就是无锁策略实现的关键。在Java中,CAS机制的实现是依赖于Unsafe魔法类提供的native操作实现,同时Unsafe类也是整个JUC原子包的核心。下面一篇文章则从CAS机制的初步探讨,到Unsafe魔法类以及Atomic原子包的源码分析进行了阐述:

  • (四)《深入理解Java并发编程之无锁CAS机制、魔法类Unsafe、原子包Atomic》

前面谈到:CAS机制是JUC并发包的基石,那么接下来要叙述的AQS则是整个并发包的核心。AQS作为JUC包中的特殊存在,向下依赖了自旋以及CAS机制,向上则提供了一个同步器的实现,它并不直接对外提供服务,而是作为基础组件,为JUC包中的其他并发组件提供服务,如ReetrantLock、SemaphoreCountDownLatch等常用的并发工具。下面两篇文章分别从AQS独占式以及共享式两种模式,对AQS进行了全面分析:

  • (五)《深入剖析并发之AQS独占锁&重入锁(ReetrantLock)及Condition实现原理》
  • (六)《手撕并发编程之基于Semaphore与CountDownLatch分析AQS共享模式实现》

谈完AQS后,前面文章中,解决并发安全问题的方案一共出现了隐式锁方案、无锁策略、显式独占锁以及共享锁模式四种,而紧接着要谈的ThreadLocal却反其道而行之,从共享变量拷贝副本的角度出发,避免了多线程竞争,从而解决了线程安全问题。它属于一种防止并发问题产生的的重要手段:

  • (七)《全面剖析Java并发编程之线程变量副本ThreadLocal原理分析》

回归根本,在我们学习Java并发编程时,大家对于多线程的创建方式都不陌生,继承Thread类以及实现Runnable、Callable接口。但实际上,创建多线程的方式只有一种,那就是继承Thread类,因为只有这种方式才能真正的映射一条OS的内核线程执行,Runnable、Callable对象则只能被称为一个多线程任务。但无论创建哪种类型的任务都无法实现真正意义上的异步回调,而Java8中推出的CompletableFuture成为了真正划时代的方式。下面一篇文章对多线程任务进行了全面分析:

  • (八)《深入并发之Runnable、Callable、FutureTask及CompletableFuture原理分析》

在多线程开发过程中,往往之前的容器如:HashMap、ArrayList等,在多线程环境中都会出现安全隐患,而HashTable、Vector等这类的安全容器则牺牲了大量的性能换取线程安全性,使用它们往往不能满足日益增长的用户需求。而在JUC包中也提供了大量的并发容器,它们在能够确保线程安全的同时也能在性能方面表现优良,第九篇则从源码角度全面的剖析了Java中的常见并发容器:

  • (九)《深入并发编程之并发容器:阻塞队列、写时复制容器、锁分段容器原理详谈》

前述文章中,对于并发相关的工具都分析了个大概,接着来看看Java线程池家族中的ThreadPoolExecutor体系,线程池能够对Java程序中创建出的线程进行统一的管理、调度以及监控,同时也做到了将一条线程复用。下面的文章中,从创建无规则的线程隐患问题分析到线程池的源码解读,全面详解了ThreadPoolExecutor体系:

  • (十)《深入理解Java并发编程之线程池、工作原理、复用原理及源码分析》

上章中详解了线程池家族的ThreadPoolExecutor体系,而在Java7中再次推出了Fork/Join框架,作为了Java中对分治思想的实现以及作为ThreadPoolExecutor体系补充,同时也为Java8中的并行流技术打下了扎实的基础。ForkJoinPool同时也能够在最大程度上发挥出多核机器的性能,其内部采用了工作窃取的算法保证了每条线程的工作饱和。但Fork/Join框架的整体实现过于庞大,下面通过两篇三万多字的文章进行阐述:

  • (十一)《彻悟并发之JUC分治思想产物-ForkJoin分支合并框架原理剖析上篇》
  • (十二)《彻悟并发之JUC分治思想产物-ForkJoin分支合并框架原理剖析下篇》

上述大部分文章中,绝大多数情况我们都是在围绕着多线程之间的线程安全问题进行撰写,但它们都是基于单体架构下的Java程序进行分析的,而如今单体架构的时代早已远去,一般目前Java程序都是通过多机器、分布式的架构模式进行部署。那么在多部署环境下,之前我们分析的CAS无锁、隐式锁、显式锁等方案是否还有效呢?答案是无效。在新的架构下,对于线程安全问题的解决则又需要推出新的方案:分布式锁。终篇的文章中从分布式架构下的安全问题阐述到Redis、Zookeeper实现分布式锁的原理分析进行了全面叙述:

  • (十三)《全面理解并发编程之分布式架构下Redis、ZK分布式锁的前世今生》

至此,整个并发编程系列的文章告一段落,后续缺失的一部分有机会再来补充。

前述中一直在对于并发工具和并发安全问题进行阐述,而对于并发编程其他的一些问题忽略了,如死锁、活锁、锁饥饿等问题,也包括对于线程、进程、纤程、协程等一些概念未做叙述,而如今再在最后进行补充:

  • (十四)《深入并发之线程、进程、纤程、协程、管程与死锁、活锁、锁饥饿详解》

以上文章一般多以底层、原理源码等深度分析为主,虽不能保证绝对权威,但至少能为诸君理解Java并发编程的铺平道路!如果你对于文章中有存在疑义的地方可以在评论区指正留言!

同时如果你感觉文章对于你有帮助,欢迎点赞、评论、收藏、关注!

下期预告:《深入理解Java虚拟机JVM系列》
先上一副个人画的JVM图给大家欣赏:《深入理解Java虚拟机之JVM全景架构图》

身体和心灵总要有一个在路上,要么旅行,要么学习!

你可能感兴趣的:(并发编程终章:Java并发编程系列总纲)