线程安全问题的产生条件、解决方式

简介: 线程安全问题的产生条件、解决方式

1、线程安全的产生条件

■ 线程安全问题概念:

多个线程并发下执行,对共享数据进行非原子性操作,造成执行结果 不一致 的情况。

  • 线程安全产生前提: 存在多个线程并发执行(线程之间处于争抢资源的竞争状态)、 非原子性操作共享数据
  • 线程不安全造成的结果: 数据不一致

线程安全结果:数据一致;线程不安全结果:数据不一致

线程安全问题:就是线程不安全导致的问题


■ 并发、并行

  • 并发(多个线程操作同一个资源)
  • CPU 一核,模拟出多条线程, CPU 快速交替实现 ,多个线程之间处于竞争关系,争抢资源
  • 并发(多个人一个起走)
  • CPU 多核,多个线程可以同时执行,线程池


2、解决线程安全的方式

☺ 解决思路:破解产生的四个个条件即可

比如存在多个线程 ==> 使用单线程

比如并发执行 ==> 同步,加锁,例如使用Synchronized、lock; 乐观并发策略,例如CAS

比如非原子性操作 ==> 原子性操作,例如使用 原子操作类 Atomic,例如AtomicInteger

比如共享数据 ==> 数据类型不变的、已知线程安全的变量(集合 Vector、原子类Atomic)、线程局部变量(ThreadLocal)

  • 同步是指在多个线程并发访问共享数据时,保证共享数据在同一个时刻只被一条线程使用。


■ 常见的线程安全的解决方式

(1) 加锁方式

  • 使用 同步关键词 synchronized 或者 lock 的子类可重入锁 ReentrantLock
  • 互斥同步面临的主要问题是进行线程阻塞和唤醒所带来的性能开销,因此这种同步也被称为阻塞同步。【种悲观的并发策略】
  • 高并发场景,建议使用Lock锁,Lock锁要比使用Synchronize关键字在性能上有极大的提高,而且 Lock锁底层就是通过AQS+CAS机制实现的 ,而CAS 也是解决线程安全的另外一种方式。


★ 说说lock 和 synchronized 锁的区别

  • synchronized 是一个 关键字,使用C++实现的,没办法控制锁的开始、锁结束,也没办法中断线程的执行
  • 而 lock 是 java层面的实现可以获取锁的状态,开启锁,释放锁,通过设置可以中断线程的执行,更加灵活
  • 是否自动是否锁:synchronized 会自动是否锁,而 lock 需要手动调用unlock 方法释放,否则会死循环
lock.lock();//其他没有拿到锁的线程?阻塞 卡着不动
boolean res = lock.tryLock(1000, TimeUnit.MILLISECONDS);//一秒之后如果没有拿到锁,就返回false
lock.lockInterruptibly();//中断方法


(2) 乐观并发策略

  • CAS 乐观并发策略,无锁机制
  • 像线程安全的 原子操作类Atomic 底层就是使用 CAS 思想 ,只是落地实现是依赖 Unsafe 的CPU 原语级别的汇编操作
new AtomicInteger().getAndAdd(1);//获取到当前值并加1
// 底层实现
public final int getAndAdd(int delta) {
   return unsafe.getAndAddInt(this, valueOffset, delta);
}
public final int getAndAddInt(Object var1, long var2, int var4) {
   int var5;
   do {
      var5 = this.getIntVolatile(var1, var2);
   } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));
   return var5;
}

工作中,不建议使用Unsafe 类,类名就提示你了"不安全"!

  • 基于冲突检测的乐观并发策略,通俗地说就是不管风险,先进行操作,如果没有其他线程争用共享数据,那操作就直接成功了;如果共享的数据的确被争用,产生了冲突,那再进行其他的补偿措施,最常用的补偿措施是不断地重试,直到出现 没有竞争的共享数据为止。
  • 使用乐观并发策略需要“硬件指令集的发展”?因为我们必须要求操作和冲突检测这两个步骤具备原子性。靠什么来保证原子性?==> cpu 指令
  • CAS 可能出现的问题:死循环、ABA 问题
  • ABA 问题的解决:带有 标记的 原子引用类 AtomicStampedReference ==> 类似思想"乐观锁,加版本号"


(3) 线程私有局部变量

  • 线程本地存储,比如 threadLocal,线程私有的局部变量,避免的共享变量的竞争


(4) 其他方式

  • 使用 volatile,利用它的可见性,禁止指令重排的特性,但原子性没法保证。在多线程下没有严格的写操作冲突同步要求,推荐使用。
    常用的场景是:使用volatile变量控制线程的终止
  • 写是复制--CopyOnWriteArrayList
    CopyOnWriteArrayList是JUC包提供的线程安全的List。


3、总结常用的解决线程安全方式

  • 加锁:sync、lock
  • (无锁)乐观并发:CAS
  • 原子操作类:atomic
  • (线程局部变量)变量不共享:threadlocal
  • volatile



如果本文对你有帮助的话记得给一乐点个赞哦,感谢!

目录
相关文章
|
5月前
|
Java API 容器
JAVA并发编程系列(10)Condition条件队列-并发协作者
本文通过一线大厂面试真题,模拟消费者-生产者的场景,通过简洁的代码演示,帮助读者快速理解并复用。文章还详细解释了Condition与Object.wait()、notify()的区别,并探讨了Condition的核心原理及其实现机制。
|
8月前
|
Java
Java中的`synchronized`关键字是一个用于并发控制的关键字,它提供了一种简单的加锁机制来确保多线程环境下的数据一致性。
【6月更文挑战第24天】Java的`synchronized`关键字确保多线程数据一致性,通过锁定代码块或方法防止并发冲突。同步方法整个方法体为临界区,同步代码块则锁定特定对象。示例展示了如何在`Counter`类中使用`synchronized`保证原子操作和可见性,同时指出过度使用可能影响性能。
49 4
|
8月前
|
Java
synchronized关键字在Java中为多线程编程提供了一种简便的方式来管理并发,防止数据竞争和死锁等问题
Java的`synchronized`关键字确保多线程环境中的数据一致性,通过锁定代码段或方法防止并发冲突。它可修饰方法(整个方法为临界区)或代码块(指定对象锁)。例如,同步方法只允许一个线程执行,同步代码块则更灵活,可锁定特定对象。使用时需谨慎,以避免性能影响和死锁。
47 0
|
9月前
|
安全 Java 编译器
Java多线程基础-6:线程安全问题及解决措施,synchronized关键字与volatile关键字(一)
线程安全问题是多线程编程中最典型的一类问题之一。如果多线程环境下代码运行的结果是符合我们预期的,即该结果正是在单线程环境中应该出现的结果,则说这个程序是线程安全的。 通俗来说,线程不安全指的就是某一代码在多线程环境下执行会出现bug,而在单线程环境下执行就不会。线程安全问题本质上是由于线程之间的调度顺序的不确定性,正是这样的不确定性,给我们的代码带来了很多“变数”。 本文将对Java多线程编程中,线程安全问题展开详细的讲解。
127 0
|
缓存 Java 编译器
从底层看线程关键字
从底层看线程关键字
58 0
从底层看线程关键字
|
Java API 调度
多线程的操作
多线程的操作
63 0
|
安全 Java 编译器
Volatile关键字的作用和实现原理
Volatile关键字的作用和实现原理
215 0
【并发技术13】条件阻塞Condition的应用(一)
【并发技术13】条件阻塞Condition的应用
|
Java
synchronized 关键字对于锁的一些优化
synchronized 关键字对于锁的一些优化
79 0