定义
park,unpark这两个方法都是LockSupport类名下的方法,park用来暂停线程,unpark用来将暂停的线程恢复。
先park再unpark的方式是容易理解的。但还有一个场景,先unpark后再次执行park方法,也不会阻塞调用了park方法的线程。理解为park方法就是校验获取一个通行令牌,而unpark方法是获取到一个通行令牌的过程。先执行unpark方法,代表先获得了通行令牌。那么在另一个线程调用park方法时,校验到这个令牌存在,消耗掉这个令牌然后就可以继续往下走。
wait/notify与park/unpark区别
首先是行为上的不同,wait,notify组合使用代表了阻塞,唤醒操作,如果先调用notify,当前线程原本就是醒着,唤醒这个操作无效的,再次调用wait,那线程就阻塞了。park,unpark可以按照通行令牌走,先执行unpark方法,代表先获得了通行令牌。那么在另一个线程调用park方法时,校验到这个令牌存在,然后消耗掉这个令牌就可以继续往下走。
其次,wait/notify依赖于锁资源,所以只能在synchronized中来进行使用。LockSupport这俩中没有这个限制。
最后,wait/notify的唤醒是随机的,不确定具体唤醒了哪个等待的线程,而park,unpark可以在线程层面上来对特定线程进行唤醒。
原理
每个线程都有自己的一个 Parker 对象,由三部分组成 _counter , _cond 和 _mutex 打个比喻
线程就像一个旅人,Parker 就像他随身携带的背包,条件变量就好比背包中的帐篷。_counter 就好比背包中的备用干粮(0 为耗尽,1 为充足)
调用 park 就是要看需不需要停下来歇息
如果备用干粮耗尽,那么钻进帐篷歇息
如果备用干粮充足,那么不需停留,继续前进
调用 unpark,就好比令干粮充足
如果这时线程还在帐篷,就唤醒让他继续前进
如果这时线程还在运行,那么下次他调用 park 时,仅是消耗掉备用干粮,不需停留继续前进
因为背包空间有限,多次调用 unpark 仅会补充一份备用干粮
这个互斥锁mutex,我暂时没有理解它用途,因为只是阻塞了当前线程,我理解的是怎么出现这个互斥情况?难道是害怕有多个线程来执行其内部的unpark方法,出现线程同步问题?可能是吧。_cond代表了内部的一个阻塞队列,_counter代表了一个标志位,这俩好理解,不说啥。
代码
package com.bo.threadstudy.four;
import lombok.extern.slf4j.Slf4j;
import java.util.concurrent.locks.LockSupport;
@Slf4j
public class ParkUnparkTest {
//写个park,unpark方法,没什么意思
public static void main(String[] args) throws InterruptedException {
Thread t1 = new Thread(() -> {
log.debug("暂停");
LockSupport.park();
log.debug("t1结束");
},"t1");
t1.start();
Thread.sleep(1000);
Thread t2 = new Thread(() -> {
log.debug("启用");
LockSupport.unpark(t1);
log.debug("t2结束");
},"t2");
t2.start();
}
}