Java 内存模型
转自WIKI,自由的百科全书
Java内存模型描述了在Java中,线程之间是如何通过内存互相通信、控制或者影响对方。内存模型和单线程模型共同构成了Java编程语言。
在1995年设计的Java内存模型被大多数人认为是不成功的,它使得许多可能改善性能的优化措施无法实施,也不能保证代码的绝对安全。在2004年,Tiger(Java 5.0)中,Java Community Process对内存模型进行了更新。
目录 |
背景
Java语言支持多线程应用的开发。但是线程间同步的技术难度常常让开发者们望而却步。Java应用对各种处理器和操作系统的支持使得这个问题更为严重。为了能够界定软件的行为,Java的设计者们决定所有Java应用的行为必须可以清楚地被定义。
现代地高级语言开发中,代码常常不是按照编写顺序来执行的。编译器、处理器和内存调度系统会对代码重新排序来实现最佳的性能。在多处理器框架下,每个处理器都有自己的缓存,而且这些缓存与主内存之间并不是同步的。在这种情况下,如果从性能的角度考虑,要求线程之间保持完美的同步并不是一个好主意。因为这将带来大量的性能开销。这意味着在某些时候,不同的线程在同一块共享数据上,可能会看到完全不同的值。
在单线程应用中,推断代码的执行是很容易的。典型的情况是,系统会为每个线程在独立的环境中建立类似as-if-serial语义块。当一个线程被执行的时候,至少看上去这个线程的所有行为是按照他们在代码中的编写顺序执行的。即使这些行为并不真的是按照这个顺序发生。
如果一个线程不按顺序执行它的指令,那么其他线程的指令执行有可能也不是按照他原来的顺序。即使后一个线程并不涉及前一个线程的语句块。
例如:如果有两个线程并发的执行下列指令。
Thread 1 |
Thread 2 |
x = 1; |
int r1 = y; |
y = 1; |
int r2 = x; |
如果没有重新排序,Thread2对y的读取返回1,那么顺后对x的读取也会返回1,因为对x的写入操作发生在对y的写入操作之前。然而,如果这两个写入被重新排序,那么即使对y的读取返回1,对x的读取也可能返回0。
Java内存模型定义了多线程程序的正当行为(allowable behavior),和什么情况下有可能对指令代码重新排序。它设置了线程和主内存之间的运行期约束(execution-time constraints), 来保证Java应用程序的稳定和可靠。这就是使得在多线程环境下仍然可以合理的推断代码的执行情况,即使代码已经被动态编译器,CPU和内存调度系统进行了优化。
内存模型
在单线程的情况下,这个规则很简单。
Java语言规范要求JVM去观察within-thread as-if-serial语句块。运行环境(在这种情况下,通常是指动态编译器,CPU和内存调度系统)可以自由的采用一些对代码执行的优化(调整执行顺序),只要能保证这个孤立的线程的执行结果与完全按照他的代码编写顺序执行的结果完全相同。
在这里要注意的是,as-if-serial语句块不能防止不同的线程看到的同一数据有不同的值。内存模型对于这个问题(当数据被读取时什么样的返回值是合法的)是有明确定义的。
相关推荐
java 内存模型 java 内存模型 java 内存模型 java 内存模型
java内存模型文档
Java线程之间的通信由Java内存模型(本文简称为JMM)控制,JMM决定一个线程对共享变量的写入何时对另一个线程可见。从抽象的角度来看,JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(main ...
Java 内存模型的抽象 4 重排序 6 处理器重排序与内存屏障指令 7 happens-before 10 重排序 13 数据依赖性 13 as-if-serial 语义 13 程序顺序规则 15 重排序对多线程的影响 15 顺序一致性 19 数据竞争与顺序...
深度剖析java内存模型深度剖析java内存模型深度剖析java内存模型
深入理解 Java 内存模型,由程晓明编著,深入理解java内存模型JMM
深入Java 内存模型本书介绍了,如何深入学习了解JAVA 内存模型!更好的了解java 虚拟机!
深入理解Java内存模型 pdf 超清版
java内存模型.pdf
理解java内存模型的一本不错的书。
java线程之间的通信对程序员完全透明,内存可见性问题很容易困扰java程序员,本文试图揭开java内存模型神秘的面纱。本文大致分三部分:重排序与顺序一致性;三个同步原语(lock,volatile,final)的内存语义,重...
Java内存模型详解,JVM结构..
学习java内存模型,理解深层意义
java 锁 内存模型, 对于想了解cpu锁,内存模型的同学是很不错的资料
JAVA内存模型与垃圾回收 JAVA内存模型与垃圾回收 JAVA内存模型与垃圾回收
深入理解JAVA内存模型.pdf (高清版) 1.基础 2.重排序 3.顺序一致性 4.voltile 5.锁 6.FInal 7.总结。。。等等
Java内存模型和线程安全,多线程开发,高并发处理,内存模型分析
深入理解Java内存模型