线程安全:
多个线程访问某个类,不管采用何种调度方式或这些进程如何交替执行,在主调代码中不需要采用同步或协同,都表现出正常的行为,那么这个类是线程安全的类。
线程安全性:
原子性:提供互斥访问,同一个时刻,只能有一个线程来对它进行操作。
可见性:一个线程对主内存的修改可以及时的被其他线程观察到。
有序性:一个线程观察其他线程中的指令执行顺序,由于指令的重排序的存在,该观察结果一般杂乱无序。
JUC ->ATOMIC,LOCK
synchronized:依赖 JVM
Lock:依赖特殊的CPU指令,代码实现,ReentrantLock
原子性——synchronized
修饰代码块:大括号括起来的代码,作用于调用对象
修饰方法:整个方法,作用于调用对象
修饰静态方法:整个静态方法,作用于所有对象
修饰类:括号括起来的部分,作用于所有对象
对比:
synchronized:不可中断锁,适合竞争不激烈,可读性好。
lock:可中断锁,多样化同步,竞争激烈是能维持常态。
atomic:竞争激烈时能维持常态,比lock性能好,只能同步一个值。
可见性:
导致共享变量再线程间不可见的原因
1.线程交叉执行
2.重排序结合线程交叉执行
3.共享变量更新后的值没有在工作内存与主存间及时更新
有序性:
java内存模型中,允许编译器和处理器对指令进行重排序,但是重排序不会影响单线程程序执行,却会影响多线程并发执行的正确性。(深入理解java虚拟机 【书】)
volatile,synchronized,lock