线程的安全性 - 并发基础篇

简介

当多个线程访问某个类时,这个类始终都能表现出正确的行为,那么就说这个类是线程安全的。

目录

这次分三步走:关于相关知识点,放在文末的脑图里了,大家想看结论的,可直接下拉观看哦。

1.创建一个线程安全的类
2.创建一个线程不安全的类:有一个状态变量
3.创建一个线程不安全的类:有多个状态变量

正文

线程的安全性主要是针对对象的状态(实例属性或静态属性)而言的,如果在多线程中,访问到的对象状态不一致(比如常见的自增属性),那么就是线程不安全的

下面我们一步步来

先来个无状态类

第一步:无状态类

这里我们写一个简单的线程安全类,简单到什么地步呢?如下所示

public class SafeDemo {

    public int sum(int n, int m){
        return n + m;
    }
}

就是这么简单,我们说这个类是线程安全的。

为啥安全呢?

因为这个类没有状态,即无状态类;

只有局部变量n,m,而这些局部变量是存在于栈中的,栈是每个线程独有的,不跟其他线程共享,堆才共享

所以每个线程操作sum时,对应的n,m只有自己可见,当然就安全了

好了,通过上面的例子,我们知道了什么是线程安全类,那本节的内容就到此结束了,再见。

在这里插入图片描述

上面的例子,我们举了一个无状态类,接下来我们添加一个状态试试

第二步:加一个状态变量

加一个状态变量(静态属性),代码如下

public class UnSafeDemo {

    static int a = 0;

    public static void main(String[] args) throws InterruptedException {
				// 线程1
        new Thread(()-> {
            for(int j=0;j<100000;j++){
                a++;
            }
          
        }).start();
				// 线程2
        new Thread(()-> {
            for(int j=0;j<100000;j++){
                a++;
            }
        }).start();
				
        Thread.sleep(3000);
      	// 这里不是每次运行都会输出200,000
        System.out.println(a);
    }
}

上面我们创建了两个线程,每个线程都执行10万次的自增操作

但是因为自增不是原子操作,实际分三步:读-改-写

此时如果两个线程同时读到相同的值,则累加次数就会少一次

这种在并发编程中,由于不恰当的执行时序而出现不正确的结果的情况,叫做竞态条件

如下图所示:

期望的是正常执行,每个线程交替执行

在这里插入图片描述

结果却有可能是不正常的,如下

在这里插入图片描述

这时我们就可以说,上面加的这个状态是不安全的,结果就是整个类也是不安全的。

不安全的状态有二:

  1. 可变状态(变量):非final修饰的变量
  2. 共享状态(变量):非局部变量

像上面这个例子,状态就同时属于可变状态和共享状态。

那要怎么确保安全:

  1. 同步:synchronized、volatile、显式锁、原子变量(比如AtomicInteger)
  2. 不可变变量:final(都不能改了,当然安全了)
  3. 不共享变量:不在多线程中共享变量(即局部变量)

PS:代码的封装性越好,访问可变变量的代码块越少,越容易确保线程安全

这里的自增我们就可以用同步中的原子变量来解决。

关于原子变量的细节,后面章节再介绍,这里只需要知道,原子变量内部的操作是原子操作就可以了

修改后的代码如下:

public class SafeDemo {
    static final AtomicInteger a = new AtomicInteger(0);
//    static int a = 0;

    public static void main(String[] args) throws InterruptedException {
				// 线程1
        new Thread(()-> {
            for(int j=0;j<100000;j++){
              	// 这里的自增是原子操作
                a.incrementAndGet();
            }
        }).start();
				// 线程2
        new Thread(()-> {
            for(int j=0;j<100000;j++){
              // 这里的自增是原子操作
                a.incrementAndGet();
            }
        }).start();

        Thread.sleep(3000);
        System.out.println(a.get());
    }
}

可以看到,加了AtomicInteger.incrementAndGet()方法,这个方法是原子操作

