Java内存模型与线程(五):先行发生原则

1.程序次序规则：同一个线程，按照代码次序，准确来说是按照控制流顺序而不是程序代码顺序

2.管道锁定规则：unlock操作先行于后面对同一个锁的lock操作

3.volatile变量规则：对于修饰的变量，这里的写操作先行发生于读操作。

4.线程启动规则：Thread对象的start方法先行于发生于此线程的每一个动作。

5.线程终止规则：线程所有的操作都先行发生于对此线程的终止检测。

6.线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断时间的发生。

7.对象终结规则：一个线程初始化完成先行于它的finalize()方法的开始。

8.传递性：先行性具有传递性。

下面举一个例子，来说明线程发生原则关系

package cn.edu.hust;

public class Node {
    private int value;
    private int leftChild=Integer.MAX_VALUE;
    private int rightChild=Integer.MAX_VALUE;

    public Node() {
    }

    public Node(int value, int leftChild, int rightChild) {
        this.value = value;
        this.leftChild = leftChild;
        this.rightChild = rightChild;
    }

    public boolean isLeaf()
    {
        return leftChild==Integer.MAX_VALUE&&rightChild==Integer.MAX_VALUE;
    }

    public int getValue() {
        return value;
    }

    public void setValue(int value) {
        this.value = value;
    }

    public int getLeftChild() {
        return leftChild;
    }

    public void setLeftChild(int leftChild) {
        this.leftChild = leftChild;
    }

    public int getRightChild() {
        return rightChild;
    }

    public void setRightChild(int rightChild) {
        this.rightChild = rightChild;
    }
}

如果对于上面的一个getter，setter方法，在不同的线程中，由于以上的规则都不适合，那么就是线程不安全的。