Volatile关键字实现原理

在这一篇文章中，我将介绍java中实现volatile关键字相关的知识，包括编译屏障、内存屏障、JMM、内存一致性模型等。

我会先从volatile在java中的特性入手，然后讲解java中volatile在x86-tso中的实现，最后讲解java中volatile在JMM中是如何实现的，这样的安排个人觉得是由浅入深的，可以减少读者的阅读负担，使读者不需要一次性了解太多的概念。

这篇文章是我整理大量的文章后总结出来的，个人可以说服我自己，但是有错误是在所难免的，请大家不要尽信，多看其他资料进行验证。

volatile变量特性

在java中，将一个变量声明为volatile，意味着该变量具有两个特性

原子性
可见性
禁止部分重排序

原子性

对vlatile变量的读写操作是原子的，java的64位普通变量不保证是原子性的

可见性

对一个volatile变量的读，总是能看到最后一次对该变量的写。在编译器和CPU上，需要保证每次对变量的读取都会从内存中获取而不从寄存器或者cache中获取缓存值，每次对变量的修改都会立即写入内存中

禁止部分重排序

对volatile变量的读，具有acquire语义（jdk5以后增加）
对volatile变量的写，具有release语义（jdk5以后增加）
volatile变量间，禁止重排序（jdk5之前就有）

指令重排序

这些指令重排序的目的是编译器和处理器为了加快指令执行速度，从而尽可能优化指令排列，但是他们也带来了一些问题：编译器和处理器保证，对单线程程序，优化后的的执行顺序和优化前的执行顺序“看起来”一样，但是对于多线程程序，则不保证。

指令重排序会影响volatile的可见性，为了实现volatile的可见性，需要利用编译屏障防止编译器指令重排序，利用内存屏障防止处理器和内存系统做指令重排序。

在讲述禁止指令重排序之前，我们先看一些指令重排序的例子：

a = 0
b = 0
c = 0
void p() {
    b = 1                   // 0
    a = 1                   // 1
    b = 2                   // 2
    c = a + b               // 3
}
void q() {
    while (true) {
        if (b == 2) {           // 4
            assert (a == 1)     // 5
        }
    }
}

在单线程中，我们执行p()，指令1和指令2没有数据依赖关系，有可能会出现指令2在指令1之前执行，但是指令3一定是在指令1和指令2完成之后才执行，但是对于我们软件工程师来说，在单线程中，我们观察不到重排序，这是编译器和处理器提供给我们的承诺，是我们能够编写可预测代码的基础。
现在来看一个多线程程序，我们分别执行在两个线程中执行p()和q()，有可能会出现断言失败的情形，按照我们的预测，当b为2的时候，一定有a为1，但是发生了重排序，指令2先于指令1执行了，导致断言失败。注意在多线程中，我们观察到了重排序，这是编译器和处理器没有给我们提供的抽象。

编译器和处理器保证给软件工程师的承诺：

在单线程中，软件工程师观察不到重排序现象

在多线程中，软件工程师可以观察到重排序现象

指令重排序类型

在搞明白指令重排序之后，我们先看下都有哪些重排序操作：

编译器重排序：编译器（包括解释器）为了加快程序执行速度，会重新排序指令，排序后的指令在单线程中执行的结果会保证和原有的执行结果不变，但是在多线程时则不保证
指令重排序：CPU可以对没有数据依赖的指令乱序执行，在部分处理器，访存指令不会重排序，比如X86-TSO
内存伪重排序：由于在访问内存的中间包含有CPU独享级的缓存机制，使得在读写内存时看到不一致的值，就好像出现了指令乱序一样

java的volatile重排序规则

为了实现java的volatile语义，java限制了某些操作的指令重排序

volatile重排序规则

第二行，如果第一个操作是读，则后续的任何读写都不允许重排序到读前面，是acquire的语义
第三列，如果第一个操作是写，则之前的任何读写都不允许重排序到写后面，是release的语义
右下角四个，不允许volatile变量间重排，是jdk5之前的语义

volatile变量间重排序的例子

