什么是java内存模型

缓存一致性问题

在现代计算机中,因为CPU的运算速度远大于内存的读写速度,因此为了不让CPU在计算的时候因为实时读取内存数据而影响运算速度,CPU会加入一层缓存,在运算之前缓存内存的数据,CPU运算的时候操作的是缓存里的数据,运算完成后再同步回内存。这样虽然能够加速程序的运行速度,但是却带来了一个问题:缓存一致性问题。每个处理器都有自己的缓存,而它们又共享同一内存,当有多个处理器的操作涉及同一块内存区域的时候,他们的缓存可能会因为运算而导致不一致,在这种情况下,同步回内存的数据以谁的为准呢?为了解决一致性问题,需要各个处理器访问缓存的时候都遵循一些协议,在读写时要根据协议来进行操作,这类协议有MSI、MESI、MOSI、Synapse、Firefly及Dragon Protocol等。

而Java中的线程在执行的时候,为了提高速度,也会把线程中使用到的公共变量缓存到线程本地备份,线程执行时实际操作的是线程本地备份,运算完成后再同步到公共变量。Java这种机制可以看成是硬件缓存之上的一种抽象,在Java实现于特定硬件的时候,就可以把公共变量保存到内存,把线程本地备份保存到CPU缓存从而提升运行速度。Java的这种缓存机制和硬件的缓存机制一样,存在缓存一致性问题。Java的缓存一致性问题怎么解决,参考处理器缓存一致性的解决方案,我们认为应该也需要某种协议。

重排序问题

编译器在编译的时候,允许重排序指令以优化运行速度。CPU在执行指令的时候,为了使处理器内部运算单元能被充分利用,也可以对指令进行乱序执行。

在编译器和CPU进行重排序的时候,要遵循“as-if-serial”原则,也就是要保证程序单线程执行的时候,重排序之后程序的运行结果必须和重排序前程序的运行结果一致。这里注意“as-if-serial”原则只保证单线程的执行结果不变,不保证多线程执行的结果不变。那么如何保证多线程程序的正确运行?显然需要某种协议来限定多线程执行时要满足的规则。

某种协议

要解决缓存一致性问题需要某种协议,要解决重排序问题也需要某种协议。于是java定义了一种协议,一揽子解决了这两个问题,这个协议就是Java内存模型(JMM)。

java内存模型的定义

既然我们知道了JMM是一个协议,那么就让我们快点给出JMM的定义吧。对不起,笔者在这里无法给出JMM的正式定义。而且笔者目前找到的资料里,给出了JMM正式定义的只有java的官方文档JSR133(JSR133是随jdk1.5发布的新的java内存模型,对之前的java内存模型进行了修正,JSR133中定义的内存模型一直沿用到现在(jdk8)),为什么众多讲JMM的博客、文章都不给出JMM的正式定义呢?因为JMM的正式定义太复杂了。我可以展示JMM正式定义的一部分大家来感受一下:

看不懂的同学先别着急,这个定义确实是难懂,JSR133里面也说JMM的正式定义是一个学术定义,笔者也没有看这个正式定义。那么说了半天,原来笔者自己也搞不懂JMM是什么吗?非也非也~虽然JSR133里这个学术定义晦涩难懂,但是JSR133里提供了一个“通俗版”的JMM定义,“通俗版”的定义和正式版略有歧义,不过作为java开发者来说,以"通俗版"定义为准则开发出来的多线程程序,保证是实现正确的。所谓的“通俗版”定义,就是先行发生原则(happens-before原则):

  1. 程序顺序规则:一个线程中的每个操作,happens-before于该线程中的任意后续操作。
  2. 监视器锁规则:对一个锁的解锁,happens-before与随后对这个锁的加锁。
  3. volatile变量规则:对一个volatile变量的写,happens-before于任意后续对这个volatile变量的读。
  4. 传递性:如果A happens-before B,且 B happens-before C,则A happens-before C。
  5. start()规则:如果线程A执行ThreadB.start(),那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作。
  6. join()规则:如果线程A执行操作ThreadB.join()并成功返回,那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。

先行发生原则规定了在一些情况下多线程程序必须表现出来的执行顺序性,当我们判断一个多线程程序是否能正确执行时,可以根据这些原则来判断。

JSR133中定义的并发关键字的内存语义

为了实现JSR133中定义的新的内存模型,JSR133中增强了volatile和final关键字的语义。下面让我们看一下一些并发关键字的内存语义。

volatile的内存语义

volatile在JSR133中增强了内存语义:

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

当读一个volatile变量时,JMM会把该线程对应的本地内存置为无效。线程接下来将从主内存中读取共享变量。

如果把volatile写和读两个步骤综合起来看的话,在读线程B读一个volatile变量后,写线程A在写这个volatile变量之前所有可见的共享变量的值都将立即变得对读线程B可见。

锁的内存语义

当线程释放锁时,JMM会把该线程对应的本地内存中的共享变量刷新到主内存中。

当线程获取锁时,JMM会把该线程中对应的本地内存置为无效。从而使被监视器保护的临界区代码必须从主内存中读取共享变量。

可以看出,锁释放与volatile写有相同的内存语义;锁获取与volatile读有相同的内存语义。

final的内存语义

在构造函数中对一个final域的写入,与随后把这个被构造对象的引用赋值给一个引用变量,这两个操作之间不能重排序。

初次读一个包含final域的对象的引用,与随后初次读这个final域,这两个操作之间不能重排序。

