判断数据是否有竞争、线程是否安全的主要依据
- 1.程序顺序规则:同一个线程内,按照代码出现的顺序,前面的代码先行于后面的代码,准确的说是控制流顺序,因为要考虑到分支和循环结构。
- 2.管程锁定规则:一个解锁操作先行发生于后面(时间上)对同一个锁的锁定操作。
- 3.易失性变量规则:对一个易失性变量的写操作先行发生于后面(时间上)对这个变量的读操作。
- 4.线程启动规则:线程的start( )方法先行发生于该线程的每一个操作。
- 5.线程终止规则:线程的所有操作都先进行线程的终止检测。可以通过Thread.join( )方法结束、Thread.isAlive( )的返回值等手段检测线程的终止。
- 6.线程中断规则:对线程interrupt( )方法的调用先行发生于被中断线程的检测代码到中断事件的发生,可以通过Thread.interrupt( )方法检测线程是否中断
- 7.对象终止规则:一个对象的初始化完成先行于发生它的finalize()方法的开始。
- 8. 传递性:如果操作A先行于操作B,操作B先行于操作C,则操作A先行于操作C。