volatile a = b = 0;
void t1() {
    a = 1;      // 1
    r1 = b;     // 2
}
void t2() {
    b = 1;      // 3
    r2 = a;     // 4
}

如果允许1和2，3和4重排，则会出现r1和r2都等于0的情况，而这是不应该出现的。所以java禁止volatile变量间的重排序。

顺序一致性模型

因为在多线程中，线程之间的通信最终都会通过内存(哪怕是锁、信号量等同步机制)来完成，指令重排序在多线程编程中的影响也都是通过内存的访问次序来体现出来。

指令重排序为我们带来了多线程编程时的复杂性，但是考虑到指令重排序带来的对性能上的巨大提升和历史原因，短期内应该是不可能去掉指令重排序的，这是现状。

虽然指令重排序短期内无法去除，但我们可以建立一个模型帮助我们分析指令重排序带来的影响，在这个模型中，不会发生任何指令重排序，所有操作都是原子执行且立刻对其他线程可见，所有线程中的指令按照顺序依次执行，我们把这个模型叫做顺序一致性模型，这是理想。

顺序一致性模型：对于一个程序来说，所有操作都是原子执行且立刻对其他线程可见，在单线程程序，程序的执行顺序和从上到下依次执行指令的结果一致，在多线程程序中，指令的执行顺序是每个单线程执行顺序的交叉排列

在多线程程序中，指令的执行顺序是每个单线程执行顺序的交叉排列是指，想象你在使用两个打印线程各打印一个数组a1...a9和b1...b9，根据调度策略的不同你会得到不同的结果，但是顺序一致性保证你看到数组中，对于任意的a[n-1]都出现在a[n]前面。

在理想与现实之间，我们选择一个权衡，我们不要求完全的顺序一致性模型，这样性能太低，但是我们也不能任由指令重排序，这样对软件工程师的开发太过反直觉，我们允许指令重排序，但是我们要求编译器和处理器给我们提供一种机制，可以禁止某些指令重排序，从而实现局部性的顺序一致性，这个机制就是内存屏障，编译器提供给我们的叫做优化屏障，处理器提供给我们的叫做CPU内存屏障。

X86-TSO

在讲解volatile之前，我们还需要了解一些X86-TSO的硬件知识

TSO表示完全存储定序，是内存一致性模型的一种，内存一致性模型一共有四种，分别是SC-顺序一致模型（我们上面提到的顺序一致性模型），TSO-完全存储定序（我们即将要讲述的X86-TSO就是它的一个实现），PSO-部分存储定序，RMO-宽松存储定序，其内存一致性保证逐级降低

X86-TSO的内存一致性模型

X86-TSO内存模型

在CPU级别，有寄存器，对于短时间频繁使用的变量，编译器可以选择将其值缓存在寄存器级别，在这期间，其他CPU看不到该变量内容的改变
在CPU和高速缓存之间有一个写缓冲区StoreBuffer，CPU会将写操作推入写缓冲区，在之后的某个时间点按照FIFO写入内存，在这期间，其他CPU看不到该变量内容的改变。注意，存在写缓冲区并且以FIFO进行工作，就是TSO-完全存储定序内存模型的工作方式。
Cache，高速缓存，可以有多级，但是因为MESI缓存一致性协议可以保证各个处理器之间缓存一致，所以在这个层次上不会有各处理器数据不一致的情况
内存，各处理器共享，不会有数据不一致的情况

X86-TSO内存模型可能出现的问题

// a、b为全局变量，r1、r2为局部变量
a = 0
b = 0
void cpu0() {
    store a = 1;     // Sa
    load r1 = b;     // Lb
}
void cpu1() {
    store b = 1;     // Sb
    load r2 = a      // La
}

SC-顺序一致性模型下的理想情况

按照SC-顺序一致性模型来说，该代码的执行次序有六种：

Sa Lb Sb La

Sa Sb Lb La

Sa Sb La Lb

Sb La Sa Lb

Sb Sa Lb La

Sb Sa La Lb

在这六种执行次序中，起码最后一条指令一定是个load指令，r1和r2中起码有一个值是1

