专栏首页武培轩的专栏一男子给对象转账5000元,居然又退还了!

一男子给对象转账5000元,居然又退还了!

在并发编程中,所有问题的根源就是可见性、原子性和有序性问题,这篇文章我们就来聊聊原子性问题。

在介绍原子性问题之前,先来说下线程安全:

线程安全

我理解的线程安全就是不管单线程还是多线程并发的时候,始终能保证运行的正确性,那么这个类就是线程安全的。

其中在《Java并发编程实战》一书中对线程安全的定义如下:

当多个线程访问某个类时,不管运行是环境采用何种调度方式或者这些线程将如何交替执行,并且在主调代码中不需要任何额外的同步或协同,这个类都能表现出正确的行为,那么就称这个类是线程安全的。

为了保证线程安全,可能会有很多的挑战和问题,当我们了解了问题根源所在,问题也就迎刃而解了,接下来介绍线程安全三大特性之一的原子性。

原子性

原子,我想大家应该都有印象吧,在化学反应中不可再分的基本微粒就是原子,也就是不可分割。

同时事务的四大特性 ACID 中也有原子性,那么原子性究竟是什么呢?

原子性其实就是所有操作要么全部成功,要么全部失败,这些操作是不可拆分的,也可以简单地理解为不可分割性。

将整个操作视作一个整体是原子性的核心特征,这些操作就是原子性操作

接下来举个原子性操作在生活中的例子:

比如,wupx 今天刚发了 5100 元的工资,全身家当为 5100 元,huxy 目前余额还有 1000 元,此时 wupx 上交 5000 元,如果转账成功,则 huxy 的余额就变为了 6000 元,wupx 的余额为 100 元。

若转账失败,则转出去的余额会退回来,wupx 的余额仍然是 5100 元,huxy 的余额为 1000 元。

不会出现 wupx 的钱转出去了,huxy 的余额没有增加,或者 wupx 的工资没转出去,而 huxy 的余额却增加的情况。

wupx 上交工资给 huxy 的操作就是原子性操作,wupx 余额减少 5000 元,而 huxy 的余额增加 5000 元的操作是不可分割和拆分的,正如我们上面说到的:要么全部成功,要么全部失败。wupxhuxy 上交成功流程如下所示:

原子操作可以是一个步骤,也可以是多个操作步骤,但是其顺序不可以被打乱,也不可以被切割而只执行其中的一部分。

到这里,我相信大家对原子性有了基本的了解,下面来聊下原子性问题。

原子性问题

原子性问题的核心就是线程切换导致的,因为并发编程中,线程数设置的数目一般会大于 CPU 核心数。

关于线程数的设置可以阅读:线程数,射多少更舒适?

每个 CPU 同一时刻只能被一个线程使用,而 CPU 资源分配采用的是时间片轮转策略,也就是给每个线程分配一个时间片,线程在这个时间片内占用 CPU 的资源来执行任务,当过了一个时间片后,操作系统会重新选择一个线程来执行任务,这个过程一般称为任务切换,也叫做线程切换或者线程上下文切换。

上图就是线程切换的例子,有 Thread-0Thread-1 两个线程,其中粉色矩形表示该线程占有 CPU 资源并执行任务,刚开始 Thread-1 执行一段时间,这段时间称为时间片,在该时间片内,Thread-1 会占有 CPU 资源并执行任务,当经过一个时间片后,Thread-1 会让出 CPU 资源,虚线部分表示让出 CPU,不占用 CPU 资源,CPU 会重新选择一个线程 Thread-0 来执行,CPU 会在 Thread-0Thread-1 之间来回切换,反复横跳。

下面通过一个例子来看下原子性问题,具体代码如下:

public class AtomicityDemo {

    private long count = 0;

    public void calc() {
        count++;
    }
}

calc() 方法中只有一个 count++ 操作,那么就是原子性的吗?

下面在 class 目录下使用 javap -c AtomicityDemo 就可以得到如下结果:

public class com.`wupx`.thread.AtomicityDemo {
  public com.`wupx`.thread.AtomicityDemo();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: aload_0
       5: lconst_0
       6: putfield      #2                  // Field count:J
       9: return

  public void calc();
    Code:
       0: aload_0
       1: dup
       2: getfield      #2                  // Field count:J
       5: lconst_1
       6: ladd
       7: putfield      #2                  // Field count:J
      10: return
}