这时,不管怎么运行,都是输出200,000

第三步:加多个状态变量

上面我们加了一个状态变量,可以用原子变量来保证线程安全

那如果是多个状态变量呢?此时就算用了原子变量也不行了

因为原子变量只是保证它内部是原子操作,但是当多个原子变量放到一起组合操作时,他们之间又存在竞态条件了,就又不是原子操作了

竞态条件:并发编程中,由于不恰当的执行时序而出现不正确的结果的情况,就是竞态条件(重复陈述ing,加深记忆)

代码如下:

public class UnSafeDemo2 {
    static final AtomicInteger a = new AtomicInteger(0);
    static final AtomicInteger b = new AtomicInteger(0);

    public static void main(String[] args) throws InterruptedException {

        new Thread(()-> {
            for(int j=0;j<10000;j++){
                a.incrementAndGet();
                b.incrementAndGet();
                if(a.get()!=b.get()){
                    // 理想状态的话,不会运行到这里,因为a和b是一起自增的
                    // 但是大部分时候都是不正常的,因为a和b各自是原子操作,但是放到一起就不是原子操作了
                    System.out.println(1);
                }
            }
        }).start();

        new Thread(()-> {
            for(int j=0;j<10000;j++){
                a.incrementAndGet();
                b.incrementAndGet();
                if(a.get()!=b.get()){
                    // 理想状态的话,不会运行到这里,因为a和b是一起自增的
                    // 但是大部分时候都是不正常的,因为a和b各自是原子操作,但是放到一起就不是原子操作了
                    System.out.println(2);
                }
            }
        }).start();
    }
}

上面多次运行,会发现基本上每次都会打印1和2,就是因为这两个线程之间存在竞态条件

那怎么解决呢?

上锁

代码如下:

public class UnSafeDemo2 {
    static final AtomicInteger a = new AtomicInteger(0);
    static final AtomicInteger b = new AtomicInteger(0);

    public static void main(String[] args) throws InterruptedException {
        // 单独创建一个对象,用来充当锁
        UnSafeDemo2 unSafeDemo2 = new UnSafeDemo2();
        new Thread(()-> {
            for(int j=0;j<10000;j++){
                // 这里加了锁
                synchronized (unSafeDemo2){
                    a.incrementAndGet();
                    b.incrementAndGet();
                    if(a.get()!=b.get()){
                        // 现在肯定是理想状态,不会运行到这里
                        System.out.println(1);
                    }
                }
            }
        }).start();

        new Thread(()-> {
            for(int j=0;j<10000;j++){
                // 这里加了锁
                synchronized (unSafeDemo2){
                    a.incrementAndGet();
                    b.incrementAndGet();
                    if(a.get()!=b.get()){
                        // 现在肯定是理想状态,不会运行到这里
                        System.out.println(2);
                    }
                }
            }
        }).start();
    }
}

这里用到的锁为内置锁,还有很多其他锁,这里就不展开了(后面章节再介绍)

注意:同步代码必须上同一个锁才有用,比如上面的例子,两个线程都是上的unsafeDemo2这个锁
你们可以试一下,一个上unsafeDemo2锁,一个上Object锁,看会输出啥

内置锁也叫监视器锁

特点:

  • 互斥性:即一个线程持有锁,其他线程就要等待锁释放后才可以获取锁

  • 可重入性:如果某个线程尝试去获取一个锁,而这个锁之前就是这个线程所持有的,那么这个线程就可以再次获取到锁

  • 好处:避免了死锁:比如一个子类继承父类的synchronized方法,并显示调用父类的synchronized方法,如果不可重入,那么在子类中获取的锁,调用子类的fun方法是没问题的,但是调用父类的fun方法时,会提示上了锁,从而被阻塞,此时就会死锁(自己持有锁,还有再去获取锁,但是又获取不到)

  • 缺点:跟状态有关的方法都需要上锁:操作麻烦,其实就是类的每个方法都需要上锁,如果后面添加了一个方法,忘记加锁,那还是有安全问题(比如被人们遗弃的Vector)

  • 性能问题:整个方法都上锁,性能很低,尤其是一些耗时操作,比如网络IO这种容易阻塞的操作