TSO-完全存储定序模型下的异常情况

但是按照TSO模型，存在下面的情况，无法满足顺序一致性模型的要求：

指令Sa写入a为1到写缓冲区，加载b的值为0到r1局部变量；
指令Sb写入b为1到写缓冲区，加载a的值为0到r2局部变量中；
之后StoreBuffer的值被刷新到内存中，但此时为时已晚，r1=r2=0。

值得注意的是，这时候并没有发生指令重排序，但是因为StoreBuffer的存在，使得软件工程师“看起来”好像程序在执行过程把代码中的load指令重排序到了store前面了，这就是TSO模型下的StoreLoad重排序现象。

这里需要注意的是：实际上这是一个“可见性”的问题，由于StoreBuffer的存在，对一个变量的修改没有理解对其他线程中可见，

内存屏障

还记得吗？处理器为了提供性能放开了顺序一致性的严格限制，那么就必须提供某种给我们实现局部顺序一致性的机制，也就是X86内存屏障。那么X86给我们提供了哪些CPU内存屏障呢？

编译器优化屏障

优化屏障可以用来禁止编译器在编译时进行指令重排序，如下就是一条优化屏障。

asm volatile("":::"memory")

asm: 表示该指令是条嵌入式汇编指令

volatile: 表示该指令不能被编译器优化

"":::"memory": 这是gcc的嵌入式汇编格式，具体含义这里不讲，只讲我们需要的，第一个""表示该指令是个空指令，上面的volatile保证这条空指令不被优化掉，第二个"memory"是破坏描述符，memory表示内存将会被修改，之后的指令不能使用寄存器中缓存的值，需要重新从内存中load进来，因为需要重新load，有内存依赖关系，所以后面的指令都不会重新排到前面

将第一个""里面的指令换成CPU内存屏障指令，就会使得原有指令变成一个同时具有CPU内存屏障和优化屏障的指令，这篇文章把这样同时具有运行时和编译时双重屏障功能的屏障叫做内存屏障指令。

GCC汇编指令中的"memory"描述符可以做到两件事：

让编译器后续指令的变量的值重新从内存中读取
让编译器不要把后面的指令不会重排到前面

从而实现优化屏障的功能

单核

asm volatile("":::"memory")

在单核系统中，因为只有一个CPU，不存在多个CPU读写不同的存储，所以不会发生StoreLoad现象，直接使用空指令当作CPU内存屏障指令就行。

X86-32

asm volatile("lock; addl $0x0, (%esp)":::"memory")

在X86-32位处理器中，提供给我们一个lock指令前缀，lock前缀是一个特殊的信号，执行过程如下：

对总线和缓存上锁。
强制所有lock信号之前的指令，都在此之前被执行，并同步相关缓存。
执行lock后的指令（如cmpxchg）。
释放对总线和缓存上的锁。
强制所有lock信号之后的指令，都在此之后被执行，并同步相关缓存。

如上，lock指令可以实现内存屏障的功能，在上面的汇编语言中addl $0x0, (%esp)的含义是将栈顶加0，相当于空指令，这是因为lock语法不允许在后面写空指令，最后仍然是用memory实现优化屏障。

X86-64

asm volatile("mfence":::"memory")
asm volatile("lock; addl $0x0, (%esp)":::"memory")

在X86-64位处理器中，提供给我们一个mfence内存屏障指令，在mfence指令前的读写操作当必须在mfence指令后的读写操作前完成，最后仍然是用memory实现优化屏障。
这里值得注意的是，

在X86-TSO中，存在写缓冲器，从而可能出现StoreLoad重排序现象，为了解决这个问题，硬件开放给我们CPU内存屏障指令，加上编译器提供的优化屏障，软件工程师消除未正确同步的StoreLoad重排序现象，从而实现局部的顺序一致性。

volatile语义在X86-TSO上的实现

