并发编程与线程安全

一、基本概念

1. 线程安全：当多个线程访问某个类时，不管运行时环境采用何种调度方式或者这些进程将如何交替执行，并且在主调代码中不需要任何额外的同步或协调，这个类都能表现出正确的行为，那么就称这个类是线程安全的

2. 线程安全性体现：

1）原子性：提供了互斥访问，同一时刻只能有一个线程来对它进行操作

2）可见性：一个线程对主内存的修改可以及时的被其他线程观察到

3）有序性：一个线程观察其他线程中的指令执行顺序，由于指令重排序的存在，该观察结果一般是杂乱无序

---

二、原子性

1. Atomic包

1）基本说明

	（1）位于java.util.concurrent.atomic

	（2）引用类：AtomicXXX （底层方法核心，Unsafe.compareAndSwapXXX）

	（3）AtomicReference 所提供的某些方法可以进行原子性操作，如compareAndSet、getAndSet，这仅仅是对引用进行原子性操作（不能保证对象中若存在属性值修改是线程安全的）

2）CAS（Compare and swap，比较并交换）

	（1）该算法其实是计算机硬件对于并发操作共享数据的支持，保证了数据的原子性

	（2）CAS算法理解起来非常简单，CAS包含三个操作数：内存值 V；预估值(expect) A；更新值(update) B；

		a. 比较 A 与 V 是否相等。（比较）

		b. 如果比较相等，将 B 写入 V。（交换）

		c. 返回操作是否成功 

2. 锁

JAVA中能保证同一时刻，只有一个线程来进行对其进行操作的，除了atomic包中所提供的类之外，还有jdk提供的锁，JAVA主要提供以下锁：

1）synchronized ：关键字，并且依赖与JVM，作用对象的作用范围内都是同一时刻只能有一个线程对其操作的

2）Lock : 接口类，依赖特殊的CPU指定，使用代码实现，常用子类ReentrantLock

3. 对比

1）synchronized ：不可中断锁，适合竞争不激烈，可读性较好

2）Lock：可中断锁，多样化同步，竞争激烈时能维持常态

3）Atomic：竞争激烈时能维持常态，比Lock性能好；只能同步一个值

---

三、可见性

一个线程对主内存的修改可以及时的被其他线程观察到

1. 导致共享变量在线程间不可见的原因

1）线程交叉执行

2）重排序结合线程交叉执行

3）共享变量更新后的值没有在工作内存与主存间及时更新

2. synchronized

 JMM关于synchronized的两条规定：

1）线程解锁前，必须把共享变量的最新值刷新到主内存

2）线程加锁时，将清空工作内存中共享变量的值，从而使用共享变量时需要从主内存中重新读取最新的值（注意：加锁与解锁是同一把锁）

3. volatile（通过加入内存屏障和禁止重排序优化来实现）

1）对volatile变量写操作时，会在写操作后加入一条store屏障指令，将本地内存中的共享变量值刷新到主内存中

2）对volatile变量读操作是，会在读操作前加入一条load屏障指令，从主内存中读取共享变量

通过上面两点，任何时候，不同的线程总能看到该变量的最新值。所有的指令操作都是CPU级别的

3）结论

	（1）volatile进行加操作线程不安全的，不适合计数场景

	（2）volatile关键字不具有原子性

4）使用场景

	使用volatile必须具备两个条件

	（1）对变量的写操作，不依赖于当前值

	（2）该变量没有包含在具有其他变量的不变式子中

	因此volatile适合作为状态的标记量

---

四、有序性

JAVA内存模型中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性

1. volatile、synchronized、Lock

1）通过 volatile、synchronized、Lock 保证一定的有序性。显然，synchronized、Lock 保证每一个时刻只有一个线程可以执行被同步的代码，相当于让线程顺序执行同步代码，从而保证有序性

2. happens-before原则

JMM具备一些先天的有序性，即不需要额外的手段，就能保证有序性，即 Happens-before 原则，如果两个操作的执行次序，没有办法通过 Happens-before 原则推到出来，虚拟机进行随意的重排序，那么就不能保证有序性

1）程序次序规则：一个线程内，按照代码顺序，书写在前面的操作先行发生于书写在后面的操作

2）锁定规则：一个unLock操作先行发生于后面对同一个锁额lock操作；

3）传递规则：如果操作A先行发生于操作B，而操作B又先行发生于操作C，则可以得出操作A先行发生于操作C

4）线程启动规则：Thread对象的start()方法先行发生于此线程的每个一个动作

5）线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生

6）线程终结规则：线程中所有的操作都先行发生于线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行

7）对象终结规则：一个对象的初始化完成先行发生于他的finalize()方法的开始

---

五、安全发布对象

多线程并发环境下，线程安全极为重要。往往一些问题的发生都是由于不正确的发布了对象造成了对象逸出而引起的，因此如果系统开发中需要发布一些对象，必须要做到安全发布，以免造成安全隐患

1. 发布与逸出

1）发布对象：使一个对象能够被当前范围之外的代码所使用

	（1）在我们的日常开发中，经常要发布一些对象，比如通过类的非私有方法返回对象的引用，或者通过公有静态变量发布对象

2）对象逸出：一种错误的发布情况，当一个对象还没有构造完成时，就使它被其他线程所见（在对象未完成构造之前，不可以将其发布）

	（1）一个导致this引用在构造期间逸出的错误，是在构造函数中启动一个线程，无论是隐式启动线程，还是显式启动线程，都会造成this引用逸出，新线程总会在所属对象构造完毕前看到它

	（2）所以如果要在构造函数中创建线程，那么不要启动它，而应该采用一个专有的start或initialize方法来统一启动线程。我们可以采用工厂方法和私有构造函数来完成对象创建和监听器的注册，这样就可以避免不正确的创建。记住，我们的目的是，在对象未完成构造之前，不可以将其发布

2. 安全发布对象的四种方法

1）在静态初始化函数中初始化一个对象引用

2）将对象的引用保存到volatile类型域或者AtomicReference对象中

3）将对象的引用保存到某个正确构造对象的final类型域中	

4）将对象的引用保存到一个由锁保护的域中

---

参考网址

JAVA并发编程与高并发解决方案 - 并发编程 二（一系列）

注：文章是经过参考其他的文章然后自己整理出来的，有可能是小部分参考，也有可能是大部分参考，但绝对不是直接转载，觉得侵权了我会删，我只是把这个用于自己的笔记，顺便整理下知识的同时，能帮到一部分人。
ps : 有错误的还望各位大佬指正,小弟不胜感激