二、可见性

    一个线程对主内存的修改可以及时的被其他线程观察到。

    导致共享变量在线程间不可见的原因：

    ·线程交叉执行。

    ·代码重排序结合线程交叉执行。

    ·共享变量更新后的值没有在工作内存与主内存之间及时更新。

1.可见性-syncronized

    JMM关于syncronized的两条规定：

    1)线程解锁前，必须把共享变量的最新值刷新到主内存中。

    2)线程加锁时，将清空工作内存中共享变量的值，从而使得使用共享变量时需要从主内存中重新读取最新的值（注意，加锁与解锁是同一把锁）

    由于syncronized可以保证原子性及可见性，变量只要被syncronized修饰，就可以放心的使用

2.可见性-volatile

    通过加入内存屏障和禁止重排序优化来实现可见性。

    具体实现过程：

    1）对volatile变量写操作时，会在写操作后加入一条store屏障指令，将本地内存中的共享变量值刷新到主内存。

    2）对volatile变量读操作时，会在读操作前加入一条load屏障指令，从主内存中读取共享变量。

注：volatile不能保证操作的原子性，也就是不能保证线程安全性。

    如果需要使用volatile必须满足以下两个条件：

    1）对变量的写操作不依赖与变量当前的值。

    2）该变量没有包含在具有其他变量的不变的式子中。

    所以volatile修饰的变量适合作为状态标记量。

三、有序性

    Java内存模型中，允许编译器和处理器对指令进行重排序，但重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。

    volatile、syncronized、Lock都可保证有序性。

    一系列操作如果无法保证happens-before原则，就说这段操作无法保证有序性。

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()方法的开始。

四、总结

1.原子性：Atomic包、CAS算法、synchronized、Lock

2.可见性：synchronized、volatile

3.有序性：happens-before原则