摘要：一接触内存模型中的实例静态变量以及数组都存储在堆内存中，可在线程之间共享。所以，在编码上实现锁的内存语义，可以通过对一个变量的读写，来实现线程之间相互通知，保证临界区域代码的互斥执行。
原文发表于我的博客
volatile关键字: 使用volatile关键字修饰的的变量，总能“看到”任意线程对它最后的写入，即总能保证任意线程在读写volatile修饰的变量时，总是从内存中读取最新的值。以下是volatile在内存中的语义实现及同步的原理。
Java中的实例、静态变量以及数组都存储在堆内存中，可在线程之间共享。而Java进程间通信由Java内存模型（JMM）控制，JMM可以决定共享变量的写入何时对另一个线程可见。（从JDK5开始，Java使用JSR-133内存模型，从该规定开始，即使是在32位的机器上，一个64位的double/long的读操作也必须满足原子性）
[图1.1]
本地内存是JMM抽象的一个概念
从我学习编程语言开始，所认知的是“程序顺序执行”。然而，顺序一致性只是一种理想模型。从源代码到机器指令的这一过程中，编译器和处理器往往会对指令做一些重排序从而提高性能，但是重排序会依据一个标准：
不改变单线程程序语义
不影响数据依赖。
如果一个操作的执行结果需要对另一个操作可见，则两个操作之间满足happens-before关系。happens-before具有传递性
对于一个volatile变量的写操作，happens-before于任意后续对这个变量的读
as-if-serial规定，如果操作直接存在数据依赖关系，则不允许重排序。不管怎么重排序，都必须遵守as-if-serial语义。
int a = 1; //(1) int b = 2; //(2) int c = a + b; //(3)
上面的代码中，(1)(2)之间不存在以来和happens-before关系，可以重排序，而(1)(3)和(2)(3)之间都存在as-if-serial关系，不能重排序
as-if-serial保护单线程程程序的语义正确性，使我们无需担心重排序对我们的影响，也使我们产生一种错觉：单线程程序就是顺序执行的。
拓展资料--重排序的三种类型：
(1)编译器优化重排序
(2)指令集并行重排序
(3)内存系统的重排序
我们将happens-before和as-if-serial的关系引入到多线程中。我们可以将多线程的所有操作想象成在时间轴上的顺序执行的单线程程序。(以下流程图使用Markdown语法绘制，有些地方不支持)
在多线程的程序中，假如线程相互之间不涉及共享的变量，亦即互相不干涉，则两个线程之间既没有happens-before的关系，也没有as-if-serial语义的约束，所以各个线程之间操作可以任意合并重排序：
线程A的执行流程
st=>start: 线程A op1=>operation: op-a-1 op2=>operation: op-a-2 op3=>operation: op-a-3 e=>end st->op1->op2->op3->e
线程B的执行流程
st=>start: 线程B op1=>operation: op-b-1 op2=>operation: op-b-2 op3=>operation: op-b-3 e=>end st->op1->op2->op3->e
并发的可能的执行顺序
st=>start: 重排序 op1=>operation: op-a-1 op2=>operation: op-b-1 op3=>operation: op-b-2 op4=>operation: op-a-2 op5=>operation: op-a-3 op6=>operation: op-b-3 e=>end st->op1->op2->op3->op4->op5->op6->e
当线程之间涉及到共享变量时，涉及到了线程之间的通信，即如图1.1所示，此时并发所存在的问题（脏读、幻读、不可重复读）明显可见，但是，如果线程没有正确地同步（通信），线程之间无法明确共享变量何时被写入。因为此时所面对的问题就如将线程合并到时间轴上和重排序后是否违反happens-before和as-if-serial的语义了：
线程A
st=>start: 线程A op1=>operation: a读共享变量x op2=>operation: a写共享变量x e=>end st->op1->op2->e
线程B
st=>start: 线程B op1=>operation: b读共享变量x op2=>operation: b写共享变量x e=>end st->op1->op2->e
假如不同步，程序可能的执行顺序
st=>start: 重排序 op1=>operation: a读共享变量x op2=>operation: b写共享变量x op3=>operation: b读共享变量x op4=>operation: a写共享变量x e=>end st->op1->op2->3->4->e
上面的程序执行顺序很显然有脏读的问题，而程序并发执行的正确语义应该有如下两种：
a读共享变量x happens-before a写共享变量x，a写共享变量x happens-before b读共享变量x， b读共享变量x happens-before b写共享变量x
b读共享变量x happens-before b写共享变量x，b写共享变量x happens-before a读共享变量x，a读共享变量x happens-before a写共享变量x
所以，为程序保证并发操作的正确性，多线程对共享变量的非原子操作上，必须采用有效的通信方式来使其对共享变量的操作对其它线程可见，这就引入了volatile同步方式。
JMM通过在指令序列中插入内存屏障来限制编译器的指令重排序，实现volatile的内存语义
普通读
普通写
StoreStore屏障：禁止前面的普通写和volatile写重排序，保证前面的普通变量写从本地内存缓存刷新到主存中
volatile写
StoreLoad屏障：防止volatile写和下面有可能出现的volatile读发生重排序
volatile读
LoadLoad屏障：禁止下面的普通读和volatile读重排序
LoadStore屏障：禁止下面的普通写和volatile读重排序
从上面我们可以看到，通过volatile关键字，构建了happens-before的关系，限制普通变量和volatile变量读写的操作指令重排序，有效保证了程序语义的正确性。从下面图我们可以进一步分析：
[图4.2 volatile使线程之间的对共享变量操作的同步]
所以，volatile变量的写-读操作语义和Lock的获取-释放语义相同（这是JSR-133对volatile内存语义增强后的），使用volatile我们亦可以灵活、轻量地实现对共享（普通）变量的同步：
| volatile [volatile static int a = 1] | Lock |
|---|---|
| 读volatile变量：while(a!=1); | Lock acquire() |
| 操作临界资源(共享变量) | 操作临界资源(共享变量) |
| 写volatile变量[a=1] | Lock release() |
写volatile变量时，会将共享变量的本地内存中的修改刷新到主存中
要想使用volatile完全代替锁还需谨慎，volatile比较难像锁一样可以很好地保证整个临界区域代码的原子性
vloatile 保证对单个volatile变量读/写的原子性
锁 保证临界区域互斥执行
但是，volatile的内存语义为我们提供了锁的思路，正如上面表格中使用volatile模仿Lock进行同步，既保证了临界区域的互斥执行，又保证了任意线程对共享变量修改及时刷新到主内存中，保证了线程间有效通信从而避免并发操作临界资源的一些问题。
锁可以让临界区域互斥执行，那么线程之间必然存在一个同步的机制。
（1）volatile读 -----> |屏障|--->临界操作--->|屏障|--->volatile写，成对的volatile构建了happens-before的关系，并且保证了普通共享变量在volatile写之前刷新到主内存中
（2）结合线程间通信的方式
[图4.3 线程间通信的方式]
上图的线程A对共享变量的写和线程B的读共享变量，有单线程程序的顺序一致性效果，此时我们可以想到volatile的作用。通过volatile变量，可以实现从A线程发送通知到B线程并且能够保证happens-before的语义正确性（在并发时就很好理解为什么happens-before并不要求前一个操作一定要在后一个操作之前执行，只需要前一个操作的结果对后一个操作可见），此时我们可推出锁获取和释放的内存语义：
线程A释放一个锁，即线程A向接下来要获取锁的线程B发出消息（A修改共享的变量）
线程B获取一个锁，即线程B接收到之前某个线程发出的消息（共享变量发生变化）
从一个线程释放锁，到另一个线程释放锁，实际上是两条线程通过主线程同步对共享变量的操作，通过主内存相互通信。所以，在Java编码上实现锁的内存语义，可以通过对一个volatile变量的读写，来实现线程之间相互通知，保证临界区域代码的互斥执行。
[以上内容参考了《Java并发编程的艺术》，可能有谬误，欢迎指正]
文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。
转载请注明本文地址：https://www.ucloud.cn/yun/69781.html
摘要：前情提要深入理解内存模型三顺序一致性的特性当我们声明共享变量为后，对这个变量的读写将会很特别。当读线程的数量大大超过写线程时，选择在写之后插入屏障将带来可观的执行效率的提升。 前情提要 深入理解Java内存模型（三）——顺序一致性 volatile的特性 当我们声明共享变量为volatile后，对这个变量的读/写将会很特别。理解volatile特性的一个好方法是：把对volatil...
摘要：内存模型对内存模型的介绍对内存模型的结构图的线程之间的通信是通过共享内存的方式进行隐式通信，即线程把某状态写入主内存中的共享变量，线程读取的值，这样就完成了通信。 Java内存模型（JMM） 1.对内存模型的介绍 ①对Java内存模型的结构图 java的线程之间的通信是通过共享内存的方式进行隐式通信，即线程A把某状态写入主内存中的共享变量X，线程B读取X的值，这样就完成了通信。是一种...
摘要：并发编程的挑战并发编程的目的是为了让程序运行的更快，但是，并不是启动更多的线程就能让程序最大限度的并发执行。的实现原理与应用在多线程并发编程中一直是元老级角色，很多人都会称呼它为重量级锁。 并发编程的挑战 并发编程的目的是为了让程序运行的更快，但是，并不是启动更多的线程就能让程序最大限度的并发执行。如果希望通过多线程执行任务让程序运行的更快，会面临非常多的挑战：（1）上下文切换（2）死...
摘要：前半句是指线程内表现为串行的语义，后半句是指指令重排序现象和工作内存和主内存同步延迟现象。关于内存模型的讲解请参考死磕同步系列之。目前国内市面上的关于内存屏障的讲解基本不会超过这三篇文章，包括相关书籍中的介绍。问题 （1）volatile是如何保证可见性的？ （2）volatile是如何禁止重排序的？ （3）volatile的实现原理？ （4）volatile的缺陷？ 简介 volatile...
摘要：前半句是指线程内表现为串行的语义，后半句是指指令重排序现象和工作内存和主内存同步延迟现象。关于内存模型的讲解请参考死磕同步系列之。目前国内市面上的关于内存屏障的讲解基本不会超过这三篇文章，包括相关书籍中的介绍。问题 （1）volatile是如何保证可见性的？ （2）volatile是如何禁止重排序的？ （3）volatile的实现原理？ （4）volatile的缺陷？ 简介 volatile...
阅读 1074·2021-11-24 09:39
阅读 1305·2021-11-18 13:18
阅读 2422·2021-11-15 11:38
阅读 1823·2021-09-26 09:47
阅读 1625·2021-09-22 15:09
阅读 1623·2021-09-03 10:29
阅读 1509·2019-08-29 17:28
阅读 2950·2019-08-29 16:30
