并发原则和先行发生原则

Java并发的三种特性：

原子性：

基本数据类型的访问读写具备原子性，（long和double这种64位的读写操作划分为2次32位操作进行，对这种变量进行读写操作可能会读到一个半个变量，但这种例外几乎不会发生，但虚拟机会把这些操作实现为具有原子性的操作）。

更大的原子性保证可以有lock和unlock操作，尽管虚拟机为把这两个操作直接开放给用户，但却提供了更高层次的字节码指令monitorenter和monitorexit来来实现，反映到java代码中就是synchronized关键字。

可见性：

当一个线程修改了共享变量的值，其他线程能够立即得知之个修改。Volatile的特殊规则就是保证新值能立即同步到主内存，以及每次使用前能立即从主内村刷新。但普通变量不能立即同步和刷新。除了volatile外，synchronized和final也可以保证可见性，前者的可见性是根据规则：对一个变量执行unlock操作之前，必须先把此变量同步回主内存中（执行store和write操作）。Final的可见性是指：被final修饰的字段在构造器中一旦初始化完成，并且构造器没有把”this”的引用传递出去，那在其他线程中就能看见final字段的值。

有序性：本线程内操作都是有序的，多线程中从其中一个看另外一个是无序的。（就是有指令重排序和工作内存和主内存存在同步延迟现象）。使用volatile和synchronized实现有序。

可以看出synchronized是“万能”，但滥用会带来性能的影响。

内存间交互操作：

 

Java内存模型中有序性不仅仅靠volatile和synchronized完成，有一个主要原则来实现顺序：

先行发生原则：

如果说操作A先行发生于操作B，其实就是说在发生操作B之前，操作A产生的影响能被操作B观察到，“影响”包括修改了内存中共享变量的值、发送了消息、调用了方法等。

 

假设线程A中的操作“i=1”先行发生于线程B的操作“j=i”，那么可以确定在线程B的操作执行后，变量j的值一定等于1，得出这个结论的依据有两个：

    一是根据先行发生原则，“i=1”的结果可以被观察到；

    二是线程C还没“登场”，线程A操作结束之后没有其他线程会修改变量i的值

但是当c出现在A和B中间，C和B没有先行发生原则，A和B具有先行发生原则，最后j的值是多少，不确定。1或2

happens-before法则

• 程序次序法则:，在同一个线程内，线程中的每一个动作A都happens-before于该线程中的每一个动作B,其中,在线程中,所有的动作B都出现在动作A之后
• 管程锁定规则:对于一个监视器锁的unLock 操作happens-before于每个后续对同一监视器锁的Lock操作
• volatile变量法则:对volatile域的写入操作happens-before于每个后续对同一个yu域的读操作。
• 线程启动法则:在同一个线程里，对Thread.start的调用会happens-before于每一个启动线程中的动作。
• 线程终结法则:线程中的所有动作都happens-before于其它线程检测到这个线程已经终结，或者从Thread.jonin调用成功返回，或者Thread.isAlive返回false.
• 中断法则:一个线程调用另一个线程的interrupt happens-before 于被中断的线程发现中断(通过抛出InterruptedException 或者调用isInterrupted和interrupted)
• 终结法则:一个对象的构造函数的结束happens-before于这个对象finalizer的开始
• 传递性:如果 A happens-before 于 B,且 B happens-before 于 C，则 A happens-before 于C

比如

//同一个线程中执行 
int i = 1; 
int j = 2;

根据程序次序规则,”int i = 1”的操作先行发生于”int j = 2”,但是”int j = 2”的代码完全可能先被处理器执行，这并不影响先行发生原则的正确性，因为我们在这条线程中并没有办法感知到这点。

使用先行发生原则考虑以下代码

private int value = 0;

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

public int getValue(){
    return value;
}

一个线程A setValue,另一个线程 B getValue.那么线程B收到的返回值是什么?我们依次考虑先行发生原则，显然不符合程序次序规则；没有同步块，自然就不会发生Lock和unlock操作，所以管程锁定规则不适用；由于value变量没有被volatile关键字修饰，所以volatile变量规则不适用；后面的线程启动、终止、中断和对象的终结规则和这里完全没有关系。没有适用先行发生的规则，所以传递性就无从谈起，所以这里的操作不是线程安全的

怎么修复呢？getter/setter 定义synchronized方法；或者把value变量定义volatile变量  就回到了先行发生原则上了。