并发编程两大核心问题
互斥:同一时刻只允许一个线程访问共享资源;
同步:线程间如何通信、协作;
Java SDK并发包通过Lock和Condition两个接口实现管程,Lock解决互斥问题,Condition解决同步问题。
Java提供的synchronized也是管程的一种实现,既然Java语言层面已经实现了管程了,为什么还要在SDK里提供另外一种实现呢?
死锁发生的4个条件
- 互斥,共享资源X和Y只能被一个线程占用;
- 占有且等待,线程T1已经取得共享资源X,在等待共享资源Y的时候,不释放共享资源X;
- 不可抢占,其他线程不能强行抢占线程T1占有的资源;
- 循环等待,线程T1等待线程T2占有的资源,线程T2等待线程T1占有的资源;
只有上述4个条件都发生时,才会发生死锁,也就是只要破坏其中的一个,就可以避免死锁的发生。
而synchronized 做不到 破坏“不可抢占”
“破坏不可抢占条件”核心是线程能够主动释放它所占有的资源,而synchronized是做不到的;因为synchronized申请资源的时候,如果申请不到,线程直接进入阻塞状态,而进入阻塞状态的线程,啥都干不了,也释放不了已经占有的