Lock的lock/unlock, condition的await/singal 和 Object的wait/notify 的区别
在使用Lock之前,我们都使用Object 的wait和notify实现同步的。举例来说,一个producer和consumer,consumer发现没有东西了,等待,produer生成东西了,唤醒。
线程consumer | 线程producer |
synchronize(obj){ obj.wait();//没东西了,等待 } |
synchronize(obj){ obj.notify();//有东西了,唤醒 } |
有了lock后,世道变了,现在是:
lock.lock(); condition.await(); lock.unlock(); |
lock.lock(); condition.signal(); lock.unlock(); |
phil注: 1. Lock的业务层级是和synchronize是一样的 ,等待只是为了并发. 他的解等待,都是有前面排队的人通知释放的.
Lock的实现就是基于1.变量变更 2.和Object.wait类似的操作.park,unpark实现的.
2.队列上的等待层级是更上层了,或者说和锁的业务用例稍有不同.
同步阻塞队列不仅要有并发安全的要求,也要有生产者消费者的用例要求.
3.lock.lock 拿不到锁,等待,等待被notify后,并没有抛出InterruptedException ,只是简单允许下去(内部吃下exception,继续走) .而wait会抛出exception,需要业务自己操作. 4. condition.await 使用上最好是有条件死循环 await
为了突出区别,省略了若干细节。区别有三点:
- 1. lock不再用synchronize把同步代码包装起来;
- 2. 阻塞需要另外一个对象condition;
- 3. 同步和唤醒的对象是condition而不是lock,对应的方法是await和signal,而不是wait和notify。
为什么需要使用condition呢?简单一句话,lock更灵活。以前的方式只能有一个等待队列,在实际应用时可能需要多个,比如读和写。为了这个灵活性,lock将同步互斥控制和等待队列分离开来,互斥保证在某个时刻只有一个线程访问临界区(lock自己完成),等待队列负责保存被阻塞的线程(condition完成)。
通过查看ReentrantLock的源代码发现,condition其实是等待队列的一个管理者,condition确保阻塞的对象按顺序被唤醒。
在Lock的实现中,LockSupport被用来实现线程状态的改变,后续将更进一步研究LockSupport的实现机制。