Java内存模型

Posted pycrab

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Java内存模型相关的知识,希望对你有一定的参考价值。

基本概念

1.并发编程模型

线程之间的通信机制有两种:共享内存和消息传递。Java的并发采用的是隐式的共享内存模型。
Java内存模型(JMM)是围绕着在并发过程中如何处理原子性、可见性和有序性来建立的。

  • 原子性:基本数据类型的访问读写是具备原子性的(针对long和double有非原子性协定),synchronized块之间的操作也具备原子性。
  • 可见性:当一个线程修改了共享变量(主内存中)的值,其他线程能够立即得知这个修改。
  • 有序性:线程内表现为串行的语义,从一个线程观察另一个线程,由于指令重排序和工作内存与主内存同步延迟,看到的操作是无序的。

2.内存模型抽象

  • 主内存:存储线程之间共享变量,所有存储在堆内存中的实例域、静态域和数组元素在线程之间共享。
  • 工作内存:线程私有,存储该线程读写共享变量的副本,它是JMM的抽象概念,并不存在,它涵盖了缓存、写缓冲区、寄存器及其他硬件和编译器的优化。
  • JMM抽象示意图:

3.重排序

在执行程序时,编译器和处理器会对指令重排序,重排序分三种类型:

  • 编译器优化的重排序
  • 指令级并行的重拍序
  • 内存系统的重排序
    编译器和处理器遵循as-if-serial语义(不管怎么重排序,都不能改变单线程程序的执行结果),不会对存在数据依赖关系的操作重排序。

4.内存屏障指令

JMM把内存屏障指令分为四类:

  • LoadLoad
  • LoadStore
  • StoreLoad
  • StoreStore

5.happens-before规则

在JMM中,如果一个操作执行的结果需要对另一个操作可见,这两个操作之间必须存在happens-before关系。
happens-before规则仅仅要求前一个操作的结果对后一个操作可见,且前一个操作按顺序排在第二个操作之前。

同步机制

1.volatile

对一个volatile共享变量的单个读写操作,相当于对普通共享变量的读写操作使用同一个锁来同步。
volatile保证了多线程操作变量的可见性(新值能立即同步到主内存,每次使用前立即从主内存刷新)和有序性(volatile本身就包含了禁止指令重排序的语义),但不能保证原子性(对任意单个volatile变量的读写具有原子性,但对于volatile++这种复合操作不具有原子性)。

2.锁

锁除了让临界区互斥执行外,还可以让释放锁的线程向获取同一个锁的线程发送消息。
ReentrantLock的实现依赖于Java同步框架AQS,AQS使用一个整型的volatile变量state来维护同步状态。
锁释放和获取的内存语义的实现使用了volatile变量的读写所具有的内存语义和CAS自带的volatile读写的语义。

  • 公平锁:锁获取时先读volatile变量,锁释放时最后写volatile变量。
  • 非公平锁:锁获取时先使用CAS更新volatile变量,锁释放时最后写volatile变量。

3.final

final保证了可见性(被final修饰的字段在构造器中一旦初始化完成,并且构造器没有把this的引用传递出去,那在其他线程中就能看见final的值)。

参考书籍

《深入理解Java内存模型》、《深入理解Java虚拟机 第二版》

以上是关于Java内存模型的主要内容,如果未能解决你的问题,请参考以下文章

深入理解Java内存模型

Java内存模型

Java内存模型

java内存模型的JMM简介

并发艺术--java内存模型

Java内存模型的历史变迁