每个线程都有自己的一个 Parker 对象,由三部分组成 _counter, _cond和 _mutex
打个比喻
线程就像一个旅人,Parker 就像他随身携带的背包,条件变量就好比背包中的帐篷。_counter就好比背包中
的备用干粮(0 为耗尽,1 为充足)
- 调用 park 就是要看需不需要停下来歇息
- 如果备用干粮耗尽,那么钻进帐篷歇息
- 如果备用干粮充足,那么不需停留,继续前进
- 调用 unpark,就好比令干粮充足
- 如果这时线程还在帐篷,就唤醒让他继续前进
- 如果这时线程还在运行,那么下次他调用 park 时,仅是消耗掉备用干粮,不需停留继续前进
因为背包空间有限,多次调用 unpark 仅会补充一份备用干粮
Undsafe.park
1. 当前线程调用Unsafe.park()方法
2. 检查 _counter,本情况为 0,这时,获得 _mutex互斥锁
3. 线程进入 _cond条件变量阻塞
4. 设置_counter = 0
Unsafe.unpark(Thread_0)
- 调用
Unsafe.unpark(Thread_0)方法,设置_counter为 1 - 当前线程调用
Unsafe.park()方法
3. 检查_counter,本情况为 1,这时线程无需阻塞,继续运行
4. 设置_counter为 0