解决:

  • 缩小锁的范围
  • 将耗时长的操作(前提是操作与状态无关),放到同步之外的代码块

好了,本章内容就先到这里吧,后面还有太多东西了,慢慢来吧。

总结

在这里插入图片描述

热门文章

暂无图片
编程学习 ·

C语言二分查找详解

二分查找是一种知名度很高的查找算法&#xff0c;在对有序数列进行查找时效率远高于传统的顺序查找。 下面这张动图对比了二者的效率差距。 二分查找的基本思想就是通过把目标数和当前数列的中间数进行比较&#xff0c;从而确定目标数是在中间数的左边还是右边&#xff0c;将查…
暂无图片
编程学习 ·

GMX 命令分类列表

建模和计算操作命令&#xff1a; 1.1 . 创建拓扑与坐标文件 gmx editconf - 编辑模拟盒子以及写入子组(subgroups) gmx protonate - 结构质子化 gmx x2top - 根据坐标生成原始拓扑文件 gmx solvate - 体系溶剂化 gmx insert-molecules - 将分子插入已有空位 gmx genconf - 增加…
暂无图片
编程学习 ·

一文高效回顾研究生课程《数值分析》重点

数值分析这门课的本质就是用离散的已知点去估计整体&#xff0c;就是由黑盒子产生的结果去估计这个黑盒子。在数学里这个黑盒子就是一个函数嘛&#xff0c;这门课会介绍许多方法去利用离散点最大化地逼近这个函数&#xff0c;甚至它的导数、积分&#xff0c;甚至微分方程的解。…
暂无图片
编程学习 ·

在职阿里5年,一个28岁女软测工程师的心声

简单的先说一下&#xff0c;坐标杭州&#xff0c;14届本科毕业&#xff0c;算上年前在阿里巴巴的面试&#xff0c;一共有面试了有6家公司&#xff08;因为不想请假&#xff0c;因此只是每个晚上去其他公司面试&#xff0c;所以面试的公司比较少&#xff09; ​ 编辑切换为居中…
暂无图片
编程学习 ·

字符串左旋c语言

目录 题目&#xff1a; 解题思路&#xff1a; 第一步&#xff1a; 第二步&#xff1a; 第三步&#xff1a; 总代码&#xff1a; 题目&#xff1a; 实现一个函数&#xff0c;可以左旋字符串中的k个字符。 例如&#xff1a; ABCD左旋一个字符得到BCDA ABCD左旋两个字符…
暂无图片
编程学习 ·

设计模式--观察者模式笔记

模式的定义与特点 观察者&#xff08;Observer&#xff09;模式的定义&#xff1a;指多个对象间存在一对多的依赖关系&#xff0c;当一个对象的状态发生改变时&#xff0c;所有依赖于它的对象都得到通知并被自动更新。这种模式有时又称作发布-订阅模式、模型-视图模式&#xf…
暂无图片
编程学习 ·

睡觉突然身体动不了,什么是睡眠痽痪症

很多朋友可能有这样的体验&#xff0c;睡觉过程中突然意识清醒&#xff0c;身体却动弹不了。这时候感觉非常恐怖&#xff0c;希望旁边有一个人推自己一下。阳光以前也经常会碰到这样的情况&#xff0c;一年有一百多次&#xff0c;那时候很害怕晚上到来&#xff0c;睡觉了就会出…
暂无图片
编程学习 ·

深入理解C++智能指针——浅析MSVC源码

文章目录unique_ptrshared_ptr 与 weak_ptrstd::bad_weak_ptr 异常std::enable_shared_from_thisunique_ptr unique_ptr 是一个只移型别&#xff08;move-only type&#xff0c;只移型别还有std::mutex等&#xff09;。 结合一下工厂模式&#xff0c;看看其基本用法&#xff…
暂无图片
编程学习 ·

