线程安全问题的产生条件、解决方式
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
==> 类似思想"乐观锁,加版本号"
- ABA 问题的解决:带有 标记的
(3) 线程私有局部变量
- 线程本地存储,比如 threadLocal,线程私有的局部变量,避免的共享变量的竞争
(4) 其他方式
-
使用 volatile
,利用它的可见性,禁止指令重排的特性,但原子性没法保证。在多线程下没有严格的写操作冲突同步要求,推荐使用。常用的场景是:使用volatile变量控制线程的终止。
-
写是复制--CopyOnWriteArrayList
CopyOnWriteArrayList是JUC包提供的线程安全的List。
3、总结常用的解决线程安全方式
- 加锁:sync、lock
- (无锁)乐观并发:CAS
- 原子操作类:atomic
- (线程局部变量)变量不共享:threadlocal
- volatile
如果本文对你有帮助的话记得给一乐点个赞哦,感谢!
本文来自博客园,作者:一乐乐,转载请注明原文链接:https://www.cnblogs.com/shan333/p/16727522.html