前言
我们回顾下前面文章所说的Java并发编程的万能钥匙:管程,管程是把共享变量和对共享变量的操作给封装起来实现互斥,然后管程内部的条件变量以及条件变量的等待队列实现了线程的同步。
同时Java语言的synchronized是管程的一种实现,只不过只有一个条件变量的管程模型;那Java并发包为什么还给出其他的管程实现呢
就比如本篇内容就是通过Lock和Condition这俩个接口来实现管程,其中Lock用于解决互斥问题,Condition用于解决同步问题。
所以理解为什么Java并发包要开发这俩个工具很关键。
正文
这里我们就先来思考一下,为什么Java并发包要重复造轮子,又实现一遍管程。
再造管程的理由
在前面文章说死锁的时候,当时提出了一个解决方案,叫做破坏不可抢占条件。
思路是这样的,当一个线程需要A、B俩个资源时,即需要获取俩把锁,这时获取到锁A时,再尝试获取锁B时,发现获取不到,正常来说就是进入阻塞状态,而这时破坏不可抢占条件就是把锁A给释放了。
但是这个方法使用synchronized是没有办法解决的,原因是synchronized申请资源的时候,如果申请不到,线程进入阻塞状态了,而线程进入阻塞状态,啥也干不了了,也释放不了线程所持有的资源,这也就无法实现上面所说的。
如果我们重新设计一把互斥锁来解决这个问题,该如何设计呢 可以有下面方案:
- 能够响应中断 。synchronized的问题是持有锁A后,如果尝试获取锁B失败,则线程进入阻塞状态,一旦发生死锁,就没有任何机会来唤醒这个