锁策略介绍

锁策略

1、乐观锁和悲观锁

乐观锁：预测锁冲突的概率不高，多个线程下不会产生锁冲突，此时就不会真的加锁，代码中需要做的工作量比较少。

悲观锁：预测所冲突的概率很高，多线程下会产生锁冲突，代码中需要做的工作量比较大。

举例子：

小明工位上的个人电脑，如果小明认为这个电脑不会有其他同事使用，则它就不必设定开机密码，这就类似于乐观锁；

如果小明认为总有其他人用他电脑，他就会去设置一个开机密码，这样这个电脑在他在职期间只能他使用。

Synchronized 初始使用乐观锁策略. 当发现锁竞争比较频繁的时候,就会自动切换成悲观锁策略

2、读写锁和互斥锁

互斥锁：多个线程竞争同一把锁时，当一个线程竞争到锁之后，其他线程就阻塞等待。比如synchronized。

读写锁：分为两种加读锁和加写锁；

加读锁：多个线程同时读一份数据，不会有线程不安全问题，则没必要进行加锁；

加写锁：多个线程有读数据的，也有写数据的，会有线程不安全问题，则要进行加锁操作。

实际中读的场景更多；特点：相比于普通的互斥锁，少了很多的锁竞争。

synchronized不是读写锁，而是普通的互斥锁。

3、重量级锁和轻量级锁

轻量级锁：加锁解锁开销比较小，一般是纯用户态的加锁逻辑，开销小。少量的内核态用户态切换。

重量级锁：加锁解锁开销比较大，一般是进入内核态的加锁逻辑，开销是比较大的。会有大量的大量的内核态用户态切换。

一般来说，乐观锁也是轻量级锁，悲观锁一般也是重量级锁。注意的是：重量级锁和轻量级锁从结果来看加锁和解锁消耗的时间是多少，而乐观锁和悲观锁是从加锁的过程加锁的过程来进行区分。【并不一定】

synchronized 开始是一个轻量级锁. 如果锁冲突比较严重, 就会变成重量级锁.

4、自旋锁和挂起等待锁

线程在抢锁失败后进入阻塞状态，放弃 CPU，需要过很久才能再次被调度. 虽然当前抢锁失败，但过不了很久，锁就会被释放。没必要就放弃 CPU. 这个时候就可以使用自旋锁来处理这样的问题

自旋锁：线程第一次获取锁失败，则不断去尝试去获取这个锁，会消耗大量的CPU，反复询问锁是否就绪，所以只要锁被其他线程释放，当前线程就会第一时间获取到锁

挂起等待锁：线程第一次获取锁失败，则当前线程就进行阻塞等待，此时CPU就会空出来做其他的工作，但是当情头线程释放锁的时候，当前线程是不知道的，也就会导致当前线程获取锁可能不及时。

自旋锁是轻量级锁的一种典型实现；挂起等待所是重量级锁的一种典型实现；

自旋锁会消耗大量的CPU，挂起等待锁则适用于锁持有时间比较长的场景，可以合理利用CPU资源。

synchronized 中的轻量级锁策略大概率就是通过自旋锁的方式实现的

5、公平锁和非公平锁

公平锁：遵守 “先来后到”. 线程B 比 C 先来的. 当 A 释放锁的之后, B 就能先于 C 获取到锁.

非公平锁：不遵守 “先来后到”，当线程B和C需要加锁时候， B 和 C 都有可能获取到锁.

操作系统内部的线程调度就可以视为是随机的. 如果不做任何额外的限制, 锁就是非公平锁. 如果要想实现公平锁, 就需要依赖额外的数据结构, 来记录线程们的先后顺序

synchronized 是非公平锁

6、可重入锁和不可重入锁

可重入锁：字面意思是“可以重新进入的锁”，即允许同一个线程多次获取同一把锁，不会死锁。

不可重入锁：同一个线程针对同一把锁，连续加锁两次，会死锁。

synchronized是可重入锁。

【相关面试题】

1. 你是怎么理解乐观锁和悲观锁的，具体怎么实现呢？

悲观锁认为多个线程访问同一个共享变量冲突的概率较大, 会在每次访问共享变量之前都去真正加锁.

乐观锁认为多个线程访问同一个共享变量冲突的概率不大. 并不会真的加锁, 而是直接尝试访问数据. 在访问的同时识别当前的数据是否出现访问冲突.

悲观锁的实现就是先加锁(比如借助操作系统提供的 mutex), 获取到锁再操作数据. 获取不到锁就等待.

乐观锁的实现可以引入一个版本号. 借助版本号识别出当前的数据访问是否冲突. （类似于解决CAS的ABA问题的版本号）

2、 介绍下读写锁?

读写锁就是把读操作和写操作分别进行加锁

读写锁最主要用在 “频繁读, 不频繁写” 的场景中

3、什么是自旋锁，为什么要使用自旋锁策略呢，缺点是什么？

如果获取锁失败，则马上再次测试获取锁，无限循环，知道获取锁为止。一旦锁被释放，就能第一时间获取到锁。

优点：可以第一时间获取到锁，更高效. 在锁持有时间比较短的场景下非常有用.

缺点：一直占用CPU，浪费了CPU资源。

4、synchronized 是可重入锁么？

是可重入锁

重入锁：连续加锁两次不会造成死锁

实现：在锁中记入当前线程对象，如果第二次加锁还是当前对象就直接通过，并且还要引入一个变量，每次进入一层锁，变量+1，离开一层锁变量-1，知道变量为0就真正的释放锁。