文章目录
java并发编程原理之—park与unpark
基本使用
它们是LockSupport类中的方法
暂停当前线程 | 恢复某个线程的运行 |
---|---|
LockSupport.park(); | LockSupport.unpark(暂停线程对象); |
情况一,先park再unpark,代码举例与分析
@Slf4j(topic = "c.TestParkUnpark")
public class TestParkUnpark {
public static void main(String[] args) {
Thread t1 = new Thread(() -> {
log.debug("start...");
sleep(1);//t1睡眠了一秒
log.debug("park...");
LockSupport.park();//t1线程一秒后暂停
log.debug("resume...");
}, "t1");
t1.start();
sleep(2);//主线程睡眠二秒
log.debug("unpark...");
LockSupport.unpark(t1);//二秒后由主线程恢复t1线程的运行
}
}
运行结果
"C:\Program Files\Java\jdk1.8.0_191\bin\java.exe" ...
11:10:38.812 c.TestParkUnpark [t1] - start...
11:10:39.816 c.TestParkUnpark [t1] - park...
11:10:40.812 c.TestParkUnpark [main] - unpark...
11:10:40.812 c.TestParkUnpark [t1] - resume...
Process finished with exit code 0
分析,在38秒的时候,线程启动,睡了一秒,39秒的时候,调用了park
方法,暂停当前线程(也就是说t1
线程暂停了),这个时候,它就不能再向下执行了。当主线程睡够两秒后,也就是40秒的时候,执行unpark
方法(注意,传递了一个参数t1
),唤醒了t1线程几乎同时,在40秒的时候,t1线程被唤醒了,继续向下执行。
sleep为TimeUnit.SECONDS.sleep(i);
情况二,先unpark再park,代码举例与分析
这里的情况是,主线程先调用了unpark,2秒后,t1线程才执行了park,这时候,思考t1还会运行吗?
@Slf4j(topic = "c.TestParkUnpark")
public class TestParkUnpark {
public static void main(String[] args) {
Thread t1 = new Thread(() -> {
log.debug("start...");
sleep(2);//t1睡眠了两秒
log.debug("park...");
LockSupport.park();//t1线程两秒后暂停
log.debug("resume...");
}, "t1");
t1.start();
sleep(1);//主线程睡眠一秒
log.debug("unpark...");
LockSupport.unpark(t1);//一秒后由主线程恢复t1线程的运行
}
}
运行结果
"C:\Program Files\Java\jdk1.8.0_191\bin\java.exe" ...
11:18:06.790 c.TestParkUnpark [t1] - start...
11:18:07.789 c.TestParkUnpark [main] - unpark...
11:18:08.793 c.TestParkUnpark [t1] - park...
11:18:08.793 c.TestParkUnpark [t1] - resume...
Process finished with exit code 0
分析,在06秒的时候,t1线程启动,这个时候,它开始睡眠二秒。主线程只睡了一秒(此时t1
线程还在睡眠的过程中),主线程醒来后执行了unpark
方法,我们看到t1线程没有报错,也没有抛异常。当t1
线程睡够二秒了,在08秒的时候执行park
方法,执行park
方法,理应暂停线程,但是并没有停下来,几乎同时在08秒的时候,继续向下执行。
特点
与Object的wait ¬ify相比
- wait,notify和notifyAll必须配合Object Monitor一起使用,而unpark不必
- park & unpark是以线程为单位来【阻塞】和【唤醒】线程,而notify只能随机唤醒一个等待线程,
notifyAll是唤醒所有等待线程,就不那么【精确】 - park & unpark可以先unpark,而wait & notify不能先notify
原理之park & unpark
情况一,先调用park,再调用unpark
先调用park分析
1.当前线程调用Unsafe.park()方法
2.检查_counter,本情况为0,这时,获得_mutex互斥锁
3.线程进入_cond条件变量阻塞
4.设置_counter=0
再调用unpark分析
1.调用Unsafe.unpark(Thread_0)方法,设置_counter为1
2.唤醒_cond条件变量中的Thread_0
3.Thread_0恢复运行
4.设置_counter为0
情况二,先调用unpark,再调用park
1.调用Unsafe.unpark(Thread_0)方法,设置_counter为1
2.当前线程调用Unsafe.park()方法
3.检查_counter,本情况为1,这时线程无需阻塞,继续运行
4.设置_counter为0