死锁是指在多进程环境下,两个或多个进程因争夺资源而造成的一种僵局(即进程无法向前推进),这种情况下,操作系统无法继续执行这些进程,导致系统陷入停滞状态。
产生死锁的原因和必要条件如下:
-
互斥:多个进程需要同时访问某个资源,而该资源又只能被一个进程占用。
-
占有和等待:进程在请求资源时,可能已经占有了部分资源,同时还在等待其他资源。
-
不可抢占:资源在分配给进程后,不能被强制性地抢占,只能由占有该资源的进程显式地释放。
-
循环等待:存在一个进程等待其他进程所占有的资源,而这些进程又在等待其他进程所占有的资源,形成了一个循环等待链。
预防死锁的方法有以下几种:
-
破坏互斥条件:通过资源共享或者资源复制来降低资源的互斥性,但这并不总是可行,因为某些资源的互斥性是必须的,例如打印机、数据库连接等。
-
破坏占有和等待条件:让进程在申请资源之前,必须先释放掉已经占有的资源。这样可以避免进程在等待其他资源时,仍然占用其他资源。
-
破坏不可抢占条件:允许操作系统强制性地抢占进程占有的资源,这样即使进程在等待其他资源时,也可以强制性地释放已经占有的资源。
-
破坏循环等待条件:为资源分配一个全局的顺序,进程只能按照资源的顺序来请求资源,这样可以避免形成循环等待链。
在实际应用中,预防死锁的方法通常结合多种策略,以降低死锁发生的可能性。例如,操作系统可以采用可抢占式资源分配策略,同时为资源分配一个全局顺序,这样可以同时破坏不可抢占条件和循环等待条件。