每个线程都有自己的一个 Parker 对象,由三部分组成 _counter_cond_mutex

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

    • 调用 park 就是要看需不需要停下来歇息
      • 如果备用干粮耗尽,那么钻进帐篷歇息
      • 如果备用干粮充足,那么不需停留,继续前进
    • 调用 unpark,就好比令干粮充足
      • 如果这时线程还在帐篷,就唤醒让他继续前进
      • 如果这时线程还在运行,那么下次他调用 park 时,仅是消耗掉备用干粮,不需停留继续前进

    因为背包空间有限,多次调用 unpark 仅会补充一份备用干粮

    Undsafe.park
    image.png
    1. 当前线程调用Unsafe.park()方法
    2. 检查 _counter,本情况为 0,这时,获得 _mutex互斥锁
    3. 线程进入 _cond条件变量阻塞
    4. 设置_counter = 0

    Unsafe.unpark(Thread_0)
    image.png

    1. 调用 Unsafe.unpark(Thread_0) 方法,设置 _counter为 1
    2. 当前线程调用 Unsafe.park() 方法
      3. 检查 _counter,本情况为 1,这时线程无需阻塞,继续运行
      4. 设置 _counter为 0