JAVA内存模型--volatile内存语义

-->volatile原语

当声明共享变量为volatile后,对这个变量的读/写会很特别。相当于对一个普通变量的读写使用一个同步锁来同步。而volatile本身比synchronized的开销要小很多。

锁的happens-before规则保证释放锁和获取锁的两个线程之间的内存可见性。这就意味着对一个volatile变量的读,总是能看到它的最后一次写入。

锁的语义决定了临界区代码的执行具有原子性。这意味着即使是64位的long型和double型变量,只有它是volatile变量,对该变量的读写就有原子性。

-->volatile读写内存语义:

1. 写:当写一个volatile变量时,JMM会把该线程对应的本地内存中的共享变量值刷新到主内存。

2. 读:当读一个volatile变量时,JMM会把线程对应的本地内存置为无效,从主内存中读取变量。

-->JMM对volatile的语义实现

JMM内存屏障插入策略

1)在每个volatile写操作前面加入一个StoreStore屏障;

2)在每个volatile写操作后面插入一个StoreLoad屏障;

3)在每个volatile读操作后面插入一个LoadLoad屏障和一个LoadStore屏障。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容