死锁发生的条件和预防

所谓死锁:是指两个或两个以上的进程在执行过程中,因争夺资源而造成的一种互相等待的现象,若无外力作用,它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁,这些永远在互相等待的进程称为死锁进程。由于资源占用是互斥的,当某个进程提出申请资源后,使得有关进程在无外力协助下,永远分配不到必需的资源而无法继续运行,这就产生了一种特殊现象死锁。
  虽然进程在运行过程中,可能发生死锁,但死锁的发生也必须具备一定的条件,死锁的发生必须具备以下四个必要条件。

  1)互斥条件:指进程对所分配到的资源进行排它性使用,即在一段时间内某资源只由一个进程占用。如果此时还有其它进程请求资源,则请求者只能等待,直至占有资源的进程用毕释放。
  2)请求和保持条件:指进程已经保持至少一个资源,但又提出了新的资源请求,而该资源已被其它进程占有,此时请求进程阻塞,但又对自己已获得的其它资源保持不放。
  3)不剥夺条件:指进程已获得的资源,在未使用完之前,不能被剥夺,只能在使用完时由自己释放。
  4)环路等待条件:指在发生死锁时,必然存在一个进程——资源的环形链,即进程集合{P0,P1,P2,···,Pn}中的P0正在等待一个P1占用的资源;P1正在等待P2占用的资源,……,Pn正在等待已被P0占用的资源。
  在系统中已经出现死锁后,应该及时检测到死锁的发生,并采取适当的措施来解除死锁。目前处理死锁的方法可归结为以下四种:
  1) 预防死锁。
  这是一种较简单和直观的事先预防的方法。方法是通过设置某些限制条件,去破坏产生死锁的四个必要条件中的一个或者几个,来预防发生死锁。预防死锁是一种较易实现的方法,已被广泛使用。但是由于所施加的限制条件往往太严格,可能会导致系统资源利用率和系统吞吐量降低。
  2) 避免死锁。
  该方法同样是属于事先预防的策略,但它并不须事先采取各种限制措施去破坏产生死锁的的四个必要条件,而是在资源的动态分配过程中,用某种方法去防止系统进入不安全状态,从而避免发生死锁。
  3)检测死锁。
  这种方法并不须事先采取任何限制性措施,也不必检查系统是否已经进入不安全区,此方法允许系统在运行过程中发生死锁。但可通过系统所设置的检测机构,及时地检测出死锁的发生,并精确地确定与死锁有关的进程和资源,然后采取适当措施,从系统中将已发生的死锁清除掉。
  4)解除死锁。
  这是与检测死锁相配套的一种措施。当检测到系统中已发生死锁时,须将进程从死锁状态中解脱出来。常用的实施方法是撤销或挂起一些进程,以便回收一些资源,再将这些资源分配给已处于阻塞状态的进程,使之转为就绪状态,以继续运行。死锁的检测和解除措施,有可能使系统获得较好的资源利用率和吞吐量,但在实现上难度也最大。
### 死锁产生条件 在操作系统并发编程环境中,死锁发生依赖于四个必要条件的同时存在: - **互斥条件**:资源以独占方式分配给进程。即,在一段时间内某资源只由一个进程占用[^1]。 - **占有并等待条件**:已经获得某些资源的一个进程申请新的资源而得不到满足时,保持对其原有资源的占有状态,并无限期地阻塞等待新资源的释放。 - **不可剥夺条件**:已分配给进程的资源不能被强制回收,只有该进程自己才能显式地释放所占有的资源。 - **循环等待条件**:若干个进程之间形成一种头尾相接的环形链状结构,每个进程都在等待下一个进程中它所需要的资源,从而造成永久性的僵持局面。 ### 预防死锁的方法 为了防止死锁现象发生,通常采取以下几种策略来破坏上述提到的一项或多项目录条件: #### 打破“占有并等待” 通过规定所有进程在开始执行前一次性请求所需的全部资源,如果这些资源能够立即得到满足则分配之;否则让其处于休眠状态直到所需资源都可用为止。这种方法虽然简单有效但却降低了系统的吞吐量因为很多情况下并非所有的资源都会立刻用到。 ```python def request_all_resources_or_sleep(process, resources_needed): if all(resource.is_available() for resource in resources_needed): allocate(resources_needed) process.start() else: process.sleep_until(all(r.is_available() for r in resources_needed)) ``` #### 破坏“不可剥夺” 允许系统强行收回已被其他进程持有的部分或全部资源,但这可能会引发数据一致性问题因此实际应用较少见。更常见的是采用时间片轮转机制使得长时间持有某种稀缺资源而不做任何工作的线程会被暂停运行以便给予其它正在排队等候相同类型的另一个机会去获取它们所需要的那个对象实例。 #### 消除“循环等待” 可以通过引入全局排序规则(如按编号大小顺序),要求每一个试图锁定多个不同种类的对象实体之前先按照既定次序依次尝试加锁操作——这样就不可能再构成闭合回路了。 ```python class ResourceLocker: def __init__(self, resources): self.resources = sorted(resources, key=lambda res: res.id) def lock(self): locked = [] try: for resource in self.resources: resource.acquire_lock() locked.append(resource) except Exception as e: # If any acquire fails, release the ones already acquired. for l in reversed(locked): l.release_lock() raise e ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值