JDK源码那些事儿之LockSupport

前面一篇文章中说明了Object的阻塞唤醒机制，今天我们要讲解另一个类LockSupport，在AQS中你能看见它的身影，所以需要提前了解其实现和使用机制，便于后面深入AQS的学习

前言

JDK版本号：1.8.0_171

在源码阅读之前希望大家先去阅读几遍注释，其中介绍了LockSupport的设计，实现和使用机制，这里进行简单说明下：

• 每个使用LockSupport的线程都有一个permit(许可)，假如permit可用则不进行阻塞。permit不可用时使用unpark可以使得其处于可用状态，注意，这里permit是不能叠加的，也就是说只有一个
• park和unpark提供了线程阻塞和线程唤醒操作，park支持中断响应，unpark操作可以在park之前调用，这样相当于先让permit处于可用状态， 那么再调用park就不会进行阻塞
• park操作支持blocker对象参数，线程阻塞时会记录该对象，以允许监视和诊断工具确定线程被阻塞的原因，注释中推荐使用这种方式
• LockSupport是被设计用来创建高级同步器工具类，对于大多数并发控制程序来说用处不大

上述有些术语可能令人困惑，这里我们通俗点说，首先需要理解permit(许可)，这里也就是相当于一个变量标志，有兴趣可查看Hotspot源码

HotSpot Parker用condition和mutex维护了一个_counter变量，park时，变量_counter置为0，unpark时，变量_counter置为1

连续两次调用park操作，变量不会变成2，还是1，也就是说的不能叠加，你可以自己写代码验证，因为维护的是一个变量标识更新，所以park和unpark的调用没有先后顺序限制:

• 变量_counter为0（默认），如果调用park，则线程会被阻塞，如果调用unpark，则变量会置为1，唤醒被阻塞的线程（注意，阻塞的线程唤醒后会消耗掉又将变量置为0）
• 变量_counter为1，如果调用park，则线程不会被阻塞，但是变量会被置为0，如果调用unpark，则变量还是1

简单示例代码如下：

    Thread test = new Thread(new Runnable() {
   
        @Override
        public void run() {
   
            System.out.println("start");
            LockSupport.park(this);// _counter为0，阻塞
            System.out.println("end");

        }
    });
    test.start();

    Thread.sleep(3000);
    System.out.println("ready notify");
    // 线程对应的_counter置为1，同时唤醒阻塞的线程，唤醒的线程消耗掉1置为0
    LockSupport.unpark(test);

FIFOMutex

在AbstractQueuedSynchronizer中使用了LockSupport实现线程阻塞和唤醒操作，所以有必要先进行了解，怎么通过LockSupport实现FIFO互斥锁呢？源码注释处已经提供了思路，非队首线程或者不能更新锁标识的都需要被阻塞，还是挺巧妙的，可以好好理解理解

public class FIFOMutex {
   

    public static void main(String[] args) {
   
        FIFOMutex lock = new FIFOMutex();
        new Thread(new Runnable() {
   
            @Override
            public void run() {
   
                System.out.println(Thread.currentThread()+"111");
                lock.lock();
                System.out.println(Thread.currentThread()+"111");
            }
        }).start();
        new Thread(