技术标签: Java 原子性 可见性 Java细节 单例模式 有序性
在说清楚为什么为什么要两次校验之前,先了解一下几个基本概念
在多线程中,在考察线程同步,有三个比较重要的性质:
概念
原子性或者说原子操作是指一个操作时不可中断的,这个操作执行要么全部成功要不全部失败,不可能存在成功一部分,失败一部分的情况。即使是在并发场景里,原子操作一旦开始执行就不会受到其他线程的影响。
lock与unkock操作是为了保证更大范围的原子性操作,被lock和unlock操作包含了多个操作是原子性的,这些操作能够全部被执行。这两个操作映射到JVM指令中即为moniterenter和moniterexit指令,被moniterenter和moniterexit指令包含的指令可以全部被执行,代码层面上即表现为synchronized关键字,所以synchronized可以保证原子性。但是这里需要声明不是只有加锁才能保证原子性,还可以通过无锁操作(如比较并交换CAS、加载链接/条件存储LL/SC等)也能保证原子性,只要这么指令能保证操作不能被中断即可。
为什么有原子性问题
显而易见的,a =10 是原子操作,是因为虚拟机内部实现做了保证。而a++不是原子操作,看起来只有一行代码,一个操作,但是a++等同于a = a + 1处理器执行过程中被分为了三个操作,大体可以看成:
类比到虚拟机中,即为将将a从主存中读到线程工作内存中,在工作内存中将a的值加1,将工作内存中的值写回到主存。它是可分的,意味着是可中断的,所以a++不是原子操作。
那么为什么会有原子性问题呢,在博客线程安全中我们提到了时间片的概念,其中时间片的轮转造成了原子性问题。时间片的轮转导致了操作被分割,一旦被分割,当前线程就失去了将操作全部完成的可能性,产生了原子性问题。
解决办法
原子性不可能由软件单独保证,必须需要硬件的支持,因此是和架构相关的。
概念
可见性是指当一个线程修改了共享变量的值,其他线程能够立即得知这个修改。在Java内存模型中,一个线程修改共享变量的值是在工作内存中完成的,而其他线程是无法访问该线程的工作内存的,修改完成后再将新的值同步回主内存中;其他线程需要从主内存读取变量的值才能获知修改,实现可见性。
为什么有可见性问题
因为在修改成新的值再到同步回主内存中这两个动作不是连续发生的,所以导致其他线程不能够立即得知这个修改。当前线程修改工作内存中该共享变量的值,其他线程读取内存中该变量未修改前的值,当前线程再将修改后的值同步回内存中,于是就产生了可见性问题。
解决办法
概念
Java中天然的有序性是指:在本线程内观察,操作都是有序的;如果在一个线程中观察另外一个线程,所有的操作都是无序的。前半句是指“线程内表现为串行的语义”,后半句是指“指令重排序”和工作内存与主内存同步延迟的现象。所以,在同一个线程内,所有的操作都是串行的,有序的,但是多个线程并行的情况下,则不能保证其操作的有序性。
为什么有有序性问题
在概念中已经提到原因:指令重排序和工作内存与主内存同步延迟。这两个原因造成程序的书写顺序(单线程下串行的有序)与实际CPU的执行顺序(多线程下顺序是不可预测的)是不一致的更深层次的原因就是硬件原因了:CPU为了优化性能,缓存与主内存的访问速度差异导致最终的顺序产生变化,最终造成有序性问题。
计算机执行程序时并不一定是按照我们编写的程序由上至下顺序执行,编译器和CPU会在保证输出结果和顺序执行一样的前提下, 对指令进行重排序,使性能得到优化。如果CPU是单核,那这种优化不会带来线程执行冲突。但多核CPU的情况下,多线程并发操作共享变量,这种指令重排序可能导致意想不到的结果。
解决办法
public class SingletonDemo {
private SingletonDemo() {
}
private volatile static SingletonDemo instance = null;
public static SingletonDemo getInstance() {
//第一重检查:如果已经初始化完成,直接返回实例
if (instance == null) {
synchronized (SingletonDemo.class) {
//第二重锁检查(针对比如A,B两个线程都为null,第一个线程创建完对象,第二个等待锁的线程拿到锁的情况)
if (instance == null) {
instance = new SingletonDemo();
}
}
}
return instance;
}
}
/*
new 一个对象的过程
1.在堆中分配对象内存
2.填充对象必要信息+具体数据初始化+末位填充
3.将引用指向这个对象的堆内地址
*/
第一个if语句,用来确认调用getInstance()时instance是否为空,如果不为空即已经创建,则直接返回,如果为空,那么就需要创建实例,于是进入synchronized同步块。
避免每次获取实例的时候都需要获取锁和释放锁,这样会带来很大的性能消耗,外层判空可以在已经初始化完成后,直接返回实例对象。
内层判空是为了保证对象的单例,因为在多线程情况下,如果没有内层判空的话,那么多个线程可能在竞争锁之前都已经通过了外层判空逻辑,那么在这种情况下,会出现多个实例对象。所以加上内层判空,那么另一个线程进来后,再次判空的时候对象已经被之前释放锁的线程初始化完成,那么自然不会进入new对象的逻辑中,从而保证了对象的单一。
synchronized加类锁,确保同时只有一个线程能进入,进入以后进行第二次判断,是因为,对于首个拿锁者,它的时段instance肯定为null,那么进入new Singleton()对象创建,而在首个拿锁者的创建对象期间,可能有其他线程同步调用getInstance(),那么它们也会通过if进入到同步块试图拿锁然后阻塞。
这样的话,当首个拿锁者完成了对象创建,之后的线程都不会通过第一个if了,而这期间阻塞的线程开始唤醒,它们则需要靠第二个if语句来避免再次创建对象。以上就是双检索的实现思路,synchronized与第二个if即是用来保证线程安全与不产生第二个实例,也是Double_Checked_Lock由来。
主要用例禁止指令重排序。因为INSTANCE = new Singleton() 主要分为三步:
如果能够保证2,3的顺序那么就不会存在安全问题,但是实际因为JIT和处理器会对代码进行优化重排序,那么可能会2,3的顺序颠倒,那么就有可能会出现一个线程拿到了一个未被初始完成的对象,从而引发安全问题。所以需要添加volatile关键字禁止指令重排序
如果没有volatile会有什么后果呢?
那么,在完成1后,对象的大小和地址已经确定,因此,2和3其实存在指令重排序的可能。并且可以看到,3的操作明显比2要少,那么如果让2与3一起执行,并且反应到具体的顺序上变成了1-3-2.先完成3,引用变量instance先指向了在堆中给对象分配的空间,然后2仍在慢慢吞吞继续。这时候,被synchronized挡在外面的阻塞线程其实是不会有什么影响的,因为一定会等到对象创建完,首个拿锁者才会释放锁。
那么关键是在,此刻如果在3完成而2未完成这个临界点,有一个新线程调用getInstance(),那么第一个if,会怎么样?
答案是因为第一个if没在同步块里,而此时instance已经非空,指向具体内存地址了,所以直接返回此时未完成初始化的instance实例。
饿汉式天生线程安全,可直接用于多线程,无任何问题,
懒汉风格本身是非线程安全的(双检锁解决并发问题)
/**
* 单例模式-饿汉模式
* 在类加载的时候就会创建对象
*/
class GirlFriend {
public String name;
private static GirlFriend gf = new GirlFriend("小红");
public static GirlFriend getGf() {
return gf;
}
/**
* 构造器私有化,不能在本类之外new
* @param name
*/
private GirlFriend(String name) {
this.name = name;
}
@Override
public String toString() {
return "GirlFriend{" +
"name='" + name + '\'' +
'}';
}
}
/**
* 单例模式-懒汉模式
* 1.构造器私有化
* 2.提供一个static静态属性对象
* 3.提供一个public的static方法,返回一个实例对象
* 4.懒汉模式,只有在用户调用方法时,才会创建对象,之后再次调用,返回的是同一对象
*/
class Cat {
private String name;
private static Cat cat;
private Cat(String name) {
this.name = name;
}
public static Cat getCat() {
if (cat == null) {
cat = new Cat("加菲猫");
}
return cat;
}
@Override
public String toString() {
return "Cat{" +
"name='" + name + '\'' +
'}';
}
}
文章浏览阅读645次。这个肯定是末尾的IDAT了,因为IDAT必须要满了才会开始一下个IDAT,这个明显就是末尾的IDAT了。,对应下面的create_head()代码。,对应下面的create_tail()代码。不要考虑爆破,我已经试了一下,太多情况了。题目来源:UNCTF。_攻防世界困难模式攻略图文
文章浏览阅读2.9k次,点赞3次,收藏10次。偶尔会用到,记录、分享。1. 数据库导出1.1 切换到dmdba用户su - dmdba1.2 进入达梦数据库安装路径的bin目录,执行导库操作 导出语句:./dexp cwy_init/[email protected]:5236 file=cwy_init.dmp log=cwy_init_exp.log 注释: cwy_init/init_123..._达梦数据库导入导出
文章浏览阅读1.9k次。1. 在官网上下载KindEditor文件,可以删掉不需要要到的jsp,asp,asp.net和php文件夹。接着把文件夹放到项目文件目录下。2. 修改html文件,在页面引入js文件:<script type="text/javascript" src="./kindeditor/kindeditor-all.js"></script><script type="text/javascript" src="./kindeditor/lang/zh-CN.js"_kindeditor.js
文章浏览阅读2.3k次,点赞6次,收藏14次。SPI的详情简介不必赘述。假设我们通过SPI发送0xAA,我们的数据线就会变为10101010,通过修改不同的内容,即可修改SPI中0和1的持续时间。比如0xF0即为前半周期为高电平,后半周期为低电平的状态。在SPI的通信模式中,CPHA配置会影响该实验,下图展示了不同采样位置的SPI时序图[1]。CPOL = 0,CPHA = 1:CLK空闲状态 = 低电平,数据在下降沿采样,并在上升沿移出CPOL = 0,CPHA = 0:CLK空闲状态 = 低电平,数据在上升沿采样,并在下降沿移出。_stm32g431cbu6
文章浏览阅读1.2k次,点赞2次,收藏8次。数据链路层习题自测问题1.数据链路(即逻辑链路)与链路(即物理链路)有何区别?“电路接通了”与”数据链路接通了”的区别何在?2.数据链路层中的链路控制包括哪些功能?试讨论数据链路层做成可靠的链路层有哪些优点和缺点。3.网络适配器的作用是什么?网络适配器工作在哪一层?4.数据链路层的三个基本问题(帧定界、透明传输和差错检测)为什么都必须加以解决?5.如果在数据链路层不进行帧定界,会发生什么问题?6.PPP协议的主要特点是什么?为什么PPP不使用帧的编号?PPP适用于什么情况?为什么PPP协议不_接收方收到链路层数据后,使用crc检验后,余数为0,说明链路层的传输时可靠传输
文章浏览阅读587次。软件测试工程师移民加拿大 无证移民,未受过软件工程师的教育(第1部分) (Undocumented Immigrant With No Education to Software Engineer(Part 1))Before I start, I want you to please bear with me on the way I write, I have very little gen...
文章浏览阅读304次。Thinkpad X250笔记本电脑,装的是FreeBSD,进入BIOS修改虚拟化配置(其后可能是误设置了安全开机),保存退出后系统无法启动,显示:secure boot failed ,把自己惊出一身冷汗,因为这台笔记本刚好还没开始做备份.....根据错误提示,到bios里面去找相关配置,在Security里面找到了Secure Boot选项,发现果然被设置为Enabled,将其修改为Disabled ,再开机,终于正常启动了。_安装完系统提示secureboot failure
文章浏览阅读10w+次,点赞93次,收藏352次。1、用strtok函数进行字符串分割原型: char *strtok(char *str, const char *delim);功能:分解字符串为一组字符串。参数说明:str为要分解的字符串,delim为分隔符字符串。返回值:从str开头开始的一个个被分割的串。当没有被分割的串时则返回NULL。其它:strtok函数线程不安全,可以使用strtok_r替代。示例://借助strtok实现split#include <string.h>#include <stdio.h&_c++ 字符串分割
文章浏览阅读2.3k次。1 .高斯日记 大数学家高斯有个好习惯:无论如何都要记日记。他的日记有个与众不同的地方,他从不注明年月日,而是用一个整数代替,比如:4210后来人们知道,那个整数就是日期,它表示那一天是高斯出生后的第几天。这或许也是个好习惯,它时时刻刻提醒着主人:日子又过去一天,还有多少时光可以用于浪费呢?高斯出生于:1777年4月30日。在高斯发现的一个重要定理的日记_2013年第四届c a组蓝桥杯省赛真题解答
文章浏览阅读851次,点赞17次,收藏22次。摘要:本文利用供需算法对核极限学习机(KELM)进行优化,并用于分类。
文章浏览阅读1.1k次。一、系统弱密码登录1、在kali上执行命令行telnet 192.168.26.1292、Login和password都输入msfadmin3、登录成功,进入系统4、测试如下:二、MySQL弱密码登录:1、在kali上执行mysql –h 192.168.26.129 –u root2、登录成功,进入MySQL系统3、测试效果:三、PostgreSQL弱密码登录1、在Kali上执行psql -h 192.168.26.129 –U post..._metasploitable2怎么进入
文章浏览阅读257次。本文将为初学者提供Python学习的详细指南,从Python的历史、基础语法和数据类型到面向对象编程、模块和库的使用。通过本文,您将能够掌握Python编程的核心概念,为今后的编程学习和实践打下坚实基础。_python人工智能开发从入门到精通pdf