介绍
Park 和 Unpark 均是 LockSupport 类中的方法
//暂停当前线程
LockSupport.park();
//恢复某个线程
LockSupport.unpark(暂停线程对象);
先 park 再unpark
Thread thread = new Thread(() -> {
System.out.println("start.....");
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println("park....");
LockSupport.park();
System.out.println("resume.....");
});
thread.start();
Thread.sleep(2000);
System.out.println("unpark....");
LockSupport.unpark(thread);
运行结果
Connected to the target VM, address: '127.0.0.1:2352', transport: 'socket'
start.....
park....
unpark....
resume.....
注意:
park 中的线程,处于 WAIT 状态
unpark 既可以在 park 之前调用或之后调用,都是用来恢复某个线程的运行,简单的说,调用 unpark 后再调用 park 线程依然不会暂停,类似提前“解毒”。
特点
与 Object 的 wait & notify 相比
wait,notify 和 notifyAll 必须配合 Object Monitor 一起使用,而 unpark 不必
park & unpark 是以线程为单位来【阻塞】和【唤醒】线程,而 notify 只能随机唤醒一个等待线程,notifyAll 是唤醒所以等待线程,就不那么【精确】
park & unpark 可以先 unpark ,而 wait & notify 不能先 notify
原理
每个线程都有自己的一个 Parker 对象(C 实现的),由三部分组成 _counter, _cond, 和 _mutex
举个例子,把线程比喻成一个旅行者, Parker 就是他背着的旅行包,条件变量(_cond) 好比背包中帐篷。_counter 好比背包中的备用干粮( 0 为耗尽, 1 为充足)
调用 park 就是看线程需不需要停下来休息
若备用干粮耗尽( _counter 为 0) ,则钻进帐篷休息(线程暂停)
若备用干粮充足(_counter 为 1),则不需要停留继续前进 (线程继续运行)
调用 unpark ,相当于补充干粮(把 _counter 设置为 1)
如果此时线程 还在帐篷(先调用 park) ,则唤醒他继续前进(线程继续运行)
如果线程还在运行,下次调用 park 时,仅是消耗备用干粮(把 _counter 设置为 0) ,不需要停留继续前进。
如果此时线程还在运行,那么下次他(线程)调用park时,仅是消耗备用干粮,不需要停留继续前进
因为背包空间有限,多次调用 unpark 仅会补充一份备用干粮
详细
1)调用 park
当前线程调用 park() 方法
检查_counter,本情况为 0 此时获得 _mutex 互斥锁
线程进入 _cond 条件变量阻塞
设置 _counter = 0
2)调用 unpark
调用 unpark(Thread_0)方法,设置 _counter 为 1
唤醒 _cond 条件变量中的 Thread_0 (线程)
Thread_0 恢复运行
设置 _counter 为 0
3)先调用 unpark 再调用 park
调用 unpark (Thread_0) 方法,设置_counter 为 1
当前线程调用 park() 方法
检查 _counter ,本情况为 1 ,这时线程无需阻塞,继续运行
设置 _counter 为 0