LockSupport原理解析及源码

LockSupport解析

LockSupport 底层使用Posix线程库pthreads的系统级别锁互斥量mutex和condition，所以它的系统消耗是比较非常大的。使用它可以通过一定机制避免它的使用频率。
例如AQS会再三去确认是否无法获得锁，确实无法获得，那么park等待被唤醒后再去抢锁。

用法：

用法参考源码AQS中的parkAndCheckInterrupt()方法：

1. park() 在中断或唤醒后，不会像sleep()一样去清除interrupt标志位，也不清楚自己是否是由于中断被唤醒，所以需要自己手动去查看是否被中断标记。

private final boolean parkAndCheckInterrupt() {
        LockSupport.park(this);
        return Thread.interrupted();
}
    

2. park、unpark不要求unpark必须调用在park之后。先调用unpark再park，也可以正常获取到permit向下执行。
3. park、unpark不会释放锁，只是单纯的睡眠、唤醒当前线程。

具体使用：

public static void park(Object blocker) 可实现精准对blocker代表的当前线程的睡眠阻塞
public static void unpark(Thread thread) 可实现精准的对thread线程的唤醒

原理概述：

核心设计原理：许可permit。获得许可则向下执行，没有许可则等待知道获得许可为止。
park睡眠等待permit >0 有许可存在。unpark设置许可permit以供park获取。
permit许可即就是_counter，永远只有0、1两种值。即要么有许可，要么没有许可，不存在多个许可的情况。

源码解析：

java底层每个线程都会有一个Parker实例与之对应，Parker实例主要来维护 _counter变量。
_counter = 0，没有permit，park的目的就是等待直到_counter 设置为0。
_counter = 1，有一个permit，unpark的目的是设置_counter为1，

底层原理：

park原理流程图：