在前传中讲述了jvm中内存的划分, 是从线程的维度, 而不是从堆 , 栈,方法区的角度.两者直接属于不同维度.前传中讲述了java内存的基本概念.这一章主要说一说内存间交互以及java中一些关键字, 一些规则的实现
1.在内存间的交互操作
关于主内存与工作内存之间的具体的交互协议.有如下8中操作:[/size]
(1) lock: 作用与主内存的变量,一条线程独有.[/size]
(2) unlock: 变量被释放.[/size]
(3) read: 一个变量从主内存传输到线程工作内存.[/size]
(4) load: 跟readu对应,作用与工作内存[/size]
(5) use: 当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作.[/size]
(6) store: 将工作内存中的一个变量的值传到主内存中[/size]
(7) write: 接上一步,作用在主内存中的.[/size]
(8) assign: 赋值操作.[/size]
2. volatile 关键字:[/size]
volatile 不太容易被正确理解, 所以许多程序员不太习惯去用他, 用 synchronized 来取代.[/size]
如下是两种特性:[/size]
(1) 保证此变量对所有线程的可见性, 这里的可见性是指当一条线程修改了这个变量的值, 新值对于其他线程是立即可知的.而普通变量不是这样的, A修改了一个值, 需要向主内存回写, 另外一个线程B 需要在A写完之后从主内存读取,新的变量才会被B可见.[/size]
volatile变量在各个线程中的工作内存中不存在一致性问题, 但是并不是原子性的, 需要通过 一些操作来保证他的原子性.[/size]
可以使用volatile来控制并发.[/size]
volatile boolean shutdownRequested;
public void shutdown(){
shutdownRequested = true;
}
public void doWork(){
while(!shutdownRequest)
// do sth
}
(2) 禁止指令重排序优化[/size]
比较复杂, 不说了[/size]
实现规则:[/size]
(1) 要求 volatile 修饰的变量严格按照 load, read和use 的顺序.即在用之前保证刷新[/size]
(2) 严格按照 assign, store write 的顺序操作, 即保证修改之后立即写回主内存[/size]
(3) 动作顺序有关, 不说了[/size]
3. 原子性, 可见性,有序性的实现[/size]
(1) 原子性 : 保证原子性操作的有6个操作: read, load,assign, use,store, write . 更大的操作通过 开放lock, unlock 操作直接开放给用户, 通过 synchronized 使用.[/size]
(2) 可见性: 上面的 volatile 已经可以说明这一点实现过程,补充一点, java中还有两个关键字能实现: synchronized , final.[/size]
(3) 有序性: null[/size]
分享到:
相关推荐
Java内存模型和线程安全,多线程开发,高并发处理,内存模型分析
java线程-Java内存模型;java线程-Java内存模型;java线程-Java内存模型;java线程-Java内存模型;java线程-Java内存模型;java线程-Java内存模型java线程-Java内存模型
java内存模型和线程安全,详细解析java的 堆栈模型和线程机制
JSR-133 :Java TM 内存模型与线程规范
title: 第12章 Java内存模型与线程 12.1 概述- 7 深入理解Java虛拟机:JVM高级特性与最佳实践(第3版)- 5第五部分 高效并发- 第1
Java线程之间的通信由Java内存模型(本文简称为JMM)控制,JMM决定一个线程对共享变量的写入何时对另一个线程可见。从抽象的角度来看,JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(main ...
java内存模型,对初学者比较实用,理解后有助于多线程编程等
可以先看我的博客在下载,...增加高速缓存;为了使得处理器内部的运算单元能尽量被充分利用,处理器可能会对代码进行乱序执行优化,处理器会在计算机之后将乱序执行的结果重组,保证该结果与顺序执行结果是一致的
java线程之间的通信对程序员完全透明,内存可见性问题很容易困扰java程序员,本文试图揭开java内存模型神秘的面纱。本文大致分三部分:重排序与顺序一致性;三个同步原语(lock,volatile,final)的内存语义,重...
Java 内存模型的抽象 4 重排序 6 处理器重排序与内存屏障指令 7 happens-before 10 重排序 13 数据依赖性 13 as-if-serial 语义 13 程序顺序规则 15 重排序对多线程的影响 15 顺序一致性 19 数据竞争与顺序...
Java内存模型的抽象 重排序 处理器重排序与内存屏障指令 happens-before 重排序 数据依赖性 as-if-serial 语义 程序顺序规则 重排序对多线程的影响 顺序一致性 数据竞争与顺序一致性保证 顺序一致性内存模型 同步...
NULL 博文链接:https://zdsyouxiang.iteye.com/blog/939284
详细介绍Java内存,ava线程之间的通信对程序员完全透明,内存可见性问题很容易困扰java程序员,本文试图揭开java内存模型神秘的面纱。本文大致分三部分:重排序与顺序一致性;三个同步原语(lock,volatile,final)...
在并发编程中,我们需要处理两个关键问题:线程之间如何通信及线程之间如何同步(这里的线程是指并发执行的活动实体)。通信是指线程之间以何种机制...在命令式编程中,线程之间的通信机制有两种:共享内存和消息传递。
Java内存模型,即:JMM。当程序执⾏并⾏操作时,如果对数据的访问和操作不加以控制,那么必 然会对程序的正确性造成破坏。因此,我们需要在深⼊了解并⾏机制的前提下,再定义⼀种规则, 来保证多个线程间可以有效地...
首先希望大家喜欢我制作的文档,如果文档中有什么误解的地方,望告诉一下,5分是也不多,是系统默认的,那么就5分咯,java多线程详解,线程池原理,8种锁,java内存模型......
JavaTM内存模型与线程规范,描述了Java中多线程执行执行时的相关语义及规则
Java线程之间的通信由Java内存模型简称JMM(Java Memory Mode)控制,JMM决定一个线程对共享变量的写入何时对另一个线程可见。从抽象的角度来看,JMM是这样定义线程和主内存之间的抽象关系的:线程之间的共享变量...
27道顶尖的Java多线程、锁、内存模型面试题!.pdf