多线程初阶——线程安全

简介: 多线程初阶——线程安全

线程安全

文章目录

1.什么是线程安全

场景:用两个线程同时对一个变量进行5万次自增操作,预期结果是自增10万次。

public class demo1 {
    private static int num=50000;
    public static void main(String[] args) throws InterruptedException {
        Counter counter = new Counter();
        Thread t1=new Thread(()->{
            for (int i = 0; i < num; i++) {
                counter.increase();
            }
        });
        Thread t2=new Thread(()->{
            for (int i = 0; i < num; i++) {
                counter.increase();
            }
        });
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        System.out.println(counter.count);
    }
}
class Counter{
    public int count =0;
    public  void increase(){
        count++;
    }
}

结果如下

157a6cfee5db7111ecda350121852b64.pnga865ce8bacaeda3118a21797e5f512ae.png

和我们预期的结果10000不一样,因此这种现象称为线程不安全。

2.为什么会造成线程不安全

2.1线程抢占式的执行

我们知道线程的执行顺序并不是我们代码中的顺序执行的,抢占式执行是造成线程不安全的主要原因。

2.2 多个线程修改同一变量

当多个线程对同一个变量修改时由于线程的执行是抢占式的,因此导致了线程不安全

2.3 原子性

当我们在要执行自增操作时,count在CPU中通过指令进行自增

  1. 从内存或者寄存器中把count读出来 LOAD
  2. 执行自增操作 ADD
  3. 将计算结果写回内存或寄存器 STORE

当指令的执行按着以下的顺序执行时,保证了线程的原子性,这时我们就能得到我们预期的结果3be8d347d392d9604524d69e3e1e6bf4.png

当时当执行顺序出现了下面的情况时,还能得到我们预期的结果吗

06b5a3e8f8cd4026258023c19d05b3e3.png

这时的在CPU中的count的变化如下

指令执行前 count=0;

  1. t2获取count的值 count=0
  2. t1获取count的值 count=0
  3. t2进行ADD指令 count=1
  4. t1进行ADD指令 count=1
  5. t2写回count 的值
  6. t1写回count 的值

看似count在两个线程中分别进行了自增的操作,实际上在内存中的count只进行了一次自增操作(t2 最后将count的值写回内存后,t1再次将count的值写回到的内存,并覆盖了t2返回的值)。

2.4内存可见性

这里我们介绍一下JMM(Java Memory Model)Java内存模型

7b2264f9795c6f6e16d74dad9b6d81d6.png

这里的主内存是Java虚拟机中的内存。

JMM中每一个工作内存都是独立的,相互之间不可以访问

而内存可见性就是保证当一个线程改变了一个变量的值时,其他线程也能感知到变量的值发生了变化

因此JMM规定了

  1. 所有线程不能直接修改主内存中的共享变量
  2. 如果要修改内存中的变量,就需要把这个变量从主内存中复制到自己的工作内存中,修改完后再将数据刷新回主内存中
  3. 各个线程之间不能相互通信,做到内存级别的线程隔离

2.5 指令重排序

指令重排序,调整了代码的执行顺序,提高了代码的运行效率,在单线程中指令重排序对其没有影响,但由于多线程的执行顺序是抢占式的,代码执行顺序的调整,会出现难以预料的结果。

因此指令发生重排序的条件是

  1. 结果必须正确
  2. 重排序的操作逻辑上互不相干


总结

线程安全产生的原因

  1. 线程在CPU上是抢占式执行,抢占CPU资源是没有顺序的(程序猿无法处理)
  2. 多个线程修改了同一变量的值
  3. 指令执行没有保证原子性
  4. 修改变量时没有保证内存可见性
  5. 程序在编译时,可能会存在指令重排序

3.如何解决线程安全问题

要想解决线程安全问题,最最主要的是将线程的执行变为原子操作

0d0bbad534563eeb5bb9fb3eead65a23.png

那么该如何解决呢?这时我们就要进行加锁操作。

如上图当多个线程中的一个线程在执行自增操作时,自增之前进行加锁,自增操作结束后,进行解锁。使其他线程无法对count进行操作,让其他线程处于阻塞状态。

Java中加锁操作,需要用到synchronized关键字

class Counter2{
    public int count =0;
    public synchronized void increase(){
        count++;
    }
}

加锁以后,其他线程就处于阻塞状态,这时程序由并行变成了串行,而大大的降低了运行效率,但是保证了线程安全。

这时我们就能很好的理解在学习String时,StringBuilderStringBuffr的区别了。

对于synchronized关键字,我们下回分析。

