多线程复习总结之对比互斥锁与自旋锁

引言

加锁的目的就是保证共享资源在任意时间内，只有一个线程可以访问，以此避免数据共享导致错乱的问题。最底层就是两种锁：「互斥锁」和「自旋锁」，其他高级锁，如读写锁、悲观锁、乐观锁等都是基于它们实现的。

互斥锁

使用介绍

互斥锁是一种「独占锁」：
1、当线程 A 加锁成功后，此时互斥锁已经被线程 A 独占了，只要线程 A 没有释放手中的锁，线程 B 加锁就会失败。
2、加锁失败的线程B就会释放 CPU 让给其他线程。同时，内核会将线程B置为「睡眠」状态。
3、等到锁被释放后，内核会在合适的时机唤醒线程B
4、当线程B成功获取到锁后，执行其任务。

开销成本

会有两次线程上下文切换的成本：

• 当线程加锁失败时，内核会把线程的状态从「运行」状态设置为「睡眠」状态，然后把 CPU 切换给其他线程运行;
• 当锁被释放时，之前「睡眠」状态的线程会变为「就绪」状态，然后内核会在合适的时间，把 CPU 切换给该线程运行。

如果锁住的代码执行时间比较短，那可能上下文切换的时间都比锁住的代码执行时间还要长。所以，如果能确定被锁住的代码执行时间很短，应该选用自旋锁，否则使用互斥锁。

自旋锁

使用介绍

自旋锁是最比较简单的一种锁，一直自旋，利用 CPU 周期，直到锁可用。
【注意】在单核 CPU上，需要抢占式的调度器（即通过时钟中断一个线程，运行其他线程）。否则，自旋锁在单核 CPU 上无法使用，因为一个自旋的线程永远不会放弃CPU。

自旋锁开销少，在多核系统下一般不会主动产生线程切换，适合异步、协程等在用户态切换请求的编程方式。但如果被锁住的代码执行时间过长，自旋的线程会长时间占用 CPU 资源。所以自旋的时间和被锁住的代码执行的时间是成「正比」的关系。

自旋锁与互斥锁使用层面比较相似，但实现层面上完全不同：

• 当加锁失败时，互斥锁用「线程切换」来应对
• 自旋锁则用「忙等待」来应对

实现原理

通过 CPU 提供的 CAS 算法(Compare And Swap)，在「用户态」完成加锁和解锁操作，不会主动产生线程上下文切换，所以相比互斥锁来说，会快一些，开销也小一些。

一般加锁的过程，包含两个步骤：

• 第一步，查看锁的状态，如果锁是空闲的，则执行第二步;
• 第二步，将锁设置为当前线程持有;

CAS 算法就把这两个步骤合并成一条硬件级指令，形成原子指令，这样就保证了这两个步骤是不可分割的，要么一次性执行完两个步骤，要么两个步骤都不执行。

适应性自旋锁

自适应意味着自旋的时间（次数）不再固定，而是由前一次在同一个锁上的自旋时间及锁的拥有者的状态来决定。

如果在同一个锁对象上，自旋等待刚刚成功获得过锁，并且持有锁的线程正在运行中，那么虚拟机就会认为这次自旋也是很有可能再次成功，进而它将允许自旋等待持续相对更长的时间。

如果对于某个锁，自旋很少成功获得过，那在以后尝试获取这个锁时将可能省略掉自旋过程，直接阻塞线程，避免浪费处理器资源。

附：参考链接

【Linux系统编程】互斥锁和自旋锁
对比介绍：互斥锁 vs 自旋锁