优先级反转和死锁的资源管理模式研究与实现  

Research and implementation on resource management patterns of priority inversion and deadlock

作　　者：王溪波[1] 杨丽娜[1] 

机构地区：[1]沈阳工业大学信息科学与工程学院,辽宁沈阳110870

出　　处：《计算机工程与设计》2011年第8期2664-2667,2720,共5页Computer Engineering and Design

基　　金：教育部"春晖计划"科研合作基金项目(z2005-2-11013)

摘　　要：为了抑制优先级反转现象,采用优先级继承协议来解决优先级反转现象,在此协议中不能避免系统死锁现象的发生。分析了死锁现象产生的原因的,在优先级继承协议基础上提出了优先级反转和死锁问题的资源管理模式,采用排序锁定共享资源的方法,使共享资源按照SourceID由低到高的共享顺序依次被访问。理论证明该方法在一定程度上抑制优先级反转且避免了死锁现象的发生,通过实验结果表明了解决优先级反转和死锁的资源管理模式的正确性与可行性。In order to suppress the phenomenon of priority inversion, priority inheritance protocol is used to solve the priority inversion phenomenon, system deadlock phenomenon can not be avoided in this protocol. Firstly, the causes of the deadlock is analyzed, then the priority inheritance protocol is proposed based on priority inversion and deadlock resource management, locking of shared resources by sorting method, let the share resource with the SourceID be accessed from low to high, theory anolyzation shows that the method to some extent restrained priority inversion and avoided deadlock phenomenon, finally it is proven by experiment correctness and feasibility of the resource management patterns to priority inversion and deadlock.

关 键 词：实时系统 优先级反转 优先级继承协议 优先级天花板协议 死锁 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]