第四章

线程安全：
多个线程访问某个类，不管采用何种调度方式或这些进程如何交替执行，在主调代码中不需要采用同步或协同，都表现出正常的行为，那么这个类是线程安全的类。

线程安全性：
原子性：提供互斥访问，同一个时刻，只能有一个线程来对它进行操作。
可见性：一个线程对主内存的修改可以及时的被其他线程观察到。
有序性：一个线程观察其他线程中的指令执行顺序，由于指令的重排序的存在，该观察结果一般杂乱无序。

JUC ->ATOMIC，LOCK
synchronized：依赖 JVM
Lock：依赖特殊的CPU指令，代码实现，ReentrantLock

原子性——synchronized
修饰代码块：大括号括起来的代码，作用于调用对象
修饰方法：整个方法，作用于调用对象
修饰静态方法：整个静态方法，作用于所有对象
修饰类：括号括起来的部分，作用于所有对象

对比：
synchronized：不可中断锁，适合竞争不激烈，可读性好。
lock：可中断锁，多样化同步，竞争激烈是能维持常态。
atomic：竞争激烈时能维持常态，比lock性能好，只能同步一个值。

可见性：
导致共享变量再线程间不可见的原因
1.线程交叉执行
2.重排序结合线程交叉执行
3.共享变量更新后的值没有在工作内存与主存间及时更新

有序性:
java内存模型中，允许编译器和处理器对指令进行重排序，但是重排序不会影响单线程程序执行，却会影响多线程并发执行的正确性。(深入理解java虚拟机 【书】)
volatile,synchronized,lock