目录
6、park/unpark 和 wait/notify 区别
1、LockSupport简介
LockSupport位于java.util.concurrent.locks包下。LockSupprot是线程的阻塞原语,用来阻塞线程和唤醒线程。每个使用LockSupport的线程都会与一个许可关联,如果该许可可用,并且可在线程中使用,则调用park()将会立即返回,否则可能阻塞。如果许可尚不可用,则可以调用 unpark 使其可用。但是注意许可不可重入,也就是说只能调用一次park()方法,否则会一直阻塞。
LockSupport 类每个使用它的线程关联一个许可(在意义上的Semaphore类)。 如果许可可用,调用 park 将立即返回,并在此过程中消费它; 否则可能阻塞。如果许可不是可用,可以调用 unpark 使得许可可用。(但与Semaphore不同,许可不能累积。最多有一个。)
方法 park 和 unpark 提供了阻塞的有效手段和解锁线程不会遇到死锁问题,而 Thread.suspend 和 Thread.resume 是不能用于这种目的:因为许可的存在,一个线程调用 park 和另一个线程试图 unpark 它之间的竞争将保持活性。 此外,如果调用者线程被中断,park 将返回,并且支持设置超时。 该 park 方法也可能返回在其他任何时间,“毫无理由”,因此通常必须在一个循环中调用的返回后重新检查条件。 在这个意义上park作为“忙碌等待”不会浪费太多的时间自旋的优化,但必须以配对 unpark 使用。
这三种形式的 park 还支持 blocker 对象参数。而线程被阻塞时是允许使用监测和诊断工具,以确定线程被阻塞的原因。(诊断工具可以使用getBlocker(Thread) 方法 。)同时推荐使用带有 blocker 参数的 park方法,通常做法是 blocker 被设置为 this 。
2、方法
- unPark() 方法:使得所给的线程的permit置为ok。如果所给的线程还没开始,则这个方法并不保证有效。
- park() 方法:如果当前线程的permit是ok的,则继续执行,否则阻塞等待,直到以下任意一件事发生为止:
- 其他线程调用unpark方法,传入的thread是当前线程。
- 其他线程interrupt当前线程
3、个人理解
- 许可(permit)的上限是1,也就是说只有 0 或 1 。
- park: 没有许可的时候,permit 为 0 ,调用 park 会阻塞;有许可的时候,permit 为 1 , 调用 park 会扣除一个许可,然后返回。
- unpark:没有许可的时候,permit 为 0 ,调用 unpark 会增加一个许可,因为许可上限是 1 , 所以调用多次也只会为 1 个。
- 线程初始的时候是没有许可的。
- park 的当前线程如果被中断,会立即返回,并不会抛出中断异常。
- park 方法的调用一般要放在一个循环判断体里面。
4、验证
1、unpark在thread start之前调用 无效
public static void main(String[] args) throws InterruptedException{
Thread thread1 = new Thread(new Runnable() {
@Override
public void run() {
System.out.println("thread1 start");
try{
Thread.sleep(2000);
} catch (Exception e){
e.printStackTrace();
}
System.out.println("thread1 run before park");
LockSupport.park();
System.out.println("thread1 run after park");
}
});
LockSupport.unpark(thread1);
thread1.start();
System.out.println("main thread");
}
}
main thread
thread1 start
thread1 run before park
(程序没有退出,线程1一直挂起)
- unpark必须在thread start之后才有用,之前调用没有任何效果;
- thread start之后,unpark在park之前还是之后,作用是一样的,都会重新唤醒线程;
2、线程初始有没有许可?
public class LockSupportTest1 {
public static void main(String[] args) throws InterruptedException {
System.out.println("开始执行……");
LockSupport.park();
System.out.println("LockSupport park 之后……");
}
}
开始执行……
执行后会发现,代码在 park 处阻塞。说明,线程初始是没有许可的。
2、添加许可并消耗许可
public class LockSupportTest1 {
public static void main(String[] args) throws InterruptedException {
System.out.println("开始执行……");
LockSupport.unpark(Thread.currentThread());
System.out.println("执行 - park");
LockSupport.park();
System.out.println("LockSupport park 之后……");
}
}
开始执行……
执行 - park
LockSupport park 之后……
通过上面示例可以看出:
- 执行 unpark 可以进行给予指定线程一个证书。
- 线程当前被 park 阻塞,此时给予证书之后, park 会消耗证书,然后继续执行。
3、许可上限为 1
public class LockSupportTest1 {
public static void main(String[] args) throws InterruptedException {
System.out.println("unpark 1次");
LockSupport.unpark(Thread.currentThread());
System.out.println("unpark 2次");
LockSupport.unpark(Thread.currentThread());
System.out.println("执行 - park 1 次");
LockSupport.park();
System.out.println("执行 - park 2 次");
LockSupport.park();
System.out.println("LockSupport park 之后……");
}
}
unpark 1次
unpark 2次
执行 - park 1 次
执行 - park 2 次
说明:线程阻塞,可以看出 permit 只能有一个
4、中断可以使 park 继续执行并不会抛出异常
public class LockSupportTest1 {
public static void main(String[] args) throws InterruptedException {
Thread thread = new Thread(new Runnable() {
@Override
public void run() {
System.out.println("线程 " + Thread.currentThread().getName() + "开始执行 park");
LockSupport.park(this);
System.out.println("线程 " + Thread.currentThread().getName() + "执行 park 结束");
System.out.println("线程 " + Thread.currentThread().getName() + "开始执行 park 第二次");
LockSupport.park(this);
System.out.println("线程 " + Thread.currentThread().getName() + "执行 park 第二次 结束");
}
});
try {
thread.start();
// 保证 上面线程先执行,然后再主线程
Thread.sleep(5000);
System.out.println("开始执行 unpark(thread)");
LockSupport.unpark(thread);
thread.interrupt();
Thread.sleep(5000);
System.out.println("执行 unpark(thread) 结束");
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
线程 Thread-0开始执行 park
开始执行 unpark(thread)
线程 Thread-0执行 park 结束
线程 Thread-0开始执行 park 第二次
线程 Thread-0执行 park 第二次 结束
执行 unpark(thread) 结束
- 可以看出线程中断,park 会继续执行,并且没有抛出异常。
- thread.interrupt(); 调用之后, 设置线程中断标示,unpark 没有清除中断标示,第二个 park 也会继续执行。
5、源码分析结果
- 在底层维护了一个
_counter
通过更新_counter
的值来标示是否有证明。 - 在 park 时,判断
_counter
为 0,则阻塞等待,为 1 则获得更新为 0 并返回。 - 在 unpark 时,判断
_counter
为 0,则给予凭证,并唤醒线程,为 1 则直接返回。
6、park/unpark 和 wait/notify 区别
- park 阻塞当前线程,unpark 唤醒指定线程。
- wait() 需要结合锁使用,并释放锁资源,如果没有设置超时时间,则需要 notify() 唤醒。而 notify() 是随机唤醒线程。