2 内存间交互操作
---Java内存模型中定义了以下8种操作,并且每一种操作都是原子的、不可再分的(double、long存在例外):
· lock:作用于主内存的变量,把一个变量标识为线程独占的状态。
· unlock:作用于主内存的变量,把一个处于锁定状态的变量释放出来,释放后的变量才能被其他线程锁定。
· read:作用于主内存的变量,把一个变量的值从主内存中传输到线程的工作内存中,以便之后的load使用。
· load:作用于工作内存的变量,把read操作从主内存中得到的变量值放入工作内存的变量副本中。
· use:作用于工作内存的变量,把工作内存中一个变量的值传递给执行引擎。
· assign:作用于工作内存的变量,把一个从执行引擎接收到的值赋给工作内存的变量。
· store:作用于工作内存的变量,把工作内存中一个变量的值传送到主内存中,以便随后的write操作使用。
· write:作用于主内存的变量,把store操作从工作内存中得到的变量的值放入主内存的变量中。
---Java内存模型还规定了在执行上述8种操作时必须满足如下规则:
· 不允许read和load、store和write操作之一单独出现。
· 不允许一个线程丢弃它的最近的assign操作,即变量在工作内存中改变了之后必须把该变化同步回主内存。
· 不允许一个线程无原因地(没有发生过任何地assign操作)把数据从线程的工作内存同步回主内存中。
· 一个新的变量只能在主内存中诞生,不允许在工作内存中直接使用一个未被初始化的变量。
· 一个变量在同一个时刻只允许一条线程对其进行lock操作,但lock操作可以被同一条线程重复多次执行,多次执行lock后,只有执行相同次数的unlock操作,变量才会被解锁。
· 如果对一个变量执行lock操作,那将会清空工作内存中此变量的值,在执行引擎使用这个变量前,需要重新执行load或assign操作初始化变量的值。
· 如果一个变量事先没有被lock锁定,那就不允许对它执行unlock操作,也不允许去unlock一个被其他线程锁定的变量。
· 对一个变量执行unlock操作之前,必须先把此变量同步回主内存中。
3 volatile变量
---是Java虚拟机提供的最轻量级的同步机制;
---volatile变量的特性:
· 保证此变量对所有线程的可见性。即当一条线程修改了这个变量的值,新值对于其他线程来说是可以立即得知的;
备注:可见性说明volatile变量在各个线程的工作内存中不存在一致性问题,但是由于Java里面的运算并非原子操作,导致volatile变量的运算在并发下一样是不安全的。
· 禁止指令重排序优化。指令重排序是指CPU采用了允许将多条指令不按程序规定的顺序分开发送给各相应电路单元处理,volatile关键字保证重排序时不能把后面的指令重排序到内存屏障之前的位置。
---使用volatile必须满足:
· 运算结果并不依赖变量的当前值,或者能够确保只有单一的线程修改变量的值;
· 变量不需要与其他的状态变量共同参与不变约束。
---性能:
· 性能要优于锁(使用synchronized关键字或java.util.concurrent包里面的锁);
· volatile变量读操作的性能和普通变量几乎没有差别,写操作可能会慢一些,因为它需要在本地代码中插入许多内存屏障指令来保证处理器不发生乱序执行。
Java内存模型对volatile变量定义的特殊规则:
· 要求在工作内存中,每次使用volatile变量前都必须先从主内存刷新最新的值,用于保证能看见其他线程对volatile变量所做的修改后的值;
· 要求在工作内存中,每次修改volatile变量后都必须立刻同步回主内存中,用于保证其他线程可以看到自己对volatile变量所作的修改;
· 要求volatile修饰的变量不会被指令重排序优化,保证代码的执行顺序和程序顺序相同。
4 Java内存模型对long和double型变量的特殊规则
---long和double的非原子性协定:允许虚拟机将没有被volatile修饰的64位数据的读写操作划分为两次32位的操作来进行。
5 原子性、可见性、有序性
(1)原子性
---8种操作:read、load、assign、use、store、write、lock、unlock。
(2)可见性
---Java语言中,volatile、synchronized、final关键字能实现可见性,如下:
· volatile关键字:略。
· synchronized关键字:由“对一个变量执行unlock操作之前,必须先把此变量同步回主内存中”这条规则获得。
· final关键字:被final修饰的字段在构造器中一旦初始化完成,并且构造器没有把“this”引用传递出去,那在其他线程中就能看见final字段的值。
(3)有序性
---如果在本线程内观察,所有的操作都是有序的;如果在一个线程中观察另一个线程,所有的操作都是无序的。
---Java语言提供了volatile和synchronized关键字来保证线程之间操作的有序性,如下:
· volatile关键字:本身包含了禁止指令重排序的语义;
· synchronize关键字:由“一个变量在同一个时刻只允许一条线程对其进行lock操作”这条规则获得。
6 先行发生原则
---是判断数据是否存在竞争、线程是否安全的的主要依据。
---Java内存模型下一些“天然的”先行发生关系:
· 程序次序规则:在一个线程内,按照程序控制流顺序,控制流前面的操作先行发生于控制流后面的操作。
· 管程锁定规则:一个unlock操作先行发生于后面对同一个锁的lock操作。
· volatile变量规则:对一个volatile变量的写操作先行发生于后面对这个变量的读操作。
· 线程启动规则:Thread对象的start()方法先行发生于此线程的每一个动作。
· 线程终止规则:线程中的所有操作先行发生于对此线程的终止检测。
· 线程中断规则:对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生。
· 对象终结规则:一个对象的初始化完成先行发生于它的finalize()方法的开始.
· 传递性:如果操作A先行发生于操作B,操作B先行发生于操作C,那么操作A先行发生于操作C。
---先行发生原则和时间先后顺序之间基本没有太大的关系。
7 线程的实现
(1)使用内核线程实现
---内核线程(KLT):由操作系统内核支持的线程。由内核来完成线程切换,内核通过操纵调度器对线程进行调度。
---轻量级进程(LWP):内核线程的一种高级接口。每个轻量级进程都由一个内核线程支持,轻量级进程与内核线程是1:1的关系。
---轻量级进程优点:每个轻量级进程都是一个独立的调度单元,即使有一个轻量级进程在系统调用中阻塞了,也不会影响整个进程继续工作。
---轻量级进程缺点:
· 各种线程操作如创建、析构和同步,都需要进行系统调用,而系统调用需要在用户态和内核态之间来回切换,代价相对较高;
· 需要消耗一定的内核资源(如内核线程的栈空间),因此一个系统支持轻量级进程的数量是有限的。
(2)使用用户线程实现
---用户线程:完全建立在用户空间的线程库上,系统内核不能感知线程存在的实现。
---用户线程的建立、同步、销毁和调度完全在用户态中完成,不需要内核的帮助。
---进程与用户线程之间是一对多的关系。
---使用用户线程实现的优点:
· 程序实现得当,不需要切换到内核态,操作是快速且低消耗的;
· 可以支持规模较大的线程数量。
---使用用户线程实现的缺点:所有的线程操作都需要用户程序自己处理,程序一般都比较复杂。
(3)使用用户线程加轻量级进程混合实现
---用户线程和轻量级进程的数量比是多对多的关系,即N : M。
---优点:
· 用户线程的创建、切换、析构等操作依然廉价;
· 支持大规模的用户线程并发;
· 使用内核提供的线程调度功能及处理器映射,并且用户线程的系统调用通过轻量级进程来完成,大大降低了整个进程被完全阻塞的风险。
(4) Java线程的实现
---对于Sun JDK来说,它的Windows版与Linux版都是使用一对一的线程模型实现的,一条Java线程就映射到一条轻量级进程之中。
8 Java线程调度
---线程调度:系统为线程分配处理器使用权的过程。
---主要调度方式:
(1)协同式线程调度
---概念:线程的执行时间由线程本身来控制,线程把自己的工作执行完了之后,要主动通知系统切换到另外一个线程上。
---优点:实现简单·、不存在线程同步问题。
---缺点:线程执行时间不可控制,如果一个线程出现问题,一直不告诉系统进行系统切换,那么程序就会一直阻塞在那里。
(2)抢占式线程调度
---概念:每个线程由系统来分配执行时间,线程的切换不由线程本身来决定。
---优点:线程的执行时间可控,而且不会因为一个线程出现问题而导致整个进程阻塞。
---Java使用的线程调度方式就是抢占式调度。
---Java语言中,可以通过设置线程优先级的方式来调整各个线程的执行时间的多少。
---使用线程优先级并不大靠谱,原因是:
· Java的线程是通过映射到系统的原生线程上来实现的,线程调度最终还是取决于操作系统,而不同平台上的优先级分类数量不一致。
· 优先级还可能会被系统自行改变。
9 线程状态
---Java语言中定义了5中线程状态:
(1)新建:创建后尚未启动的线程处于这种状态。
(2)运行:处于此状态的线程可能正在执行,也可能正在等待CPU为它分配执行时间。
(3)无限期等待:处于这种状态的线程不会被CPU分配执行时间,它们需要被其它线程显式唤醒。
---三种让线程陷入无限期等待的方法:
· 没有设置Timeout参数的Object.wait()方法;
· 没有设置Timeout参数的Thread.join()方法;
· LockSupport.park()方法。
(4)限期等待:处于这种状态的线程不会被CPU分配执行时间,也不需要被其它线程显式唤醒,在一定时间后会由系统自动唤醒。
---五种会让线程进入限期等待的方法:
· Thread.sleep()方法;
· 设置了Timeout参数的Object.wait()方法;
· 设置了Timeout参数的Thread.join()方法;
· LockSupport.parkNanos()方法;
· LockSupport.partUntil()方法。
(5)阻塞:在程序等待进入同步区域的时候。
(6)结束:已终止线程的线程状态。
---转换关系如下图:
- 深入理解Java虚拟机 -- 读书笔记(1):JVM运行时数据区域
深入理解Java虚拟机 -- 读书笔记:JVM运行时数据区域 本文转载:http://blog.csdn.net/jubincn/article/details/8607790 本系列为<深入理 ...
- 深入Java虚拟机读书笔记第五章Java虚拟机
Java虚拟机 Java虚拟机之所以被称之为是虚拟的,就是因为它仅仅是由一个规范来定义的抽象计算机.因此,要运行某个Java程序,首先需要一个符合该规范的具体实现. Java虚拟机的生命周期 一个运行 ...
- 【Todo】深入理解Java虚拟机 读书笔记
有一个在线系列地址 <深入理解Java虚拟机:JVM高级特性与最佳实践(第2版)> http://book.2cto.com/201306/25426.html 已经下载了这本书(60多M ...
- 深入理解Java虚拟机读书笔记5----虚拟机字节码执行引擎
五 虚拟机字节码执行引擎 1 运行时栈帧结构 ---栈帧是用于支持虚拟机进行方法调用和方法执行的数据结构,是虚拟机运行时数据区中的虚拟机栈的栈元素. ---栈帧中存储了方法的局部变 ...
- 深入理解Java虚拟机读书笔记9----线程完全与锁优化
九 线程完全与锁优化 1 Java语言中的线程完全 ---线程安全:当多个线程访问一个对象时,如果不用考虑这些线程在运行时环境下的调度和交替执行,也不需要进行额外的同步,或者在调用 ...
- 深入理解Java虚拟机读书笔记7----晚期(运行期)优化
七 晚期(运行期)优化 1 即时编译器(JIT编译器) ---当虚拟机发现某个方法或代码块的运行特别频繁时,就会把这些代码认定为“热点代码”,包括被多次调用的方法和被多次执行的循环体. ...
- 深入理解Java虚拟机读书笔记4----虚拟机类加载机制
四 虚拟机类加载机制 1 类加载机制 ---概念:虚拟机把描述类的数据从Class文件加载到内存,并对数据进行校验.转换解析和初始化,最终形成可以被虚拟机直接使用的Java类型. -- ...
- 深入理解Java虚拟机读书笔记3----类文件结构
三 类文件结构 1 Java虚拟机的两种中立特性 · 平台无关性 · 语言无关性 实现平台无关性和语言无关性的基础是虚拟机和字节码存储格式(Class文件). 2 Clas ...
- 深入理解Java虚拟机读书笔记1----Java内存区域与HotSpot虚拟机对象
一 Java内存区域与HotSpot虚拟机对象 1 Java技术体系.JDK.JRE? Java技术体系包括: · Java程序设计语言: · 各种硬件平台上的 ...
随机推荐
- python smtp邮件
SMTP(Simple Mail Transfer Protocol)即简单邮件传输协议,它是一组用于由源地址到目的地址传送邮件的规则,由它来控制信件的中转方式. python的smtplib提供了一 ...
- ss-R:// 链接的含义
1.问题 ss-R:// Mi41LmZ1Y2twcHBwcC50b2RheToyNDI4ODphdXRoX2FlczEyOF9tZDU6YWVzLTI1Ni1jdHI6dGxzMS4yX3RpY2t ...
- AJAX实现登陆
先添加点击事件 <input type="button" id="submitt" value="立即登录" /> 展示信息 & ...
- MVC 验证规则扩展(当RoleID 属性值为A,B 时,Email 属性必填)
public class RoleRequiredAttribute : ValidationAttribute, IClientValidatable { public string RoleIDS ...
- Linux基础入门-文件系统操作与磁盘管理
一.简单文件系统操作: df (-h) 查看磁盘容量: rootfs作为系统启动时内核载入内存之后,在挂载真正的磁盘之前的一个临时文件系统: /dev/sda2 对应主机硬盘的分区,后面的a表示第几块 ...
- [ZZ] 多领域视觉数据的转换、关联与自适应学习
哈工大左旺孟教授:多领域视觉数据的转换.关联与自适应学习 http://blog.sciencenet.cn/home.php?mod=space&uid=3291369&do=blo ...
- form表单提交数据,页面必定会刷新,ajax提交数据不会刷新,做到悄悄提交,多选删除,ajax提交实例
很多页面用到的模态对话框,如知明网站https://dig.chouti.com/的登录页都是模态对话框, 当点登录时,是用的ajax提交,因为输入错了信息,有返回消息,而页面没有刷新. jquery ...
- js 获取url中的参数 修改url 参数 移除url参数
js 获取url中的参数 修改url 参数 移除url参数 var jsUrlHelper = { getUrlParam : function(url, ref) { var str = " ...
- Qt控制流简析
前言: Qt库及其绑定python语言的PySide库.PyQt库在圈中已经是TD的标配了,Qt提供了多种快速绘制图形窗口的方式.但正是因为这个原因,导致很多TD局限在设计窗口外观的桎梏中,而忽略了Q ...
- WebApi Owin OAuth
Microsoft.Owin.Host.SystemWeb Owin Microsoft.Owin Microsoft.Owin.Diagnostics Owin Micros ...