重排序、hb、ConcurrentHashMap弱一致性(jdk1.6)

double pi  = 3.14;    //A
double r   = 1.0;     //B
double area = pi * r * r; //C

1、A -> B    //不满足happens- before,不会改变程序执行结果

2、B -> C   //happens- before, 会改变程序执行结果

3、A -> C   //happens- before, 会改变程序执行结果

JMM会对1进行重排序，2、3不会；

在一个线程内，

按照代码顺序，同个字段，书写在前面的操作先行发生于书写在后面的操作

在多线程并发中：

对一个monitor的解锁操作happens-before后续对同一个monitor的加锁操作”、

“对某个volatile字段的写操作happens-before后续对同一个volatile字段的读操作

ConcurrentHashMap

Segment里有两个volatile变量：count和table；HashEntry里有一个volatile变量：value。

get方法弱一致性

含义：往ConcurrentHashMap底层数据结构中加入一个元素后，不能立马对get可见。换句话说，put操作将一个元素加入到底层数据结构后，get可能在某段时间内还看不到这个元素；

因为get方法未加锁，get方法可能会在put方法的执行过程中被调用，这就是get操作是弱一致的根本原因；

另外，在put方法调用结束的时候，get方法一定能获取到值，这是如何保证的呢，因为有一个volatile修饰的变量count的存在，put结束的时候，会写入count，get开始的时候会读取count，这里存在happens- before关系

(对某个volatile字段的写操作happens-before后续对同一个volatile字段的读操作)；

但是，因为get方法未加锁，所以不能保证在put方法调用结束的时候调用get，可能在中间时刻调用（即使put方法已经赋值完成），导致不存在happens- before关系，可能会因为指令重排等原因不能及时得到值；

迭代器弱一致性表现

在遍历过程中，如果已经遍历的数组上的内容变化了，迭代器不会抛出ConcurrentModificationException异常。

因为未加锁，如果未遍历的数组上的内容发生了变化，则有可能反映到迭代过程中，与get类似；