死锁介绍

文档状态：编辑....

开始

首先我不得不说操作系统开发者的高瞻远瞩以及见识透彻,当我看文章时出现的果然是乐器和鸣般的感受

  1. 首先我看见了可能出现死锁
    可能这个词语在数学学科的一大分支中出现,没错就是概率论,那么说现在计算机出现死锁具有随机性,那么这个随机性有没有办法去发现规律或者提出解决方案?在解决死锁的方案中我发现了预防死锁方案,那么可以提前知道答案,死锁是可以预防的,这个随机性是可以被抹除的,那么到底是引起这个随机性的起源?哪里存在一种未知性?宏观上来说是:时间线,细致来说,就是进程的推进顺序,看起来进程的推进顺序是影响死锁的主要原因之一!此时可以将这个问题数学化,将进程的推进顺序看作是算法的随机输入序列,通过特化随机序列,消去其随机特性,那么得到死锁的可能性要么是0,要么是1,既然就这两种情况,那么通过程序控制结构便可以将程序的流向引向非死锁结果.

  2. 一句话:起因:死锁是多个进程对资源争夺形成的
    两个对象 进程 & 资源 ,那么对资源进行分类(p104)

  3. 计算机对死锁的定义[就是对这个状态的文字化或者数字化表述]
    一组进程中的每一个进程都在等待仅有该组进程的其他进程才能引发的事件

  4. 既然出现了状态这个字,那么按照unix哲学,一切皆文件,谈论一下.
    状态在计算机中可以称为context,它是选取计算机中某几个具有代表性的数据结构,通过其值的意义来判断其处于何种状态
    有人问为什么要了解状态的定义,因为我们要创造状态

策略 机器状态 进程状态 人为设置状态特征量
预防策略 没有死锁 未运行 不需要
避免策略 可能有死锁 已经运行 需要
检测解除策略 已经有死锁 死锁中 不需要

Thoughts

question

  1. 进程通信出现的死锁的能够预防吗?