操作系统要点二锁

锁:

1.死锁:两个或者两个以上的进程由于竞争资源而导致系统无法推进,这个时候我们称系统的状态为死锁。

2.产生原因:1.资源相对不足,2.进程推进的次序不合理。

死锁产生的必要条件:1.互斥2.占有并等待3.非抢占4.循环等待/环路等待。

3.系统模型:资源分配图用来查看进程是否有死锁,注意:对于多个实例的资源,资源分配图即使有环,也不一定有死锁;对于实例只有一个资源,资源分配图有环,则一定死锁。如果一个系统没有环,则一定没有死锁。

4.死锁预防:即提前做好措施,

⑴基本思路:破坏死锁的必要条件之一。注意有些条件,虽然可以破坏,但是有可能出现其他错误,例如:互斥条件和非抢占条件,eg:打印机属于低速度设备,即打印机在同一时间段只能被一个进程使用,如果破坏互斥条件,则会切换打印机资源进行打印,但是会造成打印数据的混乱,想要保持有序,则需要进行相应的设置(后面介绍输入输出调度中的spooling联机操作,来并行的调度打印机执行任务),更浪费资源,都尽量不要去破坏。占有并等待条件:可以破坏为占有不等待,这种方法称为一次性资源分配法,缺点:资源的浪费很严重。也可以破坏为等待而不占有,不太合适。破坏环路等待,采用有序资源使用法,所有的资源进行编号,使用资源的时候,只能按照资源的编号顺序进行申请,缺点:资源浪费。

5.死锁避免:执行一个死锁避免算法来确认进程不会进入死锁,称这个算法为银行家算法。声明进程需要的最大资源数,然后动态的执行死锁检测算法。

安全状态:根据已有的资源,进程申请的最大数,以及分配的资源数,如果还可以找到一个次序,保证每个进程都可以执行完,则表示安全。

银行家算法:每个进程必须提前声明自己需要的最大的资源数,当进程请求资源的时候,它必须进行wait()(信号量,wait()表示申请资源,signal()表示释放资源,wait(),signal()用于进程的同步,资源的申请只能通过wait,signal),当进程得到所有的资源时,它必须释放所有的资源singal()。

Available:系统中可用资源的数量[j]=k.表示j类资源还有k个,

Max:最大资源,n*m的矩阵,n进程数,m为资源数,max[i,j] = k ,表示i进程,对j资源的使用申请最多为k个,

Allocation:是n*m矩阵,n为进程,m为资源数,Allocation[i,j]=k,表示p进程已经获取j个资源,

Need:是一个n*m矩阵,Need[i,j]表示i进程还需要j个资源。 need[I,j] = max[I,j] – Allocation[I,j],

安全性检测:

1.work,finsh为工作向量,分别是m(资源)和n(进程)维的,刚开始:

work := Available  //已有的资源

finsh[i] = false for I = 1,2,3,…n;  //finsh表示进程的状态,初始化为false,代表进程还没有完成。

2.寻找满足下列条件的:

finsh[i] = false;     //进程的状态

need < work;    //检查已有的资源是否大于需要的资源,进行分配

没有找到,跳转到4, // 即进程已经获取所需要的资源

3.work := work+allocation  //   将执行完毕的进程的资源进行回收,allocation为某进程已经使用完毕的资源数,

finsh[i] = true;  // 将该进程标记为true,进程已经得到资源,运行结束。

跳转到2; //继续进入2,寻找符合条件的进程,对其分配资源

4.如果所有的finsh[i] = true,则系统进行安全状态,否则没有, // 总的输出结果,

资源请求算法

request[i]  =  k ,表示p进程想要申请k个资源,

1.if Request < need ,表示申请的资源和合理的,即小于你需要的,

2.if Request < Avaliable, 表示现有足够的资源可以满足申请的数量,(1,2是进行合理性判断)

3.假定给进程资源:

Avaliable := Avalibale – Request;

Allocaiton:= Allocation + Request;

need := need – Request;

然后进行安全性检测,

if safe,进程申请的资源就会被分配,

if unsafe,进程申请的资源不会给与分配。

6.死锁检测:允许系统进入死锁状态,不断调用死锁检测算法,

7.恢复

⑴.终止所有进程,

⑵.每次终止一个进程,直到环路被消除(根据占用资源数,运行时间,优先级,运行还需要多少资源,根据情景来终止相应的进程)

 

 

 

观看《操作系统原理》-中南大学,,,如有异议,敬请指出,与君共勉。

全部评论

相关推荐

10-07 23:57
已编辑
电子科技大学 Java
八街九陌:博士?客户端?开发?啊?
点赞 评论 收藏
分享
点赞 评论 收藏
分享
点赞 收藏 评论
分享
牛客网
牛客企业服务