深入理解 JUC：AQS 队列同步器.docxVIP

深化理解 JUC：AQS 队列同步器 LockSupport 工具类是 JUC 的基础组件，次要作用是用来堵塞和唤醒线程，底层依靠于 Unsafe 类实现。LockSupport 次要定义类 2 类方法：park 和 unpark，其中 park 方法用于堵塞当前线程，而 unpark 方法用于唤醒处于堵塞形态的指定线程。 下面的示例演示了 park 和 unpark 方法的基本使用： Thread?thread?=?new?Thread(()?-?{????System.out.println(Thread?start:??+?Thread.currentThread().getName());????LockSupport.park();?//?堵塞本人????System.out.println(Thread?end:??+?Thread.currentThread().getName());});thread.setName(A);thread.start();System.out.println(Main?thread?sleep?3?second:??+?Thread.currentThread().getId());TimeUnit.SECONDS.sleep(3);LockSupport.unpark(thread);?//?唤醒线程?A 线程 A 在启动之后调用了 LockSupport#park 方法将本人堵塞，主线程在休息 3 秒之后调用 LockSupport#unpark 方法线程 A 唤醒。运转结果： Thread?start:?AMain?thread?sleep?3?second:?1Thread?end:?ALockSupport 针对 park 方法供应了多种实现，如下：public?static?void?park()public?static?void?park(Object?blocker)public?static?void?parkNanos(long?nanos)public?static?void?parkNanos(Object?blocker,?long?nanos)public?static?void?parkUntil(long?deadline)public?static?void?parkUntil(Object?blocker,?long?deadline) 由方法命名不难看出，parkNanos 和 parkUntil 都属于 park 方法的超时版本，区分在于 parkNanos 方法接收一个纳秒单位的时间值，用于指定堵塞的时间长度，例如当设置 nanos=3000000000 时，线程将堵塞 3 秒后糊涂，而 parkUntil 方法则接收一个时间戳，参数 deadline 用于指定堵塞的到期时间。 全部的 park 方法都供应了包含 Object blocker 参数的重载版本，参数 blocker 指代导致当前线程堵塞等待的锁对象，便利问题排查和系统监控，而在 LockSupport 最开头被设计时却忽视了这一点，导致在线程 dump 时无法供应堵塞对象的相关信息，这一点在 java 6 中得以改进。实际开发中假如使用到了 LockSupport 工具类，推举使用带 blocker 参数的版本。 下面以 LockSupport#park(java.lang.Object) 方法为例来看一下具体的实现，如下： public?static?void?park(Object?blocker)?{????//?猎取当前线程对象????Thread?t?=?Thread.currentThread();????//?记录当前线程堵塞等待的锁对象（设置线程对象的?parkBlocker?为参数指定的?blocker?对象）????setBlocker(t,?blocker);????//?堵塞线程????UNSAFE.park(false,?0L);????//?线程恢复运转，清除?parkBlocker?参数记录的锁对象????setBlocker(t,?null);} 具体实现比较简约，堵塞线程的操作依靠于 Unsafe 类实现。上述方法会调用 LockSupport#setBlocker 方法基于 Unsafe 类将参数指定的 blocker 对象记录到当前线程对象的 Thread#parkBlocker 字段中，然后进入堵塞形态，并在被唤醒之后清空对应的 Thread#parkBlocker 字段。 当一个线程调用 park 方法进入堵塞形态之后，会在满足以下 3 个条件之一时从堵塞形态中糊涂： 其