Java并发包源码学习系列：挂起与唤醒线程LockSupport工具类

目录

• LockSupport概述
• park与unpark相关方法
• 中断演示
• blocker的作用
  • 测试无blocker
  • 测试带blocker
• JDK提供的demo
• 总结
• 参考阅读

系列传送门：

• Java并发包源码学习系列：AbstractQueuedSynchronizer
• Java并发包源码学习系列：CLH同步队列及同步资源获取与释放
• Java并发包源码学习系列：AQS共享式与独占式获取与释放资源的区别
• Java并发包源码学习系列：ReentrantLock可重入独占锁详解
• Java并发包源码学习系列：ReentrantReadWriteLock读写锁解析
• Java并发包源码学习系列：详解Condition条件队列、signal和await

LockSupport概述

LockSupport工具类定义了一组公共的静态方法，提供了最基本的线程阻塞和唤醒功能，是创建锁和其他同步类的基础，你会发现，AQS中阻塞线程和唤醒线程的地方，就是使用LockSupport提供的park和unpark方法，比如下面这段：

    // 挂起线程
	private final boolean parkAndCheckInterrupt() {
        LockSupport.park(this);
        return Thread.interrupted();
    }
	// 唤醒线程
    private void unparkSuccessor(Node node) {
		//...
        if (s != null)
            LockSupport.unpark(s.thread);
    }

park与unpark相关方法

LockSupport提供了一组park开头的方法来阻塞当前线程【省略static】：

• void park()：阻塞当前线程，如果调用unpark(Thread thread)方法或者当前线程被中断，才能从park()方法返回。
• void parkNanos(long nanos)：阻塞当前线程，最长不超过nanos纳秒，返回条件在park()的基础上增加了超时返回。
• void parkUntil(long deadline)：阻塞当前线程，直到deadline【从1970年开始到deadline时间的毫秒数】时间。
• void unpark(Thread thread)：唤醒处于阻塞状态的线程thread。

JDK1.6中，增加了带有blocker参数的几个方法，blocker参数用来标识当前线程在等待的对象，用于问题排查和系统监控。

下面演示park()方法和unpark()方法的使用：

在thread线程中调用park()方法，默认情况下该线程是不持有许可证的，因此将会被阻塞挂起。

unpark(thread)方法将会让thread线程获得许可证，才能从park()方法返回。

    public static void main(String[] args) throws InterruptedException {

        Thread thread = new Thread(() ->{
            String name = Thread.currentThread().getName();
            System.out.println(name + " begin park");
            LockSupport.park();// 如果调用park的线程已经获得了关联的许可证,就会立即返回
            System.out.println(name + " end park");
        },"A");
        thread.start(); // 默认情况下，thread不持有许可证，会被阻塞挂起

        Thread.sleep(1000); 

        System.out.println(thread.getName() + " begin unpark");

        LockSupport.unpark(thread);//让thread获得许可证

    }

// 结果如下
A begin park
A begin unpark
A end park

你需要理解，许可证在这里的作用，我们也可以事先给线程一个许可证，接着在park的时候就不会被阻塞了。

    public static void main(String[] args) {
        System.out.println("begin park");
        // 使当前线程获得许可证
        LockSupport.unpark(Thread.currentThread());
        // 再次调用park方法,因为已经有许可证了，不会被阻塞
        LockSupport.park();
        System.out.println("end park");
    }

// 结果如下
begin park
end park

中断演示

线程被中断的时候，park方法不会抛出异常，因此需要park退出之后，对中断状态进行处理。

    public static void main(String[] args) throws InterruptedException {
        Thread thread = new Thread(() -> {
            String name = Thread.currentThread().getName();
            System.out.println(name + " begin park");
            // 一直挂起自己,只有被中断,才会推出循环
            while (!Thread.currentThread().isInterrupted()) {
                LockSupport.park();
            }
            System.out.println(name + " end park");
        }, "A");
        thread.start();
        Thread.sleep(1000);
        System.out.println("主线程准备中断线程" + thread.getName());
        // 中断thread
        thread.interrupt();
    }

// 结果如下
A begin park
主线程准备中断线程A
A end park

blocker的作用

JDK1.6开始，一系列park方法开始支持传入blocker参数，标识当前线程在等待的对象，当线程在没有持有许可证的情况下调用park方法而被阻塞挂起时，这个blocker对象会被记录到该线程内部。

    public static void park(Object blocker) {
        Thread t = Thread.currentThread();
        setBlocker(t, blocker); // 设置blocker
        UNSAFE.park(false, 0L);
        setBlocker(t, null); // 清除blocker
    }

Thread类里有个volatile Object parkBlocker变量，用来存放park方法传递的blocker对象，也就是把blocker变量存放到了调用park方法的线程的成员变量中。

接下来我们通过两个例子感受一下：

测试无blocker

public class TestParkWithoutBlocker {
    public void park(){
        LockSupport.park();
    }

    public static void main(String[] args) throws InterruptedException {
        new TestParkWithoutBlocker().park();
        Thread.sleep(3000);
    }
}

使用jps命令，列出当前运行的进程4412 TestPark，接着使用jstack 4412命令查看线程堆栈：

测试带blocker

public class TestBlockerPark {

    public void park(){
        LockSupport.park(this); // 传入blocker = this
    }

    public static void main(String[] args) throws InterruptedException {
        new TestBlockerPark().park();
        Thread.sleep(3000);
    }
}

明显的差别就在于，使用带blocker 参数的park方法，能够通过jstack看到具体阻塞对象的信息：

- parking to wait for  <0x000000076b77dff0> (a chapter6_1_LockSupport.TestBlockerPark)

诊断工具可以调用getBlocker(Thread)方法来获取blocker对象，JDK推荐我们使用带有blocker参数的park方法，并且设置blocker为this，这样当在打印线程堆栈排查问题的时候就能够知道那个类被阻塞了。

JDK提供的demo

老传统了，摘一段JavaDoc上的使用案例：

/**
 * 先进先出的锁,只有队列的首元素可以获取锁
 */
class FIFOMutex {
    private final AtomicBoolean locked = new AtomicBoolean(false);
    private final Queue<Thread> waiters
            = new ConcurrentLinkedQueue<Thread>();

    public void lock() {
        // 中断标志
        boolean wasInterrupted = false; 
        Thread current = Thread.currentThread();
        waiters.add(current);

        // 不是队首线程 或 当前锁已经被其他线程获取,则调用park方法挂起自己
        while (waiters.peek() != current ||
                !locked.compareAndSet(false, true)) {
            LockSupport.park(this);
            // 如果park方法是因为被中断而返回,则忽略中断,并且重置中断标志
            // 接着再次进入循环
            if (Thread.interrupted()) // ignore interrupts while waiting
                wasInterrupted = true;
        }
        
        waiters.remove();
        // 如果标记为true,则中断线程
        // [虽然我对中断信号不感兴趣,忽略它,但是不代表其他线程对该标志不感兴趣,因此恢复一下.]
        if (wasInterrupted)          // reassert interrupt status on exit
            current.interrupt();
    }

    public void unlock() {
        locked.set(false);
        LockSupport.unpark(waiters.peek());
    }
}

总结

• LockSupport提供了有关线程挂起park和唤醒unpark的静态方法。
• JDK1.6之后允许传入blocker阻塞对象，便于问题监控和排查。
• 如果park的线程被中断，不会抛出异常，需要自行对中断状态进行处理。

参考阅读

• 翟陆续 薛冰田 《Java并发编程之美》
• 方腾飞 《Java并发编程的艺术》
• 【J.U.C】LockSupport