https://www.youtube.com/watch?v=tWcSVCYczOA&list=PLSeI7hpg1UEeghysjmOWZjohZDEpN78he&index=4

互斥条件

一个资源每次只能被一个进程使用

请求与保持条件

一个进程因为请求资源被阻塞时，对已获得的资源保持不放

不剥夺条件

进程已获得的资源，在没使用完之前，不能强行剥夺

循环等待条件

多个进程之间形成一种互相循环等待资源的关系