线程安全-原子性，可见性，有序性

原子性

一组操作要执行就都执行，不执行就都不执行。

怎么保证原子性

• synchronized 关键字，可以保证只有一个线程持有锁，进入代码块，因此在执行过程中不会被其他线程所干扰，从而保证原子性
• 显示锁 Lock 接口的相关实现类
• 使用原子类。原子类利用 CAS 算法实现原子性

可见性

共享变量的修改对所有线程可见。

产生可见性问题的原因

每个线程都有自己的工作内存，线程在执行操作时，会将共享变量读入到自己的工作内存中，从而导致了贡献变量在线程之间的不可见

怎么保证可见性

• synchronized 关键字：当线程进入到同步代码块时，会将共享变量读入到工作内存，以获取最先的值，退出代码块时，会立刻将工作内存中的值写入到同步代码块
• volatile 关键字：volatile作用在成员变量上，它可以保证所有线程对共享变量的修改能够立刻写入到主内存中，也能保证每次读取共享变量时，都从主内存中获取最新的值
• final 关键字：final 关键字一旦被赋值，就不能被修改。但是要注意引用逃逸问题，比如说在构造方法中有一个线程在 被 final 修饰的变量还未赋初始值之前，就引用了该变量，就会出现线程中读取的值可能和变量的初始值不一致的情况。
• 通过 Lock 的方式加锁实现，实现方式与 synchronized 相同

有序性

程序按照我们指定的顺序执行

怎么保证有序性

1. synchronized 关键字，synchronized 可以在一定程度上保证有序性。在并发时，程序的执行可能会出现乱序。给人的直观感觉就是：写在前面的代码，会在后面执行，这是因为高并发场景下，多个线程共同进入到同一块代码逻辑中造成的。而 synchronized 可以保证同步代码块在同一时间内只有一个线程能够进入，因此也能保证一定的有序性。但是它不能禁止指令重排序

2. volatile 关键字，可以禁止指令重排序。主要是通过在编译是，在指令序列中添加内存屏障实现的