您好、欢迎来到现金彩票网!
当前位置:双彩网 > 先行指令站 >

Java内存模型(Java Memory ModelJMM)

发布时间:2019-07-04 01:53 来源:未知 编辑:admin

  JMM 是一个语言级别的内存模型,处理器的硬件模型是硬件级别,Java中的内存模型是内存可见性的基本保证。从而为我们 volatile 实现内存可见性提供了基石。主要目的就是让 Java 程序员在各种平台下达到一致性访问效果

  JMM决定一个线程对共享变量的写入何时对另一个线程可见,尤其是在对共享变量的读写,修改后其他线程立刻内读取到,这个就是JMM主要作用。从抽象的角度来看,JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(Main Memory)中,每个线程都有一个私有的本地内存(Local Memory),本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念,并不真实存在。它涵盖了缓存、写缓冲区、寄存器以及其他的硬件和编译器优化。Java内存模型的抽象示意如图所示。

  前面我们说到 volatile 底层原理详解,这个语义的实现就是利用了Java的内存模型。为我们屏蔽了细节,实现了内存可见性,有兴趣的读者可以看公众号前期发的文章volatile 底层原理实现。

  在执行程序的时候,为了提高性能,编译器与处理器常会对指令进行重排序优化,保证执行结果与书序执行的结果是一致的,但并不能保证各个语句执行的先后顺序与输入的代码顺序一致。(当然是说在单线程的情况下)。

  所以有 volatile 修饰的代码就不会被指令重排,相当于加了一道内存屏障,不能把后面的指令重排序到内存屏障之前。

  先行发生是 Java 内存模型中定义的两项操作之间的偏序关系,如果说操作A先行发生于B,其实就是说在发生操作 B 之前,操作 A 产生的影响能被 B 观察到, “影响” 包括修改了内存中共享变量的值、发送了消息、调用了方法。比如:

  通过JMM内存模型,volatile 内存可见性的实现才得以保证。但是又不需要我们去关注不同平台的细节。当对一个 volatile 修饰的变量修改是,JMM 会把该线程对应的本地内存中的共享变量刷新到主内存中。

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

http://deafbook.net/xianxingzhilingzhan/264.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有