Park&Unpark
Park&Unpark
LockSupport 类的方法。
特点:与 Object 的 wait¬ify 相比,wait,notify 的 notifyAll 必须配合 Object Monitor 一起使用,都得先获得对象 Monitor 的锁,而 Park&U 不必。Park&Unpack 是以线程为单位来阻塞和唤醒线程,而 notify 只能随机唤醒一个等待线程,notifyAll 是唤醒所有等待线程,就不那么精确。Park&Unpack 可以先 unpark(将来 park 不会停止就恢复运行),wait¬ify 不能先 notify。
原理
每个线程都有自己的一个 Parker 对象,由三部分组成 _counter,_cond 和_mutex 做比喻。
线程:旅人,Parker:背包,条件变量:背包中的帐篷,_counter:背包中的备用干粮(0 为耗尽,1 为充足)
调用 park 就是看需不需要停下来:备用干粮耗尽,进帐篷休息;备用干粮充足,不需停留,继续前进。
调用 unpark,就好比令干粮充足:线程在帐篷就唤醒让它前进;线程还在运行,那下次调用 park 就仅仅是消耗备用干粮,不需停留继续前进。由于背包空间有限,多次调用 unpark 只会补充一份备用干粮。
调用 Unsafe.park() 方法:检查_counter,本情况为 0,这时,获得 _mutex 互斥锁。线程进入 _cond 条件变量阻塞,设置 _conter=0。
调用 Unsafe.unpark(Thread_0) 方法:设置 _counter 为 1。唤醒 _cond 条件变量中的 Thread_0,线程恢复运行,运行之后又把干粮吃掉,设置 _counter 为 0。
调用 Unsafe.unpark(Thread_0) 方法:设置 _counter 为 1。当前线程调用 Unsafe.park() 方法。检查 _conter,本情况为 1,这时线程无需阻塞,继续运行,设置 _counter 为 0。