首页 > 其他分享 >既然CPU有缓存一致性协议(MESI),为什么JMM还需要volatile关键字?

既然CPU有缓存一致性协议(MESI),为什么JMM还需要volatile关键字?

时间:2022-11-03 00:00:46浏览次数:66  
标签:Java MESI volatile 内存 JVM JMM 一致性 CPU

  缓存一致性协议是保证“硬件CPU的cache” 和 “硬件内存”之间数据的一致性,更详细说也就是缓存一致性协议是保证“物理计算机中的硬件CPU cache” 和 “物理计算机中的硬件内存”之间数据的一致性。这个协议只是保证了硬件层面的数据在CPU cache和内存之间的可见性。而JMM和硬件没关系,JMM曾今是JVM规范中的一部分【从第3版(Java SE 7版)开始被移除出规范,独立以JSR形式维护,直至JDK 5(实现了JSR-133),Java内存模型才终于成熟、完善起来了, JSR-133:Java Memory Model and Thread Specification Revision(Java内存模型和线程规范修订)】。

  所以说JMM就是一个规范,规范的就是Java程序中各种变量的访问规则,即关注在虚拟机中把变量值存储到 内存和从内存中取出变量值这样的底层细节。注意这里说的是“内存”和“内存”之间的数据的一致性问题,因为JVM的内存划分为堆,方法区,虚拟机栈等这些区域都是基于物理机的主内存的。而Java的线程又是运行在JVM之上的,也就是“Java的”线程直接读取的变量都是在内存上【其实也可能在CPU cache 和 CPU register,因为为了获得更好的执行效能,JMM并没有限制JVM的执行引擎使用处理器的特定寄存器或缓存来和主内存进行交互,也没有限制即时编译器 是否要进行调整代码执行顺序这类优化措施】,简单粗暴点来说,也就是 JMM要保证 遵守了JVM规范实现的JVM的虚拟机栈中的 变量副本要和堆的变量的一致性【类比物理计算机就是CPU cache 和 内存 的数据一致性,因为物理计算机的cache 和 Java虚拟计算机的虚拟机栈都是线程私有的,物理计算机的主内存 和 Java虚拟计算机的堆都是线程共享的】,所以才要有validate,synchronized等来保证可见性、原子性和有序性,也就是需要这些规则协议来保证Java程序中哪些内存访问操作在并发下才是安全的。
  其实JVM就是对物理计算机的抽象,而又依赖于物理计算机来运行。虚拟抽象出来的Java虚拟机也一样会遇到和物理计算机的CPU cache 和 内存之间的数据一致性问题。硬件的解决这个问题的方案是 缓存一致性协议;JVM解决这个问题的方案是 JVM规范中的JMM定义了 8种内存访问操作以及8种规则限定,再加上专门针对volatile的一些特殊规定来保证Java程序中哪些内存访问操作在并发下才是安全的。 如有纰漏欢迎各位大佬指正

参考:深入理解Java虚拟机:JVM高级特性与最佳实践(第3版)- 周志明

     Java Memory Model

标签:Java,MESI,volatile,内存,JVM,JMM,一致性,CPU
From: https://www.cnblogs.com/bryantor/p/16852998.html

相关文章

  • Lifetime improvement through adaptive reconfiguration for nonvolatile FPGAs
    LifetimeimprovementthroughadaptivereconfigurationfornonvolatileFPGAsSRAM的FPGA有漏电和容量的限制,使用NVM替换SRAM是一个有效的方式,但是NVM有寿命问题。BRAM......
  • volatile
    volatile意为易变加在变量前,告诉编译器这是一个值可能会发生变化的变量,不要进行优化优化做法是,由于编译器发现两次从i读数据的代码之间的代码没有对i进行过操作,它会自动......
  • 深度剖析Java的volatile实现原理,再也不怕面试官问了
    上篇文章我们讲了synchronized的用法和实现原理,我们总爱说synchronized是重量级锁,volatile是轻量级锁。为什么volatile是轻量级锁,体现在哪些方面?以及volatile的作用和实现......
  • 既然CPU有缓存一致性协议(MESI),为什么JMM还需要volatile关键字?
    ​​既然CPU有缓存一致性协议(MESI),为什么JMM还需要volatile关键字?​​​​MESI缓存一致性协议在哪里以及如何实现?​​​​Intel®64andIA-32ArchitecturesDeveloper’s......
  • Volatile关键字的作用
    Volatile关键字的作用主要有如下两个:1.线程的可见性:当一个线程修改一个共享变量时,另外一个线程能读到这个修改的值。顺序一致性:禁止指令重排序。一、线程可见性我们先通过一......
  • Java - synchronized 和 volatile
    1.两者均可以实现可见性(线程B可以读到线程A更新的最新值)2.volatile本质就是告诉JVM,当前变量在寄存器中的值不确定,需要从主存中读取。synchronized锁定了当前变量,只有......
  • 解决新版chrome浏览器SameSite属性cookie拦截问题
    问题现象:由于升级了新版chrome浏览器后,发现系统正常iframe嵌套、AJAX,Image从以前的跨站会发送三方Cookie,变成了不发送。导致某些内容无法显示了,页面空白,但是请求未报错。......
  • c语言关键字(c语言关键字volatile)
    什么是C语言关键字关键字又称保留字,是c语言预定义的单词,在程序中有不同的使用目的,在定义标识符的时候,不能使用这些关键字,否则在编译时会产生莫名其妙的错误,C语言由ANSI定义......
  • day16 正则表达式 & 反射 & Java内存模型(JMM)
    day16class1)获取一个类的所有信息(变量、方法、构造方法)2)创建类对象newInstance()Field1)访问变量或给变量赋值Method1)执行具体类对象的指定方法3.Method(获取方法对......
  • Java内存模型(JMM)详解
    目录什么是JMM?Java运行时内存区域与硬件内存的关系Java内存区域和Java内存模型有何区别?Java线程与主内存的关系什么是主内存?什么是本地内存?线程间通信重温Java并发三......