线程安全的三大特性:
1,原子性:同一个时间只能有一个线程能对它操作
2,可见性:对主内存中的修改,能够及时被其他线程观察到
3,有序性:保证代码的从上往下的执行顺序,
3.1 .happens-before原则
1)程序次序规则:一个线程内,按照代码顺序,书写在前面的操作先行发生于书写在后面的操作。
2)锁定规则:一个unLock操作先行发生于后面对同一个锁的Lock()操作。
3)volatile变量规则:对一个变量的写操作先行发生于后面对这个变量的读操作。
4)传递规则:如果操作A先行发生与操作B,而操作B先行发生于操作C,则操作A先行发生于操作C。
5)线程启动规则:Thread对象的start()方法先行发生于此线程的每一个动作。
6)线程终端规则:对线程interrupt()方法的调用先行发生与被中断线程的代码检测到中断事件的发生(只有执行了interrupt()方法才可以检测到中断事件的发生)。
7)线程终结规则:线程中所有操作都先行发生于线程的终止检测,我们可以通过Thread.join()方法结束,Thread.isAlive()的返回值手段检测到线程已经终止执行。
8)对象终结规则:一个对象的初始化完成先行发生于他的finalize()方法的开始。