1 同步锁
1.1 前言
我们如何判断程序有没有可能出现线程安全问题,主要有以下三个条件:
在多线程程序中 + 有共享数据 + 多条语句操作共享数据
多线程的场景和共享数据的套接是改变不了的(就像4个窗口一起卖100张票,这个是业务)
所以思路可以从第3点“多条语句操作共享数据”入手,既然是在这多条语句操作数据过程中出现了问题
那我们可以把有可能出现问题的代码都包裹起来,一次只让一个线程来执行
1.2同步与异步
那怎么"把有可能出现问题的代码都包裹起来"呢?我们可以使用synchronized关键字来实现同步效果
也就是说,当多个对象操作共享数据时,可以使用同步锁解决线程安全问题,被锁住的代码就是同步的
接下来介绍下同步与异步的概念:
同步:体现了排队的效果,同一时刻只能有一个线程独占资源,其他没有权利的线程排队。
坏处就是效率会降低,不过保证了安全。
异步:体现了多线程抢占资源的效果,线程间互相不等待,互相抢占资源。
坏处就是有安全隐患,效率要高一些。
1.3 synchronized同步关键字
1.3.1写法
1.3.2 前提
同步效果的使用有两个前提:
· 前提1:同步需要两个或者两个以上的线程(单线程无需考虑多线程安全问题)
· 前提2: 多个线程间必须使用同一个锁(我上锁后其他人也能看到这个锁,不然我的锁锁不 住其他人,就没有了上锁的效果)
1.3.3 特点
1.synchronized同步关键字可以用来修饰代码块,称为同步代码块,使用的锁对象类型任意,但注意:必须唯一!
2.synchronized同步关键字可以用来修饰方法,称为同步方法
3.同步的缺点是会降低程序的执行效率,但我们为了保证线程的安全,有些性能是必须要牺牲的
4.但是为了性能,加锁的范围需要控制好,比如我们不需要给整个商场加锁,试衣间加锁就可以了
2 线程创建的其他方式
2.1 ExecutorService/Executors
ExecutorService:用来存储线程的池子,把新建线程/启动线程/关闭线程的任务都交给池来管理
Executors辅助创建线程池的工具类
3 线程锁
3.1 悲观锁和乐观锁
悲观锁:像它的名字一样,对于并发间操作产生的线程安全问题持悲观状态
悲观锁认为竞争总是会发生,因此每次对某资源进行操作时,都会持有一个独占的锁,就像synchronized,不管三七二十一,直接上了锁就操作资源了
乐观锁:还是像它的名字一样,对于并发间操作产生的线程安全问题持乐观状态。
乐观锁认为竞争不总是会发生,因此它不需要尺有所,将”比较-替换“这两个动作作为一个原子操作尝试去修改内存中的变量,如果失败则表示发生冲突,那么就应该有相应的充实逻辑
3.2 两种常见的锁
synchronized 互斥锁(悲观锁,有罪假设)
采用synchronized修饰符实现的同步机制叫做互斥锁机制,它所获得的锁叫做互斥锁
每个对象都有一个monitor(锁标记),当线程拥有这个锁标记时才能访问这个资源,没有锁标记便进入锁池。任何一个对象系统都会为其创建一个互斥锁,这个锁是为了分配给线程的,防止打断原子操作。每个对象的锁只能分配给一个线程,因此叫做互斥锁
ReentrantLock排他锁(悲观锁,有罪假设)
ReentrantLock是排他锁,排他锁在同一时刻仅有一个线程可以进行访问,实际上独占锁是一种相对比较保守的锁策略,在这种情况下任何”读/读“,”读/写”,“写/写”操作都不能同事发生,在这一定程度上降低了吞吐量。然而读操作之间不存在数据竞争问题,如果“读/读”操作能够以共享锁的方式进行,那会进一步提升性能。
ReentrantReadWriteLock读写锁(乐观锁,无罪假设)
因此引入了ReentrantReadWriteLock,顾名思义,ReentrantReadWriteLock是Reentrant(可重入)Read(读)Write(写)Lock(锁),我们下面称他为读写锁
读写锁内部又分为读锁和写锁,读锁可以在没有写锁的时候被多个线程同事持有,写锁是独占的。
读锁和写锁分离从而提升程序性能,读写锁主要应用于读多写少的场景。