a = 0
b = 0       // b是我们要实现的volatile变量
c = 0
void p() {
    a = 1
    // 插入编译器屏障（StoreStore），防止a=1重排到把b=2后面
    asm volatile("":::"memory")
    b = 2
    // 插入mfence指令（StoreLoad），清空StoreBuffer，保证a=1的指令被刷新到内存中，也防止编译器将c=1重排到前面
    asm volatile("mfence":::"memory")
    c = 1
}
void q() {
    while (true) {
        a = 3
        r1 = b
        // 插入编译器屏障（LoadLoad），重新内存读取，防止a=3重排到后面
        asm volatile("":::"memory")
        // 插入编译器屏障（LoadStore），重新内存读取，防止后面的指令重排到前面
        asm volatile("":::"memory")
        r2 = a
        if (r1 == 2) {
            assert (r2 == 1)
        }
        c = 5
    }
}

volatile在JMM上的实现

我们知道，java是跨平台的，java为所有平台提供一个统一的内存模型JMM，java需要在各种硬件内存模型上构建出JMM，我们接下来将会讨论怎么将volatile语义迁移到JMM上。

内存一致性模型

各种硬件众多，但是我们硬件内存一致性模型只有4种，就是我们上面提到的SC、TSO、PSO、RMO，所以JMM只需要在这四种内存一致性模型上实现voaltile的语义就可以了，而我们已经实现了TSO的volatile语义。我们上面了解到了X86-TSO的硬件细节，是为了我们更好的理解内存一致性问题，这里我们不再去探究其他硬件内存一致性模型的硬件细节，而是关注于不同内存一致性模型的抽象、问题和解决方案。

在访存指令上，Load指令用于读取内存，Store指令用于写入内存，按照操作形式，共有四种重排序现象：LoadLoad、LoadStore、StoreLoad、StoreStore。

X86-TSO有StoreLoad重排序现象，对此其提供了mfence和lock等内存屏障，其他内存一致性模型也有重排序现象，也提供了解决方案。

SC：无重排序现象，也不需要解决方案
TSO：有StoreLoad现象，需要可以实现StoreLoad内存屏障的指令
PSO：有StoreStore/StoreLoad现象，需要可以实现StoreStore/StoreLoad内存屏障的指令
RMO：有StoreStore/StoreLoad/LoadLoad/LoadStore现象，需要可以实现StoreStore/StoreLoad/LoadLoad/LoadStore内存屏障的指令

那么这四种内存屏障的作用是什么呢？

主流硬件的重排序现象和屏障指令

主流

注意：no-op是说不需要额外的CPU内存屏障指令，但是仍然需要编译器屏障指令

JMM内存屏障

那么如何使用内存屏障实现volatile在JMM中的语义呢？Doug Lea大神在The JSR-133 Cookbook for Compiler Writers文章中给出了答案，至于如何推导出这个答案，可以看11，下面给出Doug Lea的答案：

VolatileRules

但是呢，这个规则对于编译器作者而言太不友好了，还要分第一操作和第二操作的类型，太复杂了，为此，编译器决定使用一个更加严格却更容易实现的规则来实现：

在每个volatile写前面加入一个StoreStore
在每个volatile写后面加入一个StoreLoad
在每个volatile读后面加入一个LoadLoad
在每个volatile读后面加入一个LoadStore

这也是我们上面在x86-TSO上所采用的规则。

接下来我们看看Java是如何实现这四种屏障的，以下是java12中的源码：

inline void OrderAccess::loadload()   { compiler_barrier(); }
inline void OrderAccess::storestore() { compiler_barrier(); }
inline void OrderAccess::loadstore()  { compiler_barrier(); }
inline void OrderAccess::storeload()  { fence();            }

inline void OrderAccess::acquire()    { compiler_barrier(); }
inline void OrderAccess::release()    { compiler_barrier(); }

inline void OrderAccess::fence() {
   // always use locked addl since mfence is sometimes expensive
#ifdef AMD64
  __asm__ volatile ("lock; addl $0,0(%%rsp)" : : : "cc", "memory");
#else
  __asm__ volatile ("lock; addl $0,0(%%esp)" : : : "cc", "memory");
#endif
  compiler_barrier();
}

