多线程篇-线程安全-原子性、可见性、有序性解析

多线程

原子性

官方解释

原子性的操作是不可被中断的一个或一系列操作，也就是一条指令，完成读写操作。

个人理解

假如当前操作是原子性，那么当其他线程获取操作的变量时，只能获取当前的变量和操作后的变量值，不能获取到操作过程中的中间值，若此时在操作过程中其他操作获取变量值时，则进入阻塞等待状态，直至阻塞结束。

案例

public class ThreadDemo implements Runnable{
    int count = 0;
    @Override
    public void run() {
        count++;
        System.out.println(count);
    }
    public static void main(String[] args){
        ThreadDemo demo = new ThreadDemo();
        for(int i=0;i<1000;i++){
            Thread task = new Thread(demo);
            task.start();
        }
    }
}

解释
提出问题：
main函数中启动了1000个线程，每个线程都对count进行了一次+1操作，理想情况下count最后的期望结果应该是1000，可是我的运行最终结果只有995，执行了1000次+1操作，最后的结果为什么不是1000呢?这就要说到count++操作此时不是原子性的问题了。
问题解释：
先对count++这个操作过程分解，可以分为三步：

1. 取值
2. 加一
3. 赋值
   以上三个单独操作都是原子的，不过合在一起就不是原子性了。
   假如现在有俩个线程A、B共同操作变量count。此时count的初始值是0，线程A读取count的值是0，然后进行count+1操作，此时线程B也进来了，对变量count的取值还是0，然后对count+1操作，此时也将count+1的结果1赋值给count，那么线程A、B都对变量count赋值了俩遍1，最终的结果也是1。那么此时的变量count就不是原子性，因为变量取值、赋值被中断了。

保证原子性操作

加锁

1. 加锁synchronized，保证同一时间只有一个线程操作变量，其他线程需等待上一个线程操作结束才能使用临界资源
2. 使用Lock加锁操作也能保证统一时间只有一个线程操作变量。

CAS操作

CAS（compareAndSwap）操作(也就是：原子类（AtomicInteger等）)，原子类的底层使用了CAS进行比较获取最新的值。

可见性

了解内存知识

1. CPU和内存之间隔着缓存和CPU寄存器。缓存还分为一级、二级、三级缓存。
2. CPU的读写性能上要大于内存，为了提高效率会将数据先取到缓存中。
3. CPU处理完数据后会先放到缓存中，然后同步到内存中。

案例

以上的内存结构会引起是什么问题呢，假如现在有一个变量m，线程A对m做了一次修改，刚放到缓存（工作内存）还未同步到内存时，另外一个线程B也来使用m，读取到的还是var未修改值。

保证可见性操作

加锁

1. 加锁synchronized或者Lock，线程在加锁时，会清空工作内存中共享变量的值，共享变量使用是需要从主内存中重新获取，而不是缓存中获取。

volatile修饰

volatile修饰的共享变量在修改后会立即被更新到内存中，其他线程使用共享变量会去内存中读取。

个人理解：
线程a获取变量，并进行修改操作，此时修改后的共享变量值在缓存中，还未同步在主内存中，此时线程b获取变量，此时的变量是未修改的共享变量，也就是主内存中共享变量值，此时共享变量是不可见的。

补充知识点：
优先使用volatile来解决可见性问题，加锁需要消耗的资源太多。

volatile的两层语义

1. 保证了不同线程对共享变量操作的可见性。即一个线程修改了共享变量的值，新值对于其他线程是立即可见的。
   （一个线程修改了共享变量的值立即刷新到主存中，并且使其他用到此变量的线程缓存失效，从主内存中加载数据）。
   2.禁止进行指令重排序,可在一定程度上保证有序性。

有序性

官方解释

为了优化程序性能，编译器、处理器和运行时会对代码指令进行重排。

个人理解

指令重排为什么会提高程序性能呢，CPU是多核处理的，为了保证处理器资源的充分利用，对代码指令进行乱序处理，即可以多个处理器并行处理指令，防止不相关的指令需要等待上一个指令结束才能开始。

保证有序性操作

1. 加锁synchronized和Lock，保证同一时刻只有一个线程进行操作。
2. 使用volatile修饰变量，在JMM中volatile的读和写都会插入内存屏障来禁止处理器的重排。