先行并发原则是判断数据是否存在竞争,线程是否安全的主要依据,依据这个原则,我们可以通过几条规则一揽子地解决并发环境下两个操作是否存在冲突的所有问题
Java内存模型下天然的先行发生关系,,这些先行发生关系无须任何同步器协助就已经存在,可以在编码中直接使用
- 程序次序规则:在一个线程内,按照程序代码顺序,书写在前面的操作先行发生于书写在后面的操作
- 管程锁定规则:一个unlock操作先行发生与后面对同一个锁的lock操作
- volatile变量规则:对一个volatile变量的写操作先行发生于后面对这个变量的读操作
- 线程启动规则:Thread对象的start方法先行发生于此线程的每一个动作
- 线程终止规则:线程中的所有操作都先行发生于对此线程的终止检测
- 线程中断规则:对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断时间的发生
- 对象终结规则:一个对象的初始化完成,先行发生于它的finalize()方法的开始
- 传递性:
时间先后顺序与先行发生原则之间基本没有太大关系,一切必须以先行发生原则为准