Java内存模型-Java内存模型的基础1

  1. 云栖社区>
  2. 博客>
  3. 正文

Java内存模型-Java内存模型的基础1

markfork 2018-05-03 21:22:00 浏览833
展开阅读全文

章节目录

  • 1.并发编程需要解决的问题-线程间通信&线程间同步
  • 2.Java内存模型的抽象结构
  • 3.从源代码到指令序列的重排序
  • 4.happens-before 简介

1.并发编程需要解决的问题-线程间通信&线程间同步

并发编程中需要处理两个关键问题:线程间通信、 线程间同步

线程之间通信机制分为两种:共享内存消息传递
共享内存通信与同步

操作类型 实现方式
通信 线程之间共享程序的公共状态,通过写-读内存中的变量的公共状态进行隐式通信
同步 显式进行同步,必须显式制定某个方法或某段代码需要在线程之间互斥执行

消息传递通信与同步

操作类型 实现方式
通信 线程之间没有公共状态,线程之间通过发送消息显式进行通信
同步 隐式进行同步,消息发送必须在消息发送之前

注意:java并发采用的是共享内存模型,java线程之间的通信总是隐式进行的。

2.Java内存模型的抽象结构

  • 在Java中所有的实例对象、静态数据域、和数组元素都存储在堆内存当中,堆内存在线程之间是共享的。 -堆中数据域是线程共享的
  • 局部变量、方法定义参数、和异常处理器参数不会在线程之间共享、他们不会有内存可见性问题,也不受内存模型的影响。-线程独享的

JMM简介
JMM决定一个线程对共享变量的写入何时对另一个线程可见。(可见性保证)
如下图所示:

img_d5ea21deb7dc4d01933818c3bc91fc28.png
JMM内存模型抽象结构示意图

图示解释

1.线程之间共享的变量存储在主内存中,每个线程都有一个本地内存,本地内
存中存储了用共享内存中共享数据的副本。

线程A与线程B之间进行通信

1.线程A把本地内存A中更新过的共享变量刷新到主存中去
2.线程B到主存中去读取线程A之前已更新过的新的共享变量

JMM通过控制主内存与每个线程的本地内存之间的交互,来为Java程序员提供内存可见性保证。

3.从源代码到指令序列的重排序

重排序的作用

在执行程序时,为了提高性能,编译器和处理器常常会对指令做重排序。
重排序类型 含义
编译器优化的重排序 编译器在不改变单线程程序语义的前提下,可以重新安排语句的执行顺序
指令级并行的重排序 不存在数据依赖性,处理器可以改变语句对应机器指令的执行顺序
内存系统的重排序 处理器采用缓存和读/写缓冲区,这使得加载和存储操作看起来是在乱序执行
对于处理器重排序,JMM处理器重排序规则要求java编译器在生成指令序列
时,插入特定类型的内存屏障指令,通过内存屏障指令禁止特定类型的处理器
重排序。

4.happens-before 简介

Java内存模型,使用happens-before的概念来阐述操作之间的内存可见性、
在JMM中,如果一个操作执行的结果需要对另一个操作可见、那么两个操作之间必须要存在happens-before(前一个操作的结果对后一个操作可见)关系。

与程序员密切相关的happens-before规则如下:

1.程序顺序规则:一个线程中的每个操作,happens-before于线程中的任意后续操作。
2.监视器锁规则:对一个锁的解锁,happens-before于随后对这个锁的加锁。
3.volatile规则:对一个volatile域的写,happens-before于任意后续对这个volatile域的读。
4.传递性:如果A操作happens-beforeB,且B happens-before C,那么A happens-before C。

网友评论

登录后评论
0/500
评论
markfork
+ 关注