[C++知识库]理解死锁的四个条件

理解死锁的四个条件

1. 通俗的解析

//多线程死锁
void data_process1()  
{  
    EnterCriticalSection(&cs1);  
    EnterCriticalSection(&cs2);  
    do_something1();  
    LeaveCriticalSection(&cs2);  
    LeaveCriticalSection(&cs1);  
}  
  
void data_process2()  
{  
    EnterCriticalSection(&cs2);  
    EnterCriticalSection(&cs1);  
    do_something2();  
    LeaveCriticalSection(&cs1);  
    LeaveCriticalSection(&cs2);  
}

比如有两幅画A，B。

1. 互斥：一幅画一次只能一个人欣赏（某个资源只能互斥的使用，比如磁盘，物理内存）
2. 请求和保持

• 请求：张三欣赏A的同时想欣赏B（进程在使用已申请资源时，申请其他互斥资源）
• 保持：如果张三不看B就不让其他人欣赏A。（进程保持对已分配资源的占有）

1. 不可剥夺：如果李四正在看B，不能满足张三的要求。张三一直占有A。（进程已经申请的资源在没有释放前不可剥夺）
2. 循环等待：张三想看AB，李四想看BA，陷入僵局。（一系列进程都占有资源，并申请别人占有的资源，形成环路）

2. 死锁预防

通过破坏死锁的四大必要条件，来预防死锁的发生：

1. 互斥：资源本身是互斥的，所以无法破坏。
2. 请求和保持：即一次性分配资源。每个人参观必须事先申明好想看的画，然后一次性分配所需要的画，不能中途提新的要求——一次性分配进程所需所有资源。
3. 不可剥夺：让这个想看同时看两幅画的人先滚到一边去，等两幅画都有空了再给他——进程等待新的资源的时候，将自己的资源先释放，等有新的资源后，操作系统会唤醒它，进程再进入可执行阶段，等待操作系统调度。
4. 循环等待：必须先申请参观A，持有A的同时才能再申请B，这样一次就只有一个人参观A、B——将资源编号，每次只能从小到大申请。