1、什么是内存模型
Java平台自动集成了线程以及多处理器技术,这种集成程度比Java以前诞生的计算机语言要厉害很多。Java针对多种异构平台的独立性,使得多线程技术也具有了开拓性的一面。
了解线程和进程看这里:线程和进程有什么区别
我们有时候在Java开发中,对于同步和线程安全要求很严格的程序时,往往容易混淆的一个概念就是内存模型。那究竟什么是内存模型呢?
内存模型描述了程序中各个变量(实例域、静态域和数组元素)之间的关系,以及在实际计算机系统中将变量存储到内存、从内存中取出变量这样的底层细节。
Java对象最终是存储在内存里面的,这点没错,但是编译器、运行库、处理器或者系统缓存有权指定内存位置来存储或者取出变量的值。
2、内存模型有哪些规则
内存模型需要具有以下规则:原子性(Atomicity)、可见性(Visibility)、可排序性(Ordering)
1. 原子性(Atomicity)
原子性指的是原子级别的操作,比如最小的一块内存的读写操作,可以理解为Java语言编译过后最接近内存的最底层的操作单元。这种读写操作的数据单元不是变量的值,而是本机码。
原子性规则约定了:访问存储单元内任何类型字段的值以及对其更新操作时,除了long类型和double类型,其他类型的字段是必须要保证其原子性的,这些字段也包括为对象服务的引用。即,如果你获得或者初始化某一些值时(这些值是由其他线程写入的,而且不是从两个或者多个线程在同一时间戳混合写入的),该值的原子性在JVM内部是必须得到保证的。
此外,原子性扩展规则可以延伸到基于long和double的另外两种类型:volatile long和volatile double(volatile为java关键字),没有被volatile声明的long类型以及double类型的字段值虽然不保证其JMM中的原子性,但是是被允许的。
只要在不违反该规则的情况下,JVM并不关心数据的值来自什么线程,正这样使得Java语言在并行运算的设计中,针对多线程的原子性设计变得极其简单。即使开发人员没有考虑到,最终的程序也没有太大的影响。
2. 可见性(Visibility)
可见性指的是一个线程修改的状态对另一个线程是可见的。也就是说一个线程修改的结果,另一个线程马上就能看到。比如:用volatile修饰的变量,就会具有可见性。volatile修饰的变量不允许线程内部缓存和重排序,即直接修改内存,所以对其他线程是可见的。但是这里需要注意一个问题,volatile只能让被他修饰内容具有可见性,但不能保证它具有原子性。比如 volatile int a = 0;之后有一个操作a++;这个变量a具有可见性,但是a++依然是一个非原子操作,也就这这个操作同样存在线程安全问题。
在可见性规则的约束下,定义了一个线程在哪种情况下可以访问或者影响另外一个线程,以及从另外一个线程的可见区域读取相关数据、将数据写入到另外一个线程内。
3. 可排序性(Ordering)
可排序性是指为了提高性能,编译器和处理器可能会对指令做重排序,包括:
-
编译器优化的重排序
编译器在不改变单线程程序语义的前提下,可以重新安排语句的执行顺序。 -
指令级并行的重排序
现代处理器采用了指令级并行技术(Instruction-LevelParallelism,ILP)来将多条指令重叠执行。如果不存在数据依赖性,处理器可以改变语句对应机器指令的执行顺序。 -
内存系统的重排序
由于处理器使用缓存和读/写缓冲区,这使得加载和存储操作看上去可能是在乱序执行。
volatile修饰的变量不允许线程内部缓存和重排序。
可排序性规则将会约束任何一个违背了规则调用的线程在操作过程中的一些顺序,排序问题主要围绕了读取、写入和赋值语句有关的序列。
3、Java内存模型是什么
JMM(Java内存模型,Java Memory Model的缩写)是控制Java线程之间、线程和主存之间通信的协议。
JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(main memory)中,每个线程都有一个私有的本地内存(local memory),本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念,并不真实存在。它涵盖了缓存,写缓冲区,寄存器以及其他的硬件和编译器优化。
JMM结构如下: