Java 自旋锁（spinlock）相关知识总结_Java教程

一、前言

谈到『自旋锁』，可能大家会说，这有啥好讲的，不就是等待资源的线程"原地打转"嘛。嗯，字面理解的意思很到位，但能深入具体点吗？自旋锁的设计真就这么简单？

本文或者说本系列的目的，都是让大家不要停留在表面，而是深入分析，做到：

灵活使用
掌握原理
优缺点

二、锁的优化：自旋锁

当多个线程想同时访问同一个资源时，就存在资源冲突，这时，大家最直接想到的就是加锁来互斥访问，加锁会有这么几个问题：

等待资源的线程进入睡眠，发生用户态向内核态的切换，有一定的性能开销；
占用资源的线程很快就用完并释放，这时等待的线程被唤醒，又要立即切换回用户态；

那么，如果有一种方式，使得等待的线程先短暂的等待一会儿，有可能有两种结果：

等待的时间超过了这一会儿，那没办法，只好进入睡眠；
等待的时间还未超过，占用资源的线程释放了，这时等待的线程就可以直接占用资源。

这就是锁的小优化：自旋锁！自旋锁并不是真正的锁，而是让等待的线程先原地"小转"一下，小转一下，通常小转一下的实现方式很简单：

				?

									int SPIN_LOCK_NUM = 64;

									int i = 0;

									boolean wait = true;

									do {

									 wait = // 尝试获取资源锁

									} while (wait && (++i) < SPIN_LOCK_NUM);

我们通过循环一定的次数来自旋。 \color{red}{但是我们也应该知道，不进入休眠而原地打转，是会一直消耗 CPU 资源的，因此，才有了自旋限制！}但是我们也应该知道，不进入休眠而原地打转，是会一直消耗CPU资源的，因此，才有了自旋限制！

看下面的JDK源码：

				?

									public final class Unsafe {

									 public final int getAndSetInt(Object var1, long var2, int var4) {

									  int var5;

									  do {

									   var5 = this.getIntVolatile(var1, var2);

									  } while(!this.compareAndSwapInt(var1, var2, var5, var4));

									  return var5;

									 }

									}

我们可以看到，CAS就是采用的自旋锁方式，持续的尝试读取最新的 volatile 修饰的变量的值，并尝试去用期望的值去比较，然后更新。

不过这里我们要注意，因为是无限循环，因此我们要保证占用资源的线程很快就能释放，而不是长时间占用（当然，因为这里的源码系统也设定了 int 型变量，因此，占用该变量的线程很快就会使用完而释放）。

三、自旋锁的死锁

啥？怎么会有死锁？自旋锁虽然好用，若我们只是停留在上面的分析，那么还是很肤浅的；虽然自旋锁有很大的优势，但同样缺点也不少，除了上面说的，原地打转（忙等待）会一直消耗CPU资源，同时，还会有一个潜在的可能缺陷：死锁。

3.1、系统中断

在聊死锁之前，我们需要先了解一下系统中断事件（大学课本里有这一章节，ASM汇编中也涉及到系统中断向量表）：

中断是指，CPU正常运行期间，由于有内/外部事件，或者由程序预先安排的事件，引起CPU暂停当前工作，转而去处理该事件，当处理完该事件后再返回继续运行被中断（暂停）的程序。通常，操作系统将中断分为两类：外部中断（硬件中断）和内部中断（异常中断，即软件引起的）；

例如：由IO设备引起的中断为硬件中断，比如，键盘输入，硬盘/光驱读写等；异常中断很好理解，比如 NullPointerException 等。

3.2、中断处理程序

系统提供了一个API使得我们的程序能够向系统申请注册一个中断处理程序（例如：程序接收用户的输入事件）。

				?

									request_irq(unsigned int irq, irq_handler_t handler, unsigned long flags, const char *name, void *dev)

参数含义如下：

irq: 中断号，系统定义好，具体可查看中断向量表；
handler: 中断后发生的ISR（Interrupt Service Routines），直接翻译为：中断服务路由；实际类似，是响应中断服务的程序；
flags: 中断标志；
name: 中断相关的设备的ASCII，如："keyboard"，这些名字会在 /proc/irq 和 /proc/interrupts 中使用；
dev: 用于共享中断线，传递驱动程序的设备结构。非共享类型的中断，直接设置成为 NULL

中断标志（flags）：

IRQF_DISABLED：内核处理该ISR期间，禁止其它中断（一般很少使用）；
IRQF_SAMPLE_RANDOM：表明该设备产生的中断对内核熵池有贡献；
IRQF_TIMER：系统定时器；
IRQF_SHARED：多个ISR共享中断线，即一个中断，可存在多个ISR；

调用 request_irq 成功时返回0，常见错误是 -EBUSY，表示给定的中断线已经在使用（没有指定IRQF_SHARED）。

注：

该函数可能引起睡眠，所以不允许在中断上下文或者不允许睡眠的程序中使用！
Linux 中的中断处理程序是无须重入的。当给定的中断处理程序正在执行的时候，其中断线在所有的处理器上都会被屏蔽掉，以防在同一个中断线上又接收到另一个新的中断。通常情况下，除了该中断的其他中断都是打开的，也就是说其他的中断线上的重点都能够被处理，但是当前的中断线总是被禁止的，故，同一个中断处理程序是绝对不会被自己嵌套的。

那这和死锁有何关系呢？额，下一小节会谈到。但这里之所有提到中断，是因为我们还要知道一件事，当系统产生中断，程序被暂停时，程序是不能进入休眠的，此时程序只能采用一种方式：自旋，来保证不会睡眠。

为何不能睡眠？这里就涉及到『中断上下文 context』！

3.3、中断上下文 Context

上面说了，request_irq 可能引起睡眠，所以不允许在中断上下文中使用，也就是说，中断上下文不允许睡眠！

中断上下文：它与进程上下文不一样，中断上下文是内核正在执行ISR。ISR没有自己独立的栈，而是使用内核栈，大小一般是有限制的（32位是8KB大小）。同时，ISR是打断了正常的程序流程，因此必须保证ISR执行速度快。正因为要执行速度快，所以，中断上下文不允许睡眠，且不允许被阻塞！

大家可能会说了，执行速度快不允许睡眠，这解释不合理，我睡眠个1ms不行么？嗯，下面我们就来分析下不能睡眠的真正原因：

1.中断处理时，不会发生进程切换。

因为能打断当前中断的只可能是更高优先级的中断，其它进程的优先级是不会比中断优先级更高的；
如果中断上下文休眠，则没有办法唤醒它，因为所有的 wake_up_xxx 是针对进程而言，而中断没有进程的概念；
只要是中断（硬中or软中，不是香烟），都发生在内核，如果中断上下文睡眠了，内核就阻塞了，系统能阻塞么？不能！阻塞了你就只能重启机器了；

2.schedule 在切换进程时，会保存当前的进程上下文（CPU寄存器的值、状态、堆栈SP内容）以便以后恢复再运行。中断发生后，内核会保存当前被中断进程的上下文。在ISR中，是中断上下文，如果休眠或阻塞，则会调用 schedule，保存的进程上下文不是当前进程的上下文，所以不能在ISR中调用 schedule；
3.内核中 schedule 在进入时会判断是否处于中断上下文：

				?

									if(unlikely(in_interrupt()))) ..... crash!!!

4.中断 handler 会使用被中断的进程内核堆栈，但不会对其有任何影响，因为 handler用之前会保存，用完后会清除并恢复原貌；
5.处理中断上下文中，内核是不可抢占的，如果休眠，则内核....一定会被挂起，同样，你只能重启机器了；
所以，被中断的程序也不能睡眠！那么只能使用『自旋锁』来原地打转。