FutureTask outcome与volatile底层原理

volatile底层happens-before实现的原理

• volatile具备的可见性(happens-before)的底层实现通过内存屏障实现的
  

  内存屏障

protected void set(V v) {
1. if (UNSAFE.compareAndSwapInt(this, stateOffset, NEW, COMPLETING)) { 
2.     outcome = v;
3.     UNSAFE.putOrderedInt(this, stateOffset, NORMAL); // final state
4. }
}

protected void set(V v) {
StoreStore
1   UNSAFE.compareAndSwapInt(this, stateOffset, NEW, COMPLETING)
StoreLoad
2   outcome = v
StoreStore
3   UNSAFE.putOrderedInt(this, stateOffset, NORMAL)
StoreLoad
}

//第一个StoreStore保证了第一行代码之前的所有写操作已经刷新到了主内存
//第一个StoreLoad保证了第一行代码的写操作已经刷新到了主内存中
//第二个StoreStore保证了第二行代码将值存储到了outcome并且刷新会主内存
//第二个StoreLoad强制把缓冲去的数据刷回到主内存中,让工作内存/CPU高速缓存当中缓存的数据失效,重新到主内存中获取新的数据

//get方法

public V get() throws InterruptedException, ExecutionException {
1. int s = state;
2. if (s <= COMPLETING)
3.    s = awaitDone(false, 0L);
4. return report(s);
}

public V get() throws InterruptedException, ExecutionException {
1 int s = state;
LoadLoad
LoadStore
2   if (s <= COMPLETING)
3   s = awaitDone(false, 0L);
4 return report(s);
}

//LoadLoad 保证第第二行代码在读取的时候,自己缓存内的相应数据失效,Load2会去主内存中获取自行的数据
//LoadStore 一定是第一行代码读取数据完成之后,才能让后面的代码的写操作被其他县城看到