Java基础之并发相关知识总结
一、Java并发是什么?
用学术定义来说就是
并发:同一时间段,多个任务都在执行 (单位时间内不一定同时执行);
简单来说就是,同一个时间段,让计算机同时做多个事情。
说到并发
,不得不提就是并行
:
并行:单位时间内,多个任务同时执行。
两者大眼一看很像,仔细一想却并不相同,因为并行
强调某个时间点多个任务同时执行,而并发
强调的是一个时间段内多个任务都在执行。
二、怎么做?
大部分并发问题,最终都可以抽象成三类问题分工、同步和互斥。而且针对不同的问题有着不同的方式来解决,具体如下图所示:
三、分工
所谓分工
,类似于现实中一个组织完成一个项目,项目经理要拆分任务,安排合适的成员去完成。
在并发编程领域,你就是项目经理,线程就是项目组成员。任务分解和分工对于项目成败非常关键,不过在并发领域里,分工更重要,它直接决定了并发程序的性能,并且分工非常重要且复杂,因而Java并发包中有一系列方法来实现分工
:
- “Executor与线程池”
- “ForkJoin”
- “Future的使用”
基于分工思想设计的并发设计模式也有很多:
- “Guarded Supension模式”
- “Balking模式”
- “Threa-Per-Message模式”
- “生产者-消费者模式”
- “Work Thread模式”
- “两阶段终止模式”
四、同步
而同步
更多描述的是一种协同关系,在分完工之后,具体执行时,任务之间会有依赖,一个任务之后完成之后,其他依赖它的任务才能开始进行,因而就引入的同步
来协同各个任务之间的执行顺序。
针对该类问题,Java也提供了一系列工具来辅助解决:
- “信号量(Semaphore)机制”
- “管程(Monitor)”
- “CountDownLatch”
- “CyclicBarrier”
- “Phaser”
- “Exchanger”
五、互斥
分工、同步主要为了充分发掘CPU的性能来解决问题,但并发问题中,还需要解决正确性问题,即保证线程安全
。
当多个线程同时访同一个变量时,最后执行的结果是不确定的,比如下边这段代码:
public class UnsafeSequence { private int value = 0; public int getNext() { return ++value; } }
如果我们有多个线程同时调用getNext()
时,多个线程之间推进顺序的不同可能会有不同的执行结果:
可能会是2,递推顺序如下:
可能结果是1,代码执行顺序如下:
因而结果是不确定的,也就是说结果可能是正确的(比如上边的程序执行结果为2),可能是错误的(比如执行结果是1),执行前是不知道的。而导致不确定的主要源头主要是三个问题可见性问题、有序性问题和原子性问题,为了解决这三个问题,Java引入了内存模型,内存模型提供一系列规则利用这些规则,我们可以避免可见性问题、有序性问题,但是还不足以完全解决线程安全问题。解决线程安全问题的核心方案还是互斥
。
所谓互斥,指的是同一时刻,只允许一个线程访问共享变量。
实现互斥主要手段是互斥锁主要包含下边这些手段:
- Synchronized
- Lock
- 读写锁
除此之外,未来提高速度,也有一些无锁的方案:
- 不变模式
- 线程本地存储
- CAS
- Copy - on - Write
- 原子类
六、总结
本文主要从分工、同步和互斥三类问题展开,从解决对应问题角度出发大致梳理了Java并发知识的学习前景图。后续将分若干部分来讲对应的内容。
到此这篇关于Java基础之并发相关知识总结的文章就介绍到这了,更多相关Java并发内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!