重点来看下 calc 方法,这些 CPU 指令大概可以分为如下三步:

  • 指令 1:将 count 从内存加载到 CPU 寄存器
  • 指令 2:在寄存器中执行 +1 操作
  • 指令 3:将结果写入内存(也有可能是 CPU 缓存)

关于 CPU 缓存可以阅读:原来 CPU 为程序性能优化做了这么多

操作系统的线程切换并不是一定是发生一条语句执行完成后,而可能是发生在任何一条 CPU 执行完成后。比如 Thread-0 执行完指令 1 后,操作系统发生了线程切换,两个线程都执行了 count++ 操作,但是最后的结果是 1 而不是 2,下面用图来表示这个过程。

通过上图,我们可以发现:Thread-1count=0 加载到 CPU 的寄存器后,发生了线程切换,此时内存中的 count 值为 0,Thread-0count=0 加载到 CPU 寄存器,执行 count++ 操作,并将 count=1 写到内存,此时,CPU 切换到 Thread-1,执行 Thread-1 中的 count++ 操作后,Thread-1 中的 count 值为 1,Thread-1count=1 写入内存,此时内存中的 count 值为 1。

因此,在并发编程中,若在 CPU 中存在正在执行的线程,正好 CPU 发生了线程切换,则可能会导致原子性问题,这就是导致并发编程问题的根源之一。

针对原子性问题,我们可以通过为操作加锁或者使用原子变量来解决,原子变量在 java.util.concurrent.atomic 包中,是 JDK 1.5 引入的,它提供了一系列的原子操作。

总结

这篇文章简要介绍了线程安全的概念,并详细介绍了线程安全的特性之一原子性,并针对原子性问题进行了分析。

只有掌握了引发原子性问题的根源,才能便于我们编写更加安全的并发程序。

欢迎大家留言讨论,分享你的想法。

参考 《Java并发编程实战》 Java并发编程实战

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 我就站在你面前,你却视而不见!

    在上一篇文章一男子给对象转账5000元,居然又退还了!中,我们学习了并发三大特性之一的原子性,并对原子性问题进行分析。

    武培轩
  • 实现线程的方式到底有几种?

    这篇文章主要讲解实现线程的方式到底有几种?以及实现 Runnable 接口究竟比继承 Thread 类实现线程好在哪里?

    武培轩
  • 剑指Offer-二叉搜索树与双向链表

    题目描述 输入一棵二叉搜索树,将该二叉搜索树转换成一个排序的双向链表。要求不能创建任何新的结点,只能调整树中结点指针的指向。 思路 思路一: 由于要求链表是有序...

    武培轩
  • Python中的GIL是个什么玩意?

    关于 Python的多线程,经常我们会听到老手说:“python下多线程是鸡肋,推荐使用多进程!”,但是为什么这么说呢?

    我被狗咬了
  • 【VBS】vbs指定编码保存文本文件(含xml、ini什么的)

    - 让用户填写一些信息,待安装完成后把这些信息写入软件安装目录中的指定ini、xml文件中

    AhDung
  • 常用机器性能评估工具

    软件系统跑在机器上,处理能力受硬件制约,所以,单机处理能力会有上限。评估机器处理能力的上限,检查程序的瓶颈在哪,有助于程序性能分析。主要的几大硬件:CPU、内存...

    杨海春
  • python学习第一天关于编程介绍和计算

    内存:储存数据   优点:存取速度快   缺点:储存数据少,断电后数据丢失不能保存(大脑)

    py3study
  • 震惊,用了这么多年的 CPU 利用率,其实是错的

    http://www.brendangregg.com/blog/2017-05-09/cpu-utilization-is-wrong.html

    Spark学习技巧
  • 震惊,用了这么多年的 CPU 利用率,其实是错的

    http://www.brendangregg.com/blog/2017-05-09/cpu-utilization-is-wrong.html

    Linux阅码场
  • 震惊,用了这么多年的 CPU 利用率,其实是错的

    CPU 并非 90% 的时间都在忙着,很大一部分时间在等待,或者说“停顿(Stalled)”了。这种情况表示处理器流水线停顿,一般由资源竞争、数据依赖等原因造成...

    刘盼

扫码关注云+社区

领取腾讯云代金券