park和unpark
文章目录
1.基本使用
它们是 LockSupport 类中的方法
// 暂停当前线程
LockSupport.park();
// 恢复某个线程的运行
LockSupport.unpark(暂停线程对象)
先 park 再 unpark
2.演示代码
/**
* 暂停当前线程
* LockSupport.park();
* 恢复某个线程的运行
* LockSupport.unpark(暂停线程对象)
*/
@Test
public void testPark_Unpark() {
//线程1
Thread t1 = new Thread(() -> {
log.debug("start...");
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
log.debug("park...");
//park
LockSupport.park();
log.debug("resume...");
}, "t1");
t1.start();
//主线程中unpark
try {
Thread.sleep(2000);
} catch (InterruptedException e) {
e.printStackTrace();
}
log.debug("umpark...");
LockSupport.unpark(t1);
//等待t1执行完毕
try {
t1.join();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
unpark可以在park之前，之后调用。在park之前调用，可以恢复线程运行。
3.特点
与 Object 的 wait & notify 相比：
- wait，notify 和 notifyAll 必须配合 Object Monitor （重量级锁）一起使用，而 park，unpark 不必；
- park & unpark 是以线程为单位来【阻塞】和【唤醒】线程，而 notify 只能随机唤醒一个等待线程，notifyAll是唤醒所有等待线程，就不那么【精确】；
- park & unpark 可以先 unpark，而 wait & notify 不能先 notify；
4.park()/unpark()底层原理(重要)
每个线程都有自己的一个 Parker 对象，由三部分组成 _counter ， _cond 和 _mutex 。
打个比喻：
- 线程就像一个旅人，Parker就像他随身携带的背包，_cond条件变量就好比背包中的帐篷。_counter 就好比背包中的备用干粮（0 为耗尽，1 为充足）。
- 调用 park 就是要看需不需要停下来歇息：
如果备用干粮耗尽（_counter=0），那么钻进帐篷歇息;
如果备用干粮充足（_counter=1），那么不需停留，继续前进; - 调用 unpark，就好比令干粮充足（令_counter=1）：
如果这时线程还在帐篷，就唤醒让他继续前进；
如果这时线程还在运行，那么下次他调用 park 时，仅是消耗掉备用干粮，不需停留继续前进
因为背包空间有限，多次调用 unpark 仅会补充一份备用干粮。
情况1:先park()
- 当前线程调用 Unsafe.park() 方法
- 检查 _counter ，本情况为 0，这时，获得 _mutex 互斥锁
- 线程进入 _cond 条件变量阻塞
- 设置 _counter = 0
情况2:后调用unpark()
- 调用 Unsafe.unpark(Thread_0) 方法，设置 _counter 为 1
- 唤醒 _cond 条件变量中的 Thread_0
- Thread_0 恢复运行
- 设置 _counter 为 0
情况3:先调用unpark()，再调用park()
- 调用 Unsafe.unpark(Thread_0) 方法，设置 _counter 为 1
- 当前线程调用 Unsafe.park() 方法
- 检查 _counter ，本情况为 1，这时线程无需阻塞，继续运行
- 设置 _counter 为 0
5.源码分析
public static void park(Object blocker) {
Thread t = Thread.currentThread(); //获取当前线程
setBlocker(t, blocker);
UNSAFE.park(false, 0L); //Unsafe对象调用本地park方法（C实现的）
setBlocker(t, null);
}
private static void setBlocker(Thread t, Object arg) {
// Even though volatile, hotspot doesn't need a write barrier here.
UNSAFE.putObject(t, parkBlockerOffset, arg); //本地方法
}
public static void unpark(Thread thread) {
if (thread != null)
UNSAFE.unpark(thread); //调用本地unpark方法
}
public native void unpark(Object var1);