摘要
为了抑制优先级反转现象,采用优先级继承协议来解决优先级反转现象,在此协议中不能避免系统死锁现象的发生。分析了死锁现象产生的原因的,在优先级继承协议基础上提出了优先级反转和死锁问题的资源管理模式,采用排序锁定共享资源的方法,使共享资源按照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.
出处
《计算机工程与设计》
CSCD
北大核心
2011年第8期2664-2667,2720,共5页
Computer Engineering and Design
基金
教育部"春晖计划"科研合作基金项目(z2005-2-11013)
关键词
实时系统
优先级反转
优先级继承协议
优先级天花板协议
死锁
real-time system
priority inversion
priority inheritance protocol
priority ceiling protocol
deadlock