加锁以后,其他线程就处于阻塞状态,这时程序由并行变成了串行,而大大的降低了运行效率,但是保证了线程安全。

这时我们就能很好的理解在学习String时,StringBuilderStringBuffr的区别了。


目录
相关文章
|
1月前
|
存储 消息中间件 资源调度
C++ 多线程之初识多线程
这篇文章介绍了C++多线程的基本概念,包括进程和线程的定义、并发的实现方式,以及如何在C++中创建和管理线程,包括使用`std::thread`库、线程的join和detach方法,并通过示例代码展示了如何创建和使用多线程。
47 1
C++ 多线程之初识多线程
|
28天前
|
Java 开发者
在Java多线程编程中,创建线程的方法有两种:继承Thread类和实现Runnable接口
【10月更文挑战第20天】在Java多线程编程中,创建线程的方法有两种:继承Thread类和实现Runnable接口。本文揭示了这两种方式的微妙差异和潜在陷阱,帮助你更好地理解和选择适合项目需求的线程创建方式。
19 3
|
28天前
|
Java 开发者
在Java多线程编程中,选择合适的线程创建方法至关重要
【10月更文挑战第20天】在Java多线程编程中,选择合适的线程创建方法至关重要。本文通过案例分析,探讨了继承Thread类和实现Runnable接口两种方法的优缺点及适用场景,帮助开发者做出明智的选择。
17 2
|
28天前
|
Java
Java中多线程编程的基本概念和创建线程的两种主要方式:继承Thread类和实现Runnable接口
【10月更文挑战第20天】《JAVA多线程深度解析:线程的创建之路》介绍了Java中多线程编程的基本概念和创建线程的两种主要方式:继承Thread类和实现Runnable接口。文章详细讲解了每种方式的实现方法、优缺点及适用场景,帮助读者更好地理解和掌握多线程编程技术,为复杂任务的高效处理奠定基础。
30 2
|
28天前
|
Java 开发者
Java多线程初学者指南:介绍通过继承Thread类与实现Runnable接口两种方式创建线程的方法及其优缺点
【10月更文挑战第20天】Java多线程初学者指南:介绍通过继承Thread类与实现Runnable接口两种方式创建线程的方法及其优缺点,重点解析为何实现Runnable接口更具灵活性、资源共享及易于管理的优势。
34 1
|
28天前
|
安全 Java 开发者
Java多线程中的`wait()`、`notify()`和`notifyAll()`方法,探讨了它们在实现线程间通信和同步中的关键作用
本文深入解析了Java多线程中的`wait()`、`notify()`和`notifyAll()`方法,探讨了它们在实现线程间通信和同步中的关键作用。通过示例代码展示了如何正确使用这些方法,并分享了最佳实践,帮助开发者避免常见陷阱,提高多线程程序的稳定性和效率。
35 1
|
28天前
|
Java
在Java多线程编程中,`wait()` 和 `notify()/notifyAll()` 方法是线程间通信的核心机制。
在Java多线程编程中,`wait()` 和 `notify()/notifyAll()` 方法是线程间通信的核心机制。它们通过基于锁的方式,使线程在条件不满足时进入休眠状态,并在条件成立时被唤醒,从而有效解决数据一致性和同步问题。本文通过对比其他通信机制,展示了 `wait()` 和 `notify()` 的优势,并通过生产者-消费者模型的示例代码,详细说明了其使用方法和重要性。
25 1
|
2月前
|
数据采集 负载均衡 安全
LeetCode刷题 多线程编程九则 | 1188. 设计有限阻塞队列 1242. 多线程网页爬虫 1279. 红绿灯路口
本文提供了多个多线程编程问题的解决方案,包括设计有限阻塞队列、多线程网页爬虫、红绿灯路口等,每个问题都给出了至少一种实现方法,涵盖了互斥锁、条件变量、信号量等线程同步机制的使用。
LeetCode刷题 多线程编程九则 | 1188. 设计有限阻塞队列 1242. 多线程网页爬虫 1279. 红绿灯路口
|
1月前
|
存储 前端开发 C++
C++ 多线程之带返回值的线程处理函数
这篇文章介绍了在C++中使用`async`函数、`packaged_task`和`promise`三种方法来创建带返回值的线程处理函数。
47 6
|
1月前
|
存储 运维 NoSQL
Redis为什么最开始被设计成单线程而不是多线程
总之,Redis采用单线程设计是基于对系统特性的深刻洞察和权衡的结果。这种设计不仅保持了Redis的高性能,还确保了其代码的简洁性、可维护性以及部署的便捷性,使之成为众多应用场景下的首选数据存储解决方案。
41 1