- 前言
- 一、分工
- 二、同步
- 三、互斥
- 四、并发问题的源头
- 1.缓存导致的可见性问题
- 2.线程切换带来的原子性问题
- 3.编译优化带来的有序性问题
- 只要我们能够深刻理解可见性、原子性、有序性在并发场景下的原理,很多并发 Bug 都是可以理解、可以诊断的。
前言
并发编程可以抽象成三个核心问题:分工、同步和互斥
一、分工
Java SDK 并发包里的 Executor、Fork/Join、Future 本质上都是一种分工方法。除此之外,并发编程领域还总结了一些设计模式,基本上都是和分工方法相关的,例如生产者 - 消费者、Thread-Per-Message、Worker Thread 模式等都是用来指导你如何分工的
二、同步协作问题,几个线程之间的交接,唤醒。
管程是解决并发问题的万能钥匙。
线程安全:锁
一个线程对共享变量的修改,另外一个线程能够立刻看到,我们称为可见性。
2.线程切换带来的原子性问题我们把一个或者多个操作在 CPU 执行的过程中不被中断的特性称为原子性。
3.编译优化带来的有序性问题Java 领域一个经典的案例就是利用双重检查创建单例对象
public class Singleton {
static Singleton instance;
static Singleton getInstance(){
if (instance == null) {
synchronized(Singleton.class) {
if (instance == null)
instance = new Singleton();
}
}
return instance;
}
}
只要我们能够深刻理解可见性、原子性、有序性在并发场景下的原理,很多并发 Bug 都是可以理解、可以诊断的。