volatile实现机制

那么Java是如何使用这些内存屏障的呢？

putstatic和getstatic字节码

// https://github.com/openjdk/jdk/blob/master/src/hotspot/share/interpreter/bytecodeInterpreter.cpp

// getstatic
TosState tos_type = cache->flag_state();
int field_offset = cache->f2_as_index();
if (cache->is_volatile()) {
  // 这是ARM和Power处理器的细节上的兼容，我们不考虑
  if (support_IRIW_for_not_multiple_copy_atomic_cpu) {
    OrderAccess::fence();
  }
  if (tos_type == atos) {
    VERIFY_OOP(obj->obj_field_acquire(field_offset));
    SET_STACK_OBJECT(obj->obj_field_acquire(field_offset), -1);
  } else if (tos_type == itos) {
    SET_STACK_INT(obj->int_field_acquire(field_offset), -1);
  } else if (tos_type == ltos) {
    ...
  }
} else {
  if (tos_type == atos) {
    VERIFY_OOP(obj->obj_field(field_offset));
    SET_STACK_OBJECT(obj->obj_field(field_offset), -1);
  } else if (tos_type == itos) {
    SET_STACK_INT(obj->int_field(field_offset), -1);
  } else if (tos_type == ltos) {
    ...    
  }
}

// putstatic
int field_offset = cache->f2_as_index();
if (cache->is_volatile()) {
  if (tos_type == itos) {
    obj->release_int_field_put(field_offset, STACK_INT(-1));
  } else if (tos_type == atos) {
    VERIFY_OOP(STACK_OBJECT(-1));
    obj->release_obj_field_put(field_offset, STACK_OBJECT(-1));
  } else if (tos_type == btos) {
    ...
  }
  OrderAccess::storeload();
} else {
  if (tos_type == itos) {
    obj->int_field_put(field_offset, STACK_INT(-1));
  } else if (tos_type == atos) {
    VERIFY_OOP(STACK_OBJECT(-1));
    obj->obj_field_put(field_offset, STACK_OBJECT(-1));
  } else if (tos_type == btos) {
    ...
  }
}

在读取volatile变量时，会调用int_field_acquire，而普通变量则会调用int_field
在写入volatile变量时，会调用release_int_field_put，在写入完成后会调用OrderAccess::storeload()内存屏障，这是符合我们预期的，而普通变量则会调用int_field_put。

那么另外三个内存屏障去哪了呢？我们怀疑在读取变量时，int_field_acquire比int_field在后面多了LoadLoad和LoadStore屏障，而release_int_field_put比int_field_put在前面多了StoreStore屏障。我们看看是不是这样的。

// https://github.com/openjdk/jdk/blob/master/src/hotspot/share/oops/oop.cpp

inline jint oopDesc::int_field(int offset) const { 
    return HeapAccess<>::load_at(as_oop(), offset);
}
inline void oopDesc::int_field_put(int offset, jint value)  {
    HeapAccess<>::store_at(as_oop(), offset, value);
}
jint oopDesc::int_field_acquire(int offset) const { 
    return HeapAccess::load_at(as_oop(), offset);
}
void oopDesc::release_int_field_put(int offset, jint value) {
    HeapAccess::store_at(as_oop(), offset, value);
}

在读取volatile变量的时候带有MO_ACQUIRE，普通变量没有
在写入volatile变量的时候带有MO_RELEASE，普通变量没有

那么MO_ACQUIRE、MO_RELEASE到底是什么意思呢？HeapAccess是干嘛的呢？load_at和store_at的逻辑又是什么呢？

Acquire和Release语义

// == Memory Ordering Decorators ==
// MO_ACQUIRE is equivalent to JMM acquire.
// MO_RELEASE is equivalent to JMM release.
//  * MO_ACQUIRE: Acquiring loads.
//    - An acquiring load will make subsequent memory accesses observe the memory accesses
//      preceding the releasing store that the acquiring load observed.
//    - Guarantees from relaxed loads hold.
//  * MO_RELEASE: Releasing stores.
//    - The releasing store will make its preceding memory accesses observable to memory accesses
//      subsequent to an acquiring load observing this releasing store.
//    - Guarantees from relaxed stores hold.

