可见性问题

可见性是指一个线程对共享变量进行了修改,其他线程能够立马看到该共享变量更新后的值,这视乎是一个合情合理的要求,但是在多线程的情况下,可能就要让你失望了,由于每个 CPU 都有自己的缓存,每个线程使用的可能是不同的 CPU ,这就会出现数据可见性的问题,先来看看下面这张图:

对于一个共享变量 count ,每个 CPU 缓存中都有一个 count 副本,每个线程对共享变量 count 的操作的只能操作自己所在 CPU 缓存中的副本,不能直接操作主存或者其他 CPU 缓存中的副本,这也就产生了数据差异。由于可见性在多线程情况下造成程序问题的典型案例就是变量的累加,如下面这段程序:

public class Demo {

    private int count = 0;

    // 每个线程为count + 10000
public void add() {
for (int i = 0; i < 10000; i++) {
count += 1;
}
} public static void main(String[] args) throws InterruptedException { for (int i = 0; i < 10; i++) {
Demo demo = new Demo();
Thread t1 = new Thread(() -> {
demo.add();
});
Thread t2 = new Thread(() -> {
demo.add();
});
t1.start();
t2.start();
t1.join();
t2.join();
System.out.println(demo.count);
}
}
}

我们使用了 2 个程序对 count 变量累加,每个线程累加 10000 次,按道理来说最终结果应该是 20000 次,但是你多次执行后,你会发现结果不一定是 20000 次,这就是由于共享变量的可见性造成的。

我们启动了两个线程 t1 和 t2,线程启动的时候会把当前主内存的 count 读入到自己的 CPU 缓存当中,这时候 count 的值可能是 0 也可能是 1 或者其他,我们就默认为 0,每个线程都会执行 count += 1 操作,这是一个并行操作,CPU1 和 CPU2 缓存中的 count 都是 1,然后他们分别将自己缓存中的count 写回到主内存中,这时候主内存中的 count 也是 1 ,并不是我们预计的 2,。这个原因就是数据可见性造成的。

原子性问题

原子性:即一个操作或者多个操作,要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。这个原子性针对的是 CPU 级别的,并不是我们 Java 代码里面的原子性,拿我们可见性 Demo 程序中的 count += 1;命令为例,这一条 Java 命令最终会被编译成如下三条 CPU 指令:

  • 把变量 count 从内存加载到 CPU 的寄存器,假设 count = 1
  • 在寄存器中执行 count +1 操作,count = 1+1 =2
  • 将结果 +1 后的 count 写入内存

这是一个典型的 读-改-写 的操作,但是它不是原子性的,因为 多核CPU 之间有竞争关系,并不是某一个 CPU 一直执行,他们会不断的抢占执行权、释放执行权,所以上面三条指令就不一定是原子性的,下图是两个线程 count += 1命令的模拟流程:

线程1 所在的 CPU 执行完前两条指令后,执行权被 线程2 所在的 CPU 抢占了,这时候线程1 所在的 CPU 执行挂起等待再次获取执行权,线程2 所在的 CPU 获取到执行权之后,先从内存中读取 count,此时内存中的 count 还是 1,线程2 所在的 CPU 恰好执行完了这三条指令,线程2 执行完之后内存中的 count 就等于 2 了,这时候线程1 再次获取了执行权,这时候线程1 只剩下最后一条将 count 写回内存的命令,执行完之后,内存中的 count 的值还是 2 ,并不是我们预计的 3。

有序性问题

有序性:程序执行的顺序按照代码的先后顺序执行,比如下面这段代码

1  int i = 1;
2 int m = 11;
3 long x = 23L;

按照有序性的话就需要按照代码的顺序执行下来,但是执行结果不一定是按照这个顺序来的,因为 JVM 为了提高程序的运行效率,会对上面的代码按照 JVM 编译器认为最优的顺序执行,从而可能打乱代码的执行顺序,是它会保证程序最终执行结果和代码顺序执行的结果是一致的,这也就是我们所说的指令重排序

由于指令重排序造成程序出 Bug 的典型案例就是:未加 volatile 关键字的双重检测锁单例模式,如下代码:

public class Singleton {
static Singleton instance;
public static Singleton getInstance(){
// 第一次判断
if (instance == null) {
// 加锁,只有一个线程能够获取锁
synchronized(Singleton.class) {
// 第二次判断
if (instance == null)
// 构建对象,这里面就非常有学问了
instance = new Singleton();
}
}
return instance;
}
}

双重检测锁方案看上去非常完美,但是在实际运行时却会出 Bug,会出现对象逸出的问题,可能会得到一个未构建完的 Singleton 对象, 这个就是在构建 Singleton 对象时指令重排序的问题。我们先来看看构建对象理想型的操作指令:

  • 指令1:分配一块内存 M;
  • 指令2:在内存 M 上初始化 Singleton 对象;
  • 指令3:然后 M 的地址赋值给 instance 变量。

但是实际在 JVM 编译器上可能不是这样,可能会被优化成如下指令:

  • 指令1:分配一块内存 M;
  • 指令2:将 M 的地址赋值给 instance 变量;
  • 指令3:最后在内存 M 上初始化 Singleton 对象。

看上去一个小小的优化,也就是这么一个小小的优化就会使你的程序不安全,假设抢到锁的线程执行完指令2 之后,此时的 instance 已经不为空了,这时候来了线程C,线程C 看到的 instance 已经是不为空的了,就会直接返回 instance 对象,这时候的 instance 并未初始化成功,调用 instance 对象的方法或者成员变量时将有可能触发空指针异常。可能的执行流程图:

