【并发编程】Park & Unpark 你看看不亏

? ? ? ?📝个人主页：五敷有你? ? ??
?🔥系列专栏：并发编程
??稳重求进，晒太阳

Park & Unpark

基本使用

他们是LockSupport类中的方法

// 暂停当前线程

?LockSupport.park();

// 恢复某个线程的运行

LockSupport.unpark(暂停线程对象)

先park再unpark

Thread t1 = new Thread(() -> {
      log.debug("start...");
      sleep(1);
      log.debug("park...");
      LockSupport.park();
     log.debug("resume...");
  },"t1");
        t1.start();
        sleep(2);
        log.debug("unpark...");
        LockSupport.unpark(t1);

输出

先 unpark 再 park

Thread t1 = new Thread(() -> {

        log.debug("start...");
       sleep(2);//睡两秒
       log.debug("park...");
       LockSupport.park();
       log.debug("resume...");

    }, "t1");

       t1.start();
       sleep(1);//睡1秒

       log.debug("unpark...");
       LockSupport.unpark(t1);

输出

特点：

• 与Objectde的wait与notify相比，
• wait，notify和notifyAll必须配合Object Monitor一起使用，而park,unpark不必
• park & unpark 是以线程为单位来阻塞和唤醒线程的，而notify只能随机唤醒一个等待的线程。notifyAll是唤醒所有等待线程，就不那么精确了。
• park & unpark可以先unpark ，而wait?ify不能先notify

原理之park & unpark

每个线程都有自己的一个 Parker 对象，由三部分组成 _counter ， _cond 和 _mutex 打个比喻

线程就像一个旅人，Parker 就像他随身携带的背包，条件变量就好比背包中的帐篷。_counter 就好比背包中的备用干粮（0 为耗尽，1 为充足）

• 调用 park 就是要看需不需要停下来歇息
  • 如果备用干粮耗尽，那么钻进帐篷歇息
  • 如果备用干粮充足，那么不需停留，继续前进
• 调用 unpark，就好比令干粮充足
  • 如果这时线程还在帐篷，就唤醒让他继续前进
  • 如果这时线程还在运行，那么下次他调用 park 时，仅是消耗掉备用干粮，不需停留继续前进
    • 因为背包空间有限，多次调用 unpark 仅会补充一份备用干粮

1. 当前线程调用 Unsafe.park() 方法

2. 检查 _counter ，本情况为 0，这时，获得 _mutex 互斥锁

3. 线程进入 _cond 条件变量阻塞

4. 设置 _counter = 0

1. 调用 Unsafe.unpark(Thread_0) 方法，设置 _counter 为 1

2. 唤醒 _cond 条件变量中的 Thread_0

3. Thread_0 恢复运行

4. 设置 _counter 为 0

1. 调用 Unsafe.unpark(Thread_0) 方法，设置 _counter 为 1

2. 当前线程调用 Unsafe.park() 方法

3. 检查 _counter ，本情况为 1，这时线程无需阻塞，继续运行

4. 设置 _counter 为 0