acquire和relase都是单向屏障，如上面所说：

ACQUIRE：LoadAcquire之后的任何读写都不允许重排序到LoadAcquire前面
RELEASE：ReleaseStore之前的任何读写都不允许重排序到ReleaseStore后面
Acquire和Release都是单向屏障，需要配对使用才能实现类似全屏障的功能，好处是不需要StoreLoad屏障，StoreLoad屏障在大多数CPU架构上开销都比较大，在实现上

Acquire和Release
在LoadAcquire之后放置LoadLoad和LoadStore屏障
在ReleaseStore之前放置LoadStore和StoreStore屏障

LoadAcquire和ReleaseStore实现

HeapAccess是用来从堆内存中访问变量的值的，其范型参数是访问内存时的描述符，从上面LoadAcquire和ReleaseStore语义的描述来看，LoadLoad、LoadStore、StoreStore屏障是放在了LoadAcquire和ReleaseStore语义的实现中的，那么显然是和MO_ACQUIRE、MO_RELEASE这两个内存访问描述符有关，那么内存访问描述符对load_at和store_at的影响是什么呢？我对C++实在不了解，只能看懂个大概，大概的流程如下：

template 
template 
inline typename EnableIf<
  HasDecorator::value, T>::type
RawAccessBarrier::load_internal(void* addr) {
  return OrderAccess::load_acquire(reinterpret_cast(addr));
}
template 
template 
inline typename EnableIf<
  HasDecorator::value>::type
RawAccessBarrier::store_internal(void* addr, T value) {
  OrderAccess::release_store(reinterpret_cast(addr), value);
}

带有MO_ACQUIRE描述符将会调用OrderAccess::load_acquire
带有MO_RELEASE描述符将会调用OrderAccess::release_store

template 
inline T OrderAccess::load_acquire(const volatile T* p) {
  return LoadImpl >()(p);
}
template 
inline void OrderAccess::release_store(volatile D* p, T v) {
  StoreImpl >()(v, p);
}

template
struct OrderAccess::PlatformOrderedStore {
  template 
  void operator()(T v, volatile T* p) const {
    ordered_store(p, v);
  }
};
template
struct OrderAccess::PlatformOrderedLoad {
  template 
  T operator()(const volatile T* p) const {
    return ordered_load(p);
  }
};

template 
inline void OrderAccess::ordered_store(volatile FieldType* p, FieldType v) {
  ScopedFence f((void*)p);
  Atomic::store(v, p);
}
template 
inline FieldType OrderAccess::ordered_load(const volatile FieldType* p) {
  ScopedFence f((void*)p);
  return Atomic::load(p);
}

而带有MO_ACQUIRE描述符最终会调用OrderAccess::ordered_load，其中FenceType=X_ACQUIRE
而带有MO_RELEASE描述符最终会调用OrderAccess::ordered_store，其中FenceType=RELEASE_X

看OrderAccess::ordered_load和OrderAccess::ordered_store这两个函数，显然，内存屏障就隐藏在ScopedFence f((void*)p)这条语句语句中，看下怎么实现的：

template 
class ScopedFence : public ScopedFenceGeneral {
  void *const _field;
 public:
  ScopedFence(void *const field) : _field(field) { prefix(); }
  ~ScopedFence() { postfix(); }
  void prefix() { ScopedFenceGeneral::prefix(); }
  void postfix() { ScopedFenceGeneral::postfix(); }
};
template<> inline void ScopedFenceGeneral::postfix()       { OrderAccess::acquire(); }
template<> inline void ScopedFenceGeneral::prefix()        { OrderAccess::release(); }
template<> inline void ScopedFenceGeneral::prefix()  { OrderAccess::release(); }
template<> inline void ScopedFenceGeneral::postfix() { OrderAccess::fence();   }
template 
inline void OrderAccess::ordered_store(volatile FieldType* p, FieldType v) {
  ScopedFence f((void*)p);
  Atomic::store(v, p);
}