上面就是造成 Java 程序在多线程情况下出 Bug 的三种原因,关于这些问题 JDK 公司也给出了相应的解决办法,具体如下图所示,这些解决办法的更多细节,我们后面在细细道来。

文章不足之处,望大家多多指点,共同学习,共同进步

最后

打个小广告,欢迎扫码关注微信公众号:「平头哥的技术博文」,一起进步吧。

你的 Java 并发程序 Bug,100% 是这几个原因造成的的更多相关文章

  1. java并发程序和共享对象实用策略

    java并发程序和共享对象实用策略 在并发程序中使用和共享对象时,可以使用一些实用的策略,包括: 线程封闭 只读共享.共享的只读对象可以由多个线程并发访问,但任何线程都不能修改它.共享的只读对象包括不 ...

  2. java并发程序——并发容器

    概述 java cocurrent包提供了很多并发容器,在提供并发控制的前提下,通过优化,提升性能.本文主要讨论常见的并发容器的实现机制和绝妙之处,但并不会对所有实现细节面面俱到. 为什么JUC需要提 ...

  3. java并发程序——BlockingQueue

    概述 BlockingQueue顾名思义'阻塞的队列',是指在:队列的读取行为被阻塞直到队列不为空时,队列的写入行为被阻塞直到队列不满时.BlockingQueue是java.util.concurr ...

  4. java并发程序——Excutor

    概述 Excutor这个接口用的不多,但是ThreadPoolExcutor这个就用的比较多了,ThreadPoolExcutor是Excutor的一个实现.Excutor体系难点没有,大部分的关键点 ...

  5. Java并发程序基础

    Thread.stop() 直接终止线程,并且会立即释放这个线程所持有的锁. Thread.interrupt() 并不会是线程立即退出,而是给线程发送一个通知,告知目标线程,有人希望你退出啦,至于目 ...

  6. Java并发-懒汉式单例设计模式加volatile的原因

    懒汉式单例的double check.例一: class SingletonClass{ private static SingletonClass instance = null; private ...

  7. Java并发编程实战 01并发编程的Bug源头

    摘要 编写正确的并发程序对我来说是一件极其困难的事情,由于知识不足,只知道synchronized这个修饰符进行同步. 本文为学习极客时间:Java并发编程实战 01的总结,文章取图也是来自于该文章 ...

  8. Java并发编程面试题 Top 50 整理版

    本文在 Java线程面试题 Top 50的基础上,对部分答案进行进行了整理和补充,问题答案主要来自<Java编程思想(第四版)>,<Java并发编程实战>和一些优秀的博客,当然 ...

  9. Java并发--Java线程面试题 Top 50

    原文链接:http://www.importnew.com/12773.html 不管你是新程序员还是老手,你一定在面试中遇到过有关线程的问题.Java语言一个重要的特点就是内置了对并发的支持,让Ja ...

随机推荐

  1. 细谈Redis五大数据类型

    文章原创于公众号:程序猿周先森.本平台不定时更新,喜欢我的文章,欢迎关注我的微信公众号. 上一篇文章有提到,Redis中使用最频繁的有5种数据类型:String.List.Hash.Set.SortS ...

  2. 微服务SpringCloud之zipkin链路追踪

    随着业务发展,系统拆分导致系统调用链路愈发复杂一个前端请求可能最终需要调用很多次后端服务才能完成,当整个请求变慢或不可用时,我们是无法得知该请求是由某个或某些后端服务引起的,这时就需要解决如何快读定位 ...

  3. 第八届蓝桥杯java b组第五题

    标题:取数位 求1个整数的第k位数字有很多种方法.以下的方法就是一种. 对于题目中的测试数据,应该打印5. 请仔细分析源码,并补充划线部分所缺少的代码. 注意:只提交缺失的代码,不要填写任何已有内容或 ...

  4. 『嗨威说』算法设计与分析 - STL中Sort函数的实现原理初探

    本文索引目录: 一.对Sort算法实现的个人阅读体会 二.Sort算法使用的三个排序算法的优点介绍 2.1 插入排序的优缺点 2.2 堆排序的优缺点 2.3 快速排序的优缺点 2.4 新的结合排序—— ...

  5. ubuntu13启动屏幕亮度0解决方法

    在终端输入: sudo gedit /etc/default/grub 找到 GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDL ...

  6. Vsftp服务-实战案例

    Vsftp 实验案例一:(本地用户) 试验版本:Linux7.X版本 公司内部现在有一台FTP 和WEB 服务器,FTP 的功能主要用于维护公司的网站内容,包括上传文 件.创建目录.更新网页等等.公司 ...

  7. Kafka 学习笔记之 Kafka0.11之console-producer/console-consumer

    Kafka 学习笔记之 Kafka0.11之console-producer/console-consumer: 启动Zookeeper 启动Kafka0.11 创建一个新的Topic: ./kafk ...

  8. SoapUI 的几种常用参数化方式

    今天给大家来梳理下soapui这款工具关于参数化的几种方式以及具体的应用场景 1.properties 官方文档:https://www.soapui.org/docs/functional-test ...

  9. Mysql数据类型TINYINT(1)与BOOLEAN踩坑记

    熟悉Mysql的同学应该都知道,Mysql查询的boolean结果将输出为0或者1. 比如: ; 其输出结果为1. 查阅mysql官方文档仅找到如下描述: 11.10 Using Data Types ...

  10. java中String转Date与Date转String

    public static void main(String[] args) throws ParseException { SimpleDateFormat simpleDateFormat = n ...