摘要：物理计算机并发问题在介绍内存模型之前，先简单了解下物理计算机中的并发问题。基于高速缓存的存储交互引入一个新的问题缓存一致性。写入作用于主内存变量，把操作从工作内存中得到的变量值放入主内存的变量中。
物理计算机并发问题
在介绍Java内存模型之前，先简单了解下物理计算机中的并发问题。由于处理器的与存储设置的运算速度有几个数量级的差距，所以现代计算机加入一层读写速度尽可能接近处理器的高速缓存来作为内存与处理器之间的缓冲：将运算需要使用到的数据复制到缓存中，让运算能快速进行，当运算结束后再从缓存同步回内存中，这样处理器就无须等待缓慢的内存读写了。
基于高速缓存的存储交互引入一个新的问题：缓存一致性。在多处理器系统中，每个处理器都有自己的高速缓存，而它们又共享同一主存，如图2-1所示
当多个处理器的运算任务都涉及同一块内存区域时，将可能导致各自的缓存数据不一致，此时，同步回主内时以谁的缓存数据为准。为了解决一致性问题，需要各个处理器访问缓存时都遵循一些协议，在读写时要根据协议来进行操作。
除了增加高速缓存外，为了使处理器内部的运算单元能够充分被利用，处理器可能对输入代码进行乱序执行优化，处理器会在计算之后将乱序执行的结果重组，保证与顺序执行的结果一致，但并不保证程序中各个语句计算的先后顺序与输入代码中的一致，因此，如果存在一个计算任务依赖另一个计算任务的中间结果，那么其顺序性并不能靠代码的先后顺序来保证。
Java 内存模型 主内存与工作内存Java内存模型规定了所有变量都存储在主内存中（此处主内存与物理计算机的主内存名字一样，可以类比，但此处仅是虚拟机内存的一部分），这里的变量包括实例字段，静态字段和构成数组对象的元素，但不包括局部变量和方法参数，因为后者是线程私用的。每个线程还有自己的工作内存（可与处理器的高速缓存类比），线程的工作内存中保存了被该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作（读写等）都必须在工作内存中，不能直接读写主内存中的变量。不同的线程之间也不能直接访问对方工作内存中的变量，线程间的变量值的传递必须通过主内存来完成。 线程、主内存、工作内存三者的交互关系如图2-2
内存间交互操作Java内存模型定义了8种操作来完成一个变量如何从主内存拷贝到工作内存，如何从工作内存同步回主内存的实现细节。虚拟机在实现时必须保证每一种操作都是原子的，不可再分的（double和long类变量允许例外）。
lock(锁定) : 作用于主内存的变量，把一个变量标识为一个线程独占的状态。
unlock(解锁)：作用于主内存的变量，把一个处于锁定状态的变量解锁，解锁后的变量才可以被其他线程锁定。
read(读取) : 作用于主内存的变量，把一个变量的值从主内存传输到线程的工作内存，以便随后的load动作使用。
load(载入)：作用于主内存的变量，把read操作从主内存中得到的变量值放入工作内存的变量副本中。
use(使用)：作用于工作内存的变量，把工作内存中一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用的变量的值的字节码指令时将会执行这个操作。
assign(赋值)：作用于工作内存变量，把一个从执行引擎接收到的值赋给工作内存的变量，每当虚拟机遇到一个变量赋值的字节码指令时执行这个操作。
store(存储)：作用于工作内存变量，把工作内存中一个变量的值传递到主内存中，以便随后的write操作使用。
write(写入)：作用于主内存变量，把store操作从工作内存中得到的变量值放入主内存的变量中。
Java内存模型规定了在执行上述8种基本操作时必须满足如下规则：
read 和load ，store和write 必须成对操作
不允许线程丢弃assign操作，变量在工作内存中改变后必须把该变化同步回主内存
没有assign操作，不允许变量从工作内存同步回主内存
新变量只能在主内存中诞生，不允许在工作内存中直接使用一个未被初始化的变量（load或assign），即对一个变量实时use和store之前必须先执行过assign和load操作
一个变量同一时刻只允许一条线程lock操作，但lock操作可以多次，执行相同数量的unlock，变量才会解锁
lock操作会清空工作内存副本，执行引擎使用前，需要重新执行load或者assign操作初始化变量的值
没有lock操作，就不允许unlock操作。不允许unlock另一个线程变量。
unlock操作前必须先store，write操作，同步回主内存中。
文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。
转载请注明本文地址：https://www.ucloud.cn/yun/65161.html
摘要：内存模型是围绕着在并发过程中如何处理原子性可见性和有序性这个特征来建立的，我们来看下哪些操作实现了这个特性。可见性可见性是指当一个线程修改了共享变量的值，其他线程能够立即得知这个修改。 Java内存模型是围绕着在并发过程中如何处理原子性、可见性和有序性这3个特征来建立的，我们来看下哪些操作实现了这3个特性。 原子性（atomicity）： 由Java内存模型来直接保证原子性变量操作包括...
摘要：禁止指令重排序优化。只有当线程对变量执行的前一个动作是时，才能对执行动作并且，只有当对变量执行的后一个动作是时，线程才能对变量执行动作。变量不需要与其他的状态变量共同参与不变约束。在某些情况下，的同步机制性要优于锁。 当一个变量定义为volatile之后，它具备两种特性： 保证此变量对所有线程的可见性，这里的可见性是指当一条线程修改了这个变量的值，新值对于其他线程来说是可以立即得知的...
摘要：我的是忙碌的一年，从年初备战实习春招，年三十都在死磕源码，三月份经历了阿里五次面试，四月顺利收到实习。因为我心理很清楚，我的目标是阿里。所以在收到阿里之后的那晚，我重新规划了接下来的学习计划，将我的短期目标更新成拿下阿里转正。 我的2017是忙碌的一年，从年初备战实习春招，年三十都在死磕JDK源码，三月份经历了阿里五次面试，四月顺利收到实习offer。然后五月怀着忐忑的心情开始了蚂蚁金...
摘要：基础问题的的性能及原理之区别详解备忘笔记深入理解流水线抽象关键字修饰符知识点总结必看篇中的关键字解析回调机制解读抽象类与三大特征时间和时间戳的相互转换为什么要使用内部类对象锁和类锁的区别，，优缺点及比较提高篇八详解内部类单例模式和 Java基础问题 String的+的性能及原理 java之yield(),sleep(),wait()区别详解-备忘笔记 深入理解Java Stream流水...
摘要：基础问题的的性能及原理之区别详解备忘笔记深入理解流水线抽象关键字修饰符知识点总结必看篇中的关键字解析回调机制解读抽象类与三大特征时间和时间戳的相互转换为什么要使用内部类对象锁和类锁的区别，，优缺点及比较提高篇八详解内部类单例模式和 Java基础问题 String的+的性能及原理 java之yield(),sleep(),wait()区别详解-备忘笔记 深入理解Java Stream流水...
阅读 1440·2021-10-25 09:44
阅读 2745·2021-09-04 16:48
阅读 1318·2019-08-30 15:44
阅读 2206·2019-08-30 15:44
阅读 1619·2019-08-30 15:44
阅读 2705·2019-08-30 14:14
阅读 2814·2019-08-30 13:00
阅读 1990·2019-08-30 11:09
