一种采用消隐技术的锁无关栈算法

作     者：张连法 杨东升 秦承刚 ZHANG Lian-fa;YANG Dong-sheng;QIN Cheng-gang

作者机构：中国科学院研究生院北京100039 中国科学院沈阳计算技术研究所沈阳110168 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2013年第34卷第6期

页      面：1349-1353页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家科技重大专项项目(2011ZX04016-071)资助 

主　　题：非阻塞同步 锁无关 消隐技术 栈 状态转换图 

摘      要：随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统需具有更高的硬实时性和可靠性,并避免优先级逆转、死锁.相比阻塞同步,非阻塞同步在提高实时系统性能、确定性和容错性等方面具有优势,有利于实现上述要求.设计锁无关数据结构是实现非阻塞同步的方法之一.文章介绍了锁无关算法的基本结构,提出一种采用消隐技术的锁无关栈算法及证明锁无关算法正确性的理论方法,并证明了该锁无关栈算法的正确性.实验结果表明,该算法提高了访问共享数据的执行速度,并避免了死锁、优先级逆转、低容错性等缺点.