java 可见_Java可见性机制的原理
基本概念
1.可见性
当一个线程修改了共享变量时,另一个线程可以读取到这个修改后的值。
2.内存屏障(Memory Barriers)
处理器的一组指令,用于实现对内存操作的顺序限制。
3.缓冲行
CPU告诉缓存中可以分配的最小存储单位,处理器填写缓存行时,会加载整个缓存行。
4.Lock前缀的指令
Lock前缀的指令在多核处理器下会发生两件事情:
1)将当前处理器的缓存行的数据协会到系统内存。
2)这个写回内存的操作会使其他CPU缓存了该内存的地址的数据无效。
5.缓存一致性协议
在多处理器下,为零保证各个处理器的缓存是一致的,每个处理器都会通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了。当处理器发现自己缓存行对应的地址被修改,就会将当前处理器的缓存行设置为无效状态。当处理器对这个数据进行读写的时候,会重新把数据从内存中读取到处理器缓存中。
6.CAS
CompareAndSwap 比较并交换
CAS操作需要输入两个值,一个旧值(执行CAS操作前的值,期望值)和一个新值,只有当当前值等于旧值时,才可以将当前值设置为新值,否则不设置。这是一个原子操作,由硬件保证。
7.重排序规则
从根本上来所,JMM 对编译器和处理器的重排序限制只有一条,只要不改变程序执行的结果(指的是单线程或者正确同步的多线程环境下),那么编译器和处理器怎么优化都可以。
Volatile
从上面的Lock前缀指令和缓存一致性协议可以看出来,这就是volatile的实现原理了。
实际上,valatile变量被写入时,确实加了一个Lock前缀的指定,以此来达到可见性的目的。
final
Final域只能被显示地赋值一次,但是这并不代表final域不能被多次初始化。
比如:final int i ;i在构造函数中被赋值之前,就会被初始化为默认的值:0.通过调试代码可以证明这一点。
为了保证final域的值不会在为初始化的情况下被访问到,程序员只需要保证一点即可:即,在构造函数中,正在被构造的对象(this)没有“逸出”,那么不需要任何同步手段,就能保证任意线程看到的final域,包括基本类型和引用类型,都是已经被正确地通过构造函数初始化过了的。
一个会是正在被构造的对象逸出的例子: public class FinalTest{ final int i; static FinalTest obj; public FinalTest(){ i =1; /** *这里会使正在被构造的对象逸出,如果和上一句做了重排序,那么其他线程就可以通过obj访问到还为被初始化的final域。 **/ obj = this; } }
Happens-Before规则
happens-before的含义
Happen-Before规则用来描述两个操作之间的顺序关系,这两个操作可以再一个线程内,也可以不再一个线程内。此顺序并不严格意味着执行时间上的顺序,而是至前一个操作的结果要对后一个操作可见。
Happens-Before关系的定义如下: 如果一个happens-before另一个操作,那么第一个操作的执行结果对第二个操作可见,而且第一个操作的执行顺序排在第二个操作之前 两个操作之间存在happens-before关系,并不意味着Java平台的具体实现必须按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果,与按照happens-before关系来执行的结果一致,那么这种重排序并不非法。
举例来说,如果在程序执行顺序上,A先于B,并且A修改了共享变量,而B正好使用该共享变量,那么A需要happen-before B,再直白一点,就是A对共享变量的修改,需要在B执行时,对B可见。
happens-before规则 程序顺序规则:一个线程中的每个操作,happens-before于该线程中的任意后续操作。 监视器锁规则:对一个锁的解锁,happens-before于随后对这个锁的加锁。 volatile规则:对一个volatile域的写,happens-before于任意后续对这个volatile域的读。 传递性:如果Ahappens-before B,并且B happens-before C,那么A happens-before C。 start()规则:如果线程A执行操作ThreadB.start(),那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作。 join()规则:如果线程A执行操作ThreadB.join()并成功返回,那么线程B的任意操作happens-before于线程A从ThreadB.join()操作成功返回。
对所有这些规则的说明:Ahappens-before B并不意味着A一定要先在B之前发生,而是说,如果A已经发生在了B前面,那么A的操作结果一定要对B可见
点赞 0
java 可见_Java可见性机制的原理相关推荐
- java序列化算法透析_Java序列化机制与原理的深入分析
Java序列化算法透析 Serialization(序列化)是一种将对象以一连串的字节描述的过程:反序列化deserialization是一种将这些字节重建成一个对象的过程.Java序列化API提供一 ...
- java序列化原理_Java序列化机制和原理
Java序列化算法透析 Serialization(序列化)是一种将对象以一连串的字节描述的过程:反序列化deserialization是一种将这些字节重建成一个对象的过程.Java序列化API提供一 ...
- java内省_java内省机制
一.内省是什么.实现方式: 内省(Introspector)是Java语言对Bean类属性.事件的一种缺省处理方法. 例如类A中有属性name,那我们可以通过getName,setName来得到其值或 ...
- java万法_Java内省机制和 BeanUtils实现
内省(Introspector) Java 语言对 Bean 类属性.事件的一种缺省处理方法. 例如类 A 中有属性 name, 那我们可以通过 getName,setName 来得到其值或者设置新的 ...
- java 可见_java 可见性简单总结
Java 可见性 内存模型 主存 所有线程都可以访问 本地内存 每个线程私有的内存 - java 的所有变量都存储在主内存中 - 每个线程有自己独的工作内存,保存了该线程使用到的变量副本,是对主内存中 ...
- java 重试_Java重试机制修改
最近无意间看到了一段代码,实话实说看的我有点难受,刚开始的时候还略微有点懵,只是感觉代码很长.等我捋了一遍之后,发现是一段调用远程接口,失败进行重试功能的代码.代码如下: image.png 方法用到 ...
- 简述java异常机制处理,简述Java中异常处理的机制
Q1:JAVA中的异常处理机制的原理 Java中的异常处理机制的简单原理和应用 : java中Throwable这个类可以被作为异常抛出的类,继承它的分为异常Exception和错误Error. Ex ...
- java语言的实现机制_JAVA语言之Java NIO的工作机制和实现原理介绍
本文主要向大家介绍了JAVA语言之Java NIO的工作机制和实现原理介绍,通过具体的内容向大家展示,希望对大家学习JAVA语言有所帮助. 前言 本文只简单介绍NIO的原理实现和基本工作流程 I/O和 ...
- java 反射机制_Java反射机制原理探究
反射是Java中的一个重要的特性,使用反射可以在运行时动态生成对象.获取对象属性以及调用对象方法.与编译期的静态行为相对,所有的静态型操作都在编译期完成,而反射的所有行为基本都是在运行时进行的,这是一 ...
最新文章
- 从0到100 | 用户画像的构建思路
- XAMPP 配置虚拟域名/localhost重定向
- Google JAVA编程风格
- Android初学第34天
- cocos2dx 3.3 Director setNotificationNode BUG
- python第三周笔记_Python第三周 学习笔记(1)
- 计算机 最早开机,电脑启动最先出现的是什么
- shell (7)if 表达式
- 网络编程(part2)--文件读写之打开/读取/写入
- 网易架构师深入讲解Java开发!BAT等大厂必问技术面试题
- C 关于链表的一些操作
- 使用git和github进行协同开发流程
- ES6 数组高频使用方法
- JAVA自学作业02
- 什么是防病毒网关 防病毒网关的功能特点
- SVN下载及其安装配置
- 浮山中学2021年高考成绩查询入口,浮山中学2019年高考成绩通报,第二波震撼来袭...
- 小白UEFI启动如何设置
- 定位的开启及特点(固定定位和粘滞定位)
- 经典PID在智能自寻迹小车中的应用分析