@TableField(exist = false)

TableField(exist false) //申明此字段不在数据库存在&#xff0c;但代码中需要用到它&#xff0c;通知Mybatis-plus在做写库操作是忽略它。,.
暂无图片
编程学习 ·

Java Web day15

第十二章文件上传和下载 一、如何实现文件上传 要实现Web开发中的文件上传功能&#xff0c;通常需要完成两步操作&#xff1a;一.是在Web页面中添加上传输入项&#xff1b;二是在Servlet中读取上传文件的数据&#xff0c;并保存到本地硬盘中。 需要使用一个Apache组织提供一个…
暂无图片
编程学习 ·

【51nod 2478】【单调栈】【前缀和】小b接水

小b接水题目解题思路Code51nod 2478 小b接水 题目 输入样例 12 0 1 0 2 1 0 1 3 2 1 2 1输出样例 6解题思路 可以发现最后能拦住水的都是向两边递减高度&#xff08;&#xff1f;&#xff09; 不管两个高积木之间的的积木是怎样乱七八糟的高度&#xff0c;最后能用来装水的…
暂无图片
编程学习 ·

花了大半天写了一个UVC扩展单元调试工具

基于DIRECTSHOW 实现的&#xff0c;用的是MFC VS2019. 详见&#xff1a;http://www.usbzh.com/article/detail-761.html 获取方法 加QQ群:952873936&#xff0c;然后在群文件\USB调试工具&测试软件\UVCXU-V1.0(UVC扩展单元调试工具-USB中文网官方版).exe USB中文网 USB中文…
暂无图片
编程学习 ·

贪心(一):区间问题、Huffman树

区间问题 例题一&#xff1a;区间选点 给定 N 个闭区间 [ai,bi]请你在数轴上选择尽量少的点&#xff0c;使得每个区间内至少包含一个选出的点。 输出选择的点的最小数量。 位于区间端点上的点也算作区间内。 输入格式 第一行包含整数 N&#xff0c;表示区间数。 接下来 …
暂无图片
编程学习 ·

C语言练习实例——费氏数列

目录 题目 解法 输出结果 题目 Fibonacci为1200年代的欧洲数学家&#xff0c;在他的着作中曾经提到&#xff1a;「若有一只免子每个月生一只小免子&#xff0c;一个月后小免子也开始生产。起初只有一只免子&#xff0c;一个月后就有两只免子&#xff0c;二个月后有三只免子…
暂无图片
编程学习 ·

Android开发(2): Android 资源

个人笔记整理 Android 资源 Android中的资源&#xff0c;一般分为两类&#xff1a; 系统内置资源&#xff1a;Android SDK中所提供的已经定义好的资源&#xff0c;用户可以直接拿来使用。 用户自定义资源&#xff1a;用户自己定义或引入的&#xff0c;只适用于当前应用的资源…
暂无图片
编程学习 ·

零基础如何在短时间内拿到算法offer

​算法工程师是利用算法处理事物的职业 算法&#xff08;Algorithm&#xff09;是一系列解决问题的清晰指令&#xff0c;也就是说&#xff0c;能够对一定规范的输入&#xff0c;在有限时间内获得所要求的输出。 如果一个算法有缺陷&#xff0c;或不适合于某个问题&#xff0c;执…
暂无图片
编程学习 ·

人工智能:知识图谱实战总结

人工智能python&#xff0c;NLP&#xff0c;知识图谱&#xff0c;机器学习&#xff0c;深度学习人工智能&#xff1a;知识图谱实战前言一、实体建模工具Protegepython&#xff0c;NLP&#xff0c;知识图谱&#xff0c;机器学习&#xff0c;深度学习 人工智能&#xff1a;知识图…
暂无图片
编程学习 ·

【无标题】

这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题&#xff0c;有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注…