1、互斥锁和自旋锁
基础的两种就是互斥锁和自旋锁,有很多⾼级的锁都是基于它们实现的,加锁的目的就是保证共享资源在任意时间⾥,只有⼀个线程访问,这样就可以避免多线程导致共享数据错乱的问题。
当一个线程加锁后,其他线程加锁就会失败,失败的处理方式:
-
互斥:线程释放CPU给其他线程。
-
自旋:线程会忙等待,直到它拿到锁。忙等待锁
互斥锁是⼀种独占锁,当线程 A 加锁成功后,此时互斥锁已经被线程 A 独占了,只要线程 A 没有释放⼿中的锁,线程 B 加锁就会失败,于是就会释放 CPU 让给其他线程,既然线程 B 释放掉了CPU,线程 B 加锁的代码就会被阻塞。
两次线程上下文切换:
加锁失败,运行->睡眠,锁释放,睡眠->就绪。
自旋锁是通过 CPU 提供的 CAS 函数,在用户态完成加锁和解锁操作,不会主动产生线程上下文切换,所以相比互斥锁来说,会快⼀些,开销也小⼀些。
使用自旋锁的时候,当发生多线程竞争锁的情况,加锁失败的线程会忙等待,直到它拿到锁。
在单核 CPU 上,需要抢占式的调度器(即不断通过时钟中断⼀个线程,运行其他线程)。否则,自旋锁在单 CPU上无法使用,因为⼀个自旋的线程永远不会放弃CPU。
应用:
自旋开销小,多核系统下⼀般不会主动产生线程切换,适合异步、协程等在用户态切换请求的编程⽅式,但如果被锁住的代码执行时间过长,自旋的线程会长时间占用 CPU 资源;如果你能确定被锁住的代码执行时间很短,就不应该用互斥锁,而应该选用自旋锁,否则使用互斥锁。
2、读写锁
如果只读取共享资源用读锁加锁,如果要修改共享资源则用写锁加锁。读写锁适用于能明确区分读操作和写操作的场景。
写锁独占锁,任何时刻只有一个线程持有写锁,读锁是共享的。
工作原理:
- 多个线程能够并发地持有读锁,这大大提高了共享资源的访问效率,因为读锁是用于读取共享资源的场景,所以多个线程同时持有读锁也不会破坏共享资源的数据。
- 一旦写锁被线程持有后,读线程的获取读锁的操作会被阻塞,而且其他写线程的获取写锁的操作也会被阻塞。
读优先:
- 读锁能被更多的线程持有,以便提高读线程的并发性,它的工作方式是:当读线程 A 先持有了读锁,写线程 B 在获取写锁的时候,会被阻塞。
- 在阻塞过程中,后续来的读线程 C 仍然可以成功获取读锁,最后直到读线程 A 和 C 释放读锁后,写线程 B 才可以成功获取写锁。
A----C----B;
写优先:
- 当读线程 A 先持有了读锁,写线程 B 在获取写锁的时候,会被阻塞,并且在阻塞过程中后续来的读线程 C 获取读锁时会失败。
- 读线程 C 将被阻塞在获取读锁的操作,这样只要读线程 A 释放读锁后,写线程 B 就可以成功获取写锁。
A----B----C
3、乐观锁和悲观锁
悲观锁认为多线程同时修改共享资源的概率比较高,于是很容易出现冲突,所以访问共享资源前,先要上锁。互斥锁、自旋锁、读写锁,都是属于悲观锁。
乐观锁假定冲突的概念低,先修改完共享资源,再验证这段时间内有没有发生冲突,如果没有其他线程在修改资源,那么操作完成,如果发现有其他线程已经修改过这个资源,就放弃本次操作。
乐观锁虽然去除了加锁解锁的操作,但是⼀旦发生冲突,重试的成本非常高,所以只有在冲突概率非常低,且加锁成本非常高的场景时,才考虑使用乐观锁。