Java 并发（LockSupport）

2019独角兽企业重金招聘Python工程师标准>>>

Doug Lea 的神作concurrent包是基于AQS (AbstractQueuedSynchronizer)框架，AQS框架借助于两个类：Unsafe(提供CAS操作) 和 LockSupport(提供park/unpark操作)。 因此，LockSupport可谓构建concurrent包的基础之一。

归根结底，LockSupport调用的Unsafe中的native代码： 

public native void unpark(Thread jthread); 
public native void park(boolean isAbsolute, long time); 

park 函数是将当前Thread 阻塞， 而unpark函数则是将另一个Thread唤醒。

与Object类的wait/notify机制相比，park/unpark有两个优点：

1. 以thread为操作对象更符合阻塞线程的直观定义；

2. 操作更精准，可以准确地唤醒某一个线程（notify随机唤醒一个线程，notifyAll唤醒所有等待的线程），增加了灵活性。

关于许可：  在上面的文字中，我使用了阻塞和唤醒，是为了和wait/notify做对比。其实park/unpark的设计原理核心是“许可。park是等待一个许可。unpark是为某线程提供一个许可。如果某线程A调用park，那么除非另外一个线程调用unpark(A)给A一个许可，否则线程A将阻塞在park操作上。

有一点比较难理解的，是unpark操作可以再park操作之前。也就是说，先提供许可。当某线程调用park时，已经有许可了，它就消费这个许可，然后可以继续运行。

这其实是必须的。考虑最简单的生产者(Producer)消费者(Consumer)模型：Consumer需要消费一个资源，于是调用park操作等待；Producer则生产资源，然后调用unpark给予Consumer使用的许可。非常有可能的一种情况是，Producer先生产，这时候Consumer可能还没有构造好（比如线程还没启动，或者还没切换到该线程）。那么等Consumer准备好要消费时，显然这时候资源已经生产好了，可以直接用，那么park操作当然可以直接运行下去。如果没有这个语义，那将非常难以操作。

/**
 * park() 获取许可;  unpark() 释放许可
 *
 * LockSupport很类似于二元信号量(只有1个许可证可供使用)，如果这个许可还没有被占用，当前线程获取许可并继续执行；
 *   如果许可已经被占用，当前线程阻塞，等待获取许可。
 */
public class LockSupport_Test {

    @Test
    public void test_park() {
        // 运行该代码，可以发现主线程一直处于阻塞状态。
        // 因为许可默认是被占用的，调用park()时获取不到许可，所以进入阻塞状态。
        LockSupport.park();
        System.out.println("block.");
    }

    @Test
    public void test_park_001() {
        Thread thread = Thread.currentThread();
        LockSupport.unpark(thread);     // 释放许可
        LockSupport.park();             // 获取许可
        System.out.println("b");
    }

    // LockSupport是不可重入的，如果一个线程连续2次调用LockSupport.park()，那么该线程一定会一直阻塞下去。
    // 这段代码打印出a和b，不会打印c，因为第二次调用park的时候，线程无法获取许可出现死锁。
    @Test
    public void test_park_002()  throws Exception {
        Thread thread = Thread.currentThread();

        LockSupport.unpark(thread);

        System.out.println("a");
        LockSupport.park();
        System.out.println("b");
        LockSupport.park();
        System.out.println("c");
    }
}

转载于:https://my.oschina.net/zfscofield/blog/1596245