什么是 Java 内存模型?

2019-10-09  

在了解什么是 Java 内存模型之前,先了解一下为什么要提出 Java 内存模型。

之前提到过并发编程有三大问题

  • CPU 缓存,在多核 CPU 的情况下,带来了可见性问题
  • 操作系统对当前执行线程的切换,带来了原子性问题
  • 译器指令重排优化,带来了有序性问题

为了解决并发编程的三大问题,提出了 JSR-133,新的 Java 内存模型,JDK 5 开始使用。

 

那么什么是 Java 内存模型呢?

现在说的 Java 内存模型,一般是指 JSR-133: Java Memory Model and Thread Specification Revision 规定的 Java 内存模型。

JSR-133 具体描述:jsr133.pdf

JSR-133 在 JCP 官网的具体描述

 

说明下

JSR:Java Specification Requests,Java 规范提案。

JCP:Java Community Process 是一个开放的国际组织,成立于1998年,主要由 Java 开发者以及被授权者组成,是使有兴趣的各方参与定义 Java 的特征和未来版本的正式过程。

 

简单总结下

  • Java 内存模型是 JVM 的一种规范
  • 定义了共享内存在多线程程序中读写操作行为的规范
  • 屏蔽了各种硬件和操作系统的访问差异,保证了 Java 程序在各种平台下对内存的访问效果一致
  • 解决并发问题采用的方式:限制处理器优化和使用内存屏障
  • 增强了三个同步原语(synchronized、volatile、final)的内存语义
  • 定义了 happens-before 规则

 

参考:
1、https://baike.baidu.com/item/JSR
2、https://baike.baidu.com/item/JCP
3、https://zh.wikipedia.org/zh-hans/JCP

 

ConstXiong 备案号:苏ICP备16009629号-3