在构造函数中，会调用prefix()函数，当FenceType为RELEASE_X，调用OrderAccess::release();
在析构函数中，会调用postfix()函数，当FenceType为X_ACQUIRE，调用OrderAccess::acquire();
对于栈中的对象，析构函数调用的时机为返回退出前

所以我们把原函数改写一下，就是这样的：

OrderAccess::ordered_store(volatile FieldType* p, FieldType v) {
  scopedFence.prefix();
  Atomic::store(v, p);
  scopedFence.postfix();
}

prefix()和postfix()就是插入内存屏障的地方，我们看是怎么插入的：

当FenceType为X_ACQUIRE，调用OrderAccess::acquire()，如我们对上面Acquire语义实现原理写的，Acquire屏障的实现就是在LoadAcquire之后放置LoadLoad和LoadStore屏障，在X86屏障，LoadLoad和LoadStore屏障的实现都是插入编译器屏障，所有OrderAccess::acquire()也是直接插入编译器屏障即可

当FenceType为RELEASE_X，调用OrderAccess::release()，Acquire屏障的实现就是在LoadAcquire之前放置LoadStore和StoreStore屏障，也是直接插入编译器屏障即可

inline void OrderAccess::loadload()   { compiler_barrier(); }
inline void OrderAccess::storestore() { compiler_barrier(); }
inline void OrderAccess::loadstore()  { compiler_barrier(); }
inline void OrderAccess::storeload()  { fence();            }

inline void OrderAccess::acquire()    { compiler_barrier(); }
inline void OrderAccess::release()    { compiler_barrier(); }

参考文档

Java内存模型
内存屏障与Volatile总结
The JSR-133 Cookbook for Compiler Writers
The JSR-133 Cookbook for Compiler Writers 译
编译时内存重排序
内存一致性模型
linux内核中的内存屏障
CPU缓存一致性协议MESI
面试必问的volatile，你了解多少
为什么X86架构下只有StoreLoad屏障是有效指令
内存模型系列上-内存一致性模型
從硬體觀點了解内存屏障的實作和效果
Volatile与内存屏障总结
JAVA虚拟机内存模型、指令重排、内存屏障概念解析
指令重排序
intel x86系列CPU既然是strong-order的，不会出现loadload乱序，为什么还需要lfence指令？
Unsafe-Fence
C/C++Volatile关键词深度剖析
内存屏障及其在JVM内的应用（下）
优化屏障第一讲
优化屏障第二讲
优化屏障第三讲
Why Memory Barrier？
Volatile从入门到放弃
通过版本控制理解内存屏障
Acquire和Release语义
Fixing the Java Memory Model, Part 1
Fixing the Java Memory Model, Part 2
JSR 133 (Java Memory Model) FAQ
The Java Memory Model
The "Double-Checked Locking is Broken" Declaration
Volatile重排序规则的一些理解
JDK1.5之前的volatile与JDK1.5之后的volatilevolatile
volatile变量修饰符—意料之外的问题
Volatile的重排序
Java并发编程的艺术
深入理解Java虚拟机第三版
JSR133中文版
Java语言规范基于JavaSE8

Volatile关键字实现原理

Volatile关键字实现原理

volatile变量特性

原子性

可见性

禁止部分重排序

指令重排序

指令重排序类型

java的volatile重排序规则

volatile变量间重排序的例子

顺序一致性模型

X86-TSO

X86-TSO的内存一致性模型

X86-TSO内存模型可能出现的问题

SC-顺序一致性模型下的理想情况

TSO-完全存储定序模型下的异常情况

内存屏障

编译器优化屏障

单核

X86-32

X86-64

volatile语义在X86-TSO上的实现

volatile在JMM上的实现

内存一致性模型

主流硬件的重排序现象和屏障指令

JMM内存屏障

volatile实现机制

putstatic和getstatic字节码

Acquire和Release语义

LoadAcquire和ReleaseStore实现

参考文档

你可能感兴趣的:(Volatile关键字实现原理)