死锁的四个必要条件:
互斥条件 (Mutual exclusion) :资源不能被共享,只能由一个进程使用。
请求与保持条件 (Hold and wait) :已经得到资源的进程可以再次申请新的资源。
非剥夺条件 (No pre-emption) :已经分配的资源不能从相应的进程中被强制地剥夺。
互斥条件 (Mutual exclusion) :资源不能被共享,只能由一个进程使用。
请求与保持条件 (Hold and wait) :已经得到资源的进程可以再次申请新的资源。
非剥夺条件 (No pre-emption) :已经分配的资源不能从相应的进程中被强制地剥夺。
循环等待条件(Circular wait):系统中若干进程组成环路,该环路中每个进程都在等待相邻进程正占用的资源。
说明:
任务A持有A1资源,任务B持有B1资源。
任务A在持有A1的情况下想取得B1资源,任务B在持有B1的情况下想取得A1资源,这时形成死锁。
注:查看死锁可以使用数据库系统存储过程。