Java并发编程原理之park & unpark

原理之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