final的内存语义无非是要保证在多线程的情况下,也让final变量确保在初始化后就不能被修改。

参考资料:

《深入理解Java虚拟机 JVM高级特性与最佳实践》第12、13章

《java并发编程的艺术》第3章

《JSR-133 JavaTM Memory Model and Thread Specification》

http://tutorials.jenkov.com/java-concurrency/java-memory-model.html

https://www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html

什么是Java内存模型(JMM)的更多相关文章

  1. Java内存模型JMM与可见性

    Java内存模型JMM与可见性 标签(空格分隔): java 1 何为JMM JMM:通俗地讲,就是描述Java中各种变量(线程共享变量)的访问规则,以及在JVM中将变量存储到内存和从内存中读取变量这 ...

  2. 多线程并发之java内存模型JMM

    多线程概念的引入是人类又一次有效压寨计算机的体现,而且这也是非常有必要的,因为一般运算过程中涉及到数据的读取,例如从磁盘.其他系统.数据库等,CPU的运算速度与数据读取速度有一个严重的不平衡,期间如果 ...

  3. Java内存模型JMM 高并发原子性可见性有序性简介 多线程中篇(十)

    JVM运行时内存结构回顾 在JVM相关的介绍中,有说到JAVA运行时的内存结构,简单回顾下 整体结构如下图所示,大致分为五大块 而对于方法区中的数据,是属于所有线程共享的数据结构 而对于虚拟机栈中数据 ...

  4. 全面理解Java内存模型(JMM)及volatile关键字(转载)

    关联文章: 深入理解Java类型信息(Class对象)与反射机制 深入理解Java枚举类型(enum) 深入理解Java注解类型(@Annotation) 深入理解Java类加载器(ClassLoad ...

  5. 全面理解Java内存模型(JMM)及volatile关键字(转)

    原文地址:全面理解Java内存模型(JMM)及volatile关键字 关联文章: 深入理解Java类型信息(Class对象)与反射机制 深入理解Java枚举类型(enum) 深入理解Java注解类型( ...

  6. 对多线程java内存模型JMM

    多线程概念的引入体现了人类重新有效压力寨计算机.这是非常有必要的,由于所涉及的读数据的过程中的一般操作,如从磁盘.其他系统.数据库等,CPU计算速度和数据读取速度已经严重失衡.假设印刷过程中一个线程将 ...

  7. 深入理解Java内存模型JMM与volatile关键字

    深入理解Java内存模型JMM与volatile关键字 多核并发缓存架构 Java内存模型 Java线程内存模型跟CPU缓存模型类似,是基于CPU缓存模型来建立的,Java线程内存模型是标准化的,屏蔽 ...

  8. Java内存模型(JMM)详解

    在Java JVM系列文章中有朋友问为什么要JVM,Java虚拟机不是已经帮我们处理好了么?同样,学习Java内存模型也有同样的问题,为什么要学习Java内存模型.它们的答案是一致的:能够让我们更好的 ...

  9. Java并发编程:Java内存模型JMM

    简介 Java内存模型英文叫做(Java Memory Model),简称为JMM.Java虚拟机规范试图定义一种Java内存模型来屏蔽掉各种硬件和系统的内存访问差异,实现平台无关性. CPU和缓存一 ...

随机推荐

  1. BZOJ3572:[HNOI2014]世界树——题解

    +++++++++++++++++++++++++++++++++++++++++++ +本文作者:luyouqi233. + +欢迎访问我的博客:http://www.cnblogs.com/luy ...

  2. UVA.357 Let Me Count The Ways (DP 完全背包)

    UVA.357 Let Me Count The Ways (DP 完全背包) 题意分析 与UVA.UVA.674 Coin Change是一模一样的题.需要注意的是,此题的数据量较大,dp数组需要使 ...

  3. HDU3251 最大流(最小割)

    Being a Hero Time Limit: 20000/10000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others) Tota ...

  4. JavaScript字符串、数组操作总结一

    1.将数组转换成字符串 例子: var  arr=[1,2,3,4,5,6]; var  str=arr.join('|'); str输出为 “1|2|3|4|5|6” 2.数组indexOf()方法 ...

  5. 为select2下拉框赋值

    $("#A").select2("val", value);$("#A").val('3232');

  6. PHP 时间计算(距离现在多长时间)

    function format_date($time){ $t=time()-$time; $f=array( '31536000'=>'年', '2592000'=>'个月', '604 ...

  7. Maven搭建SpringMVC + SpringJDBC项目详解

    前言 上一次复习搭建了SpringMVC+Mybatis,这次搭建一下SpringMVC,采用的是SpringJDBC,没有采用任何其他的ORM框架,SpringMVC提供了一整套的WEB框架,所以如 ...

  8. C# 从串口读取数据

    最近要做系统集成,需要从串口读取数据,随学习一下相关知识: 以下是从串口读取数据 public static void Main() { SerialPort mySerialPort = new S ...

  9. 诱惑当前 你的孩子能hold住吗?

    1.打好态度.动机.价值观基础 培养未成熟主体远大的志向,并不是向他们讲一些抽象的道理,而是根据他们的年龄特点,从形象的故事.童话开始,从身边的人物.事例出发,逐渐渗透一些人生的哲理.有一位自觉性非常 ...

  10. hihocoder1445 后缀自动机二·重复旋律5

    传送门:http://hihocoder.com/problemset/problem/1445 [题解] 大概看了一天的后缀自动机,总算懂了一些 这篇文章写的非常好,诚意安利:Suffix Auto ...