java并发编程之三大源头问题

1、性能提升的优化

由于硬件原因，cpu的运行速度远大于内存、I/O的速度。

为了提高性能，

1）出现了cache，平衡与内存的速度，但是会出现可见性问题

2）操作系统出现了线程和进程，以复用cpu，平衡cpu与磁盘设备之间的速度差异

3）编译程序优化了执行次序，但是会出现有序性问题

2、并发的三大问题

1）缓存导致的可见性问题

（1）可见性表示在一个线程中修改了共享变量，另一个线程会立马看到

（2）多核cup和缓存的关系：

数据存放到内存中，每核cpu都有自己的缓存，缓存中如果存放了共享变量，每个cpu都只对自己的缓存做了修改，另一核cpu不能里面看到共享变量的变化，就会造成可见性问题

这个时候，就不得不提到java的内存模型了

（2）java的内存模型

每一个线程都访问自己的工作空间，共享变量存在主内存中，每个线程中的工作空间存在一份共享变量的副本，每个线程使用自己的共享变量的副本。

但是如果一个线程修改了共享变量，还没有更新到主内存中，另一个线程没立马看到更改的共享变量，这样就造成了可见性问题。

2）线程切换带来的原子性问题

（1）线程切换为什么会带来原子性问题

原子性：一个或多个操作在cpu中执行的过程中不被中断的特性。

操作系统允许某个线程执行一段时间后，比如其中一个去做了io操作（文件读取等），cpu就可以切换到另一个线程去执行，这种情况叫线程切换。

比如count++命令，操作系统会做三步操作

1）先把变量从内存中加载到cpu寄存器中

2）对count进行+1操作

3）将count的值写入到内存（也可能写到缓存）中

这时候2个线程进行切换，可能线程a执行到步骤2就切换到线程b，线程b获取到旧的count值执行下面3个操作，然后线程a继续往下执行，这样就导致count值少了1次+1操作。

3）编译优化造成的有序性问题

（1）为什么会造成有序性问题

public class SingleInstance { 
    private static SingleInstance instance; 
    public static SingleInstance getInstance(){ 
    if(instance == null){ 
        synchronized (SingleInstance.class){
         if(instance == null){ 
            instance = new SingleInstance(); } }
        }
        return instance; 
    } 
}

instance = new SingleInstance()会做下面的3步操作

1）分配空间

2）初始化对象

3）将对象指向内存空间

编译优化后，顺序可能会变成1,3,2，这样线程b可能先初始化对象，这样去访问instance就会报错

参考资料：

1、冰河大神的深入理解并发编程

2、极客时间java并发编程