一个基于多线程的优先级继承协议锁的算法研究  

A MULTI-THREADED MUTEX ALGORITHM BASED ON PRIORITY INHERITANCE PROTOCOL

作　　者：郭长国[1] 周明辉[1] 王怀民[1] 许勇[1] 

机构地区：[1]国防科学技术大学计算机学院网络与信息安全研究所,长沙410073

出　　处：《计算机研究与发展》2002年第12期1550-1555,共6页Journal of Computer Research and Development

基　　金：国家"八六三"高技术研究发展计划基金(2 0 0 1AA113 0 2 0 );国家自然科学基金 (90 10 40 2 0 );国家重点基础研究发展规划基金(G19990 3 2 70 3 )资助

摘　　要：实时线程库对构造实时中间件和开发具有良好可移植性、有实时要求的分布式应用具有重要意义 .防止优先级翻转的线程互斥和同步机制是实现实时线程库的核心 ,目前多数的线程库都缺乏这种机制 .基于优先级继承协议 ,提出了一个防止优先级反转的互斥算法 .算法能够保证操作的原子性 ,可以避免发生死锁 ,且能够有效地防优先级翻转 .在 Windows和 Solaris平台上对性能进行了分析 ,并将算法应用到了实时Real time thread library is very important for building real time middleware. It is helpful for the portability of distributed application which possess time critical aspects. Mutex and synchronization mechanism to protect priority inversion is the key for real time thread library. Based on priority inheritance protocol, a muti thread mutex algorithm is presented, which can prevent deadlock and priority inversion. All the properties of the algorithm are proved correct including mutex, deadlock and priority inversion. In Windows and Solaris, the performance is analyzed. At the same time, this algorithm has been adapted in real time CORBA application successfully.

关 键 词：多线程 算法 优先级继承协议锁 操作系统 固定优先级调度 线程库 

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