java并发编程（二）：happened-before

1，java内存模型基础

两个关键的问题是：线程之间如何通信，线程之间如何同步；

每个线程有个本地内存，共享变量存在于主内存中，当要使用这个共享内存的时候，本地内存会存放共享变量的副本，

当A内存有更新，就会将数据刷新到主内存中，B就到主内存中获取A之前更新过的共享变量；

1.1 happens-before:

如果一个操作所执行的结果需要对另一个操作可见，那么两个操作之间必要会存在happened-before 的关系。

规则如下：

（1）一个线程中的每个操作，都happens-before 于该线程中的后续操作；

（2）对于一个锁的解锁，happens-before于随后对这个锁的加锁；

（3）对于volatile 内存的可见性，volatile的写，happens-before 于任意后续对这个volatile的读；

（4）传递性，A happens-before B,B happens-before A,那么A happens-before C;

1.2 重排序

（1）数据依赖性；写后读，写后写，读后写

（2）as-if-serial:不管怎么重排序，程序的执行结果不能改变（在